The computer modelling of mathematical reasoning
The computer modelling of mathematical reasoning
On the translation of relational queries into iterative programs
ACM Transactions on Database Systems (TODS)
The expressive power of the bounded-iteration construct
Acta Informatica
The deductive synthesis of database transactions
ACM Transactions on Database Systems (TODS)
Integrity constraints: semantics and applications
Logics for databases and information systems
Fundamentals of Database Systems
Fundamentals of Database Systems
Decision Support Systems
Hypothetical data bases as views
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
LPAR '92 Proceedings of the International Conference on Logic Programming and Automated Reasoning
A Statistical Approach to Rule Selection in Semantic Query Optimisation
ISMIS '99 Proceedings of the 11th International Symposium on Foundations of Intelligent Systems
A fast transformation method to semantic query optimisation
IDEAS '97 Proceedings of the 1997 International Symposium on Database Engineering & Applications
| Hi-index | 0.00 |
The conventional use of databases is commonly restricted to the retrieval of factual data in the form of tuples or records. However most databases also contain metadata in the form of integrity rules which can provide a rich source of additional information not normally available to the user. Integrity rules define what data values and relationships may exist within the database and so their interrogation can provide answers as to whether a certain database state is possible. Our paper describes how this may be achieved and specifies a formal approach to implementing such an enquiry system.