Formal verification of information derivability in databases using precedence analysis

摘要

One of the problems in database design is the lack of formal methods to verify the consistency of the design decisions. In this paper, we present the precedence analysis of information sets, and we apply it to the verification of some database design decisions.We propose a method to perform information derivability analysis. This method can be used to formally verify the logical consistency of database requirements. It can also be used to verify the query derivability from the database contents and to verify the derivability of this contents from the input transactions.