Constraints for improving the generation of intentional answers in a deductive database
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
It is shown how intentional answers can be generated as logical consequences of the query and of deduction rules and how integrity constraints can filter out inadequate answers and produce simpler and more informative answers. An efficient organization for the combination of answers and constraints is presented. The authors focus on the design of mechanisms for controlling the generation of intentional answers using integrity constraints. The assertions specified by constraints bear not only on the database but also on queries and intentional answers, since the latter specify sets of values from the database.Keywords
This publication has 5 references indexed in Scilit:
- Foundations of Semantic Query Optimization for Deductive DatabasesPublished by Elsevier ,1988
- On conjunctive queries containing inequalitiesJournal of the ACM, 1988
- Intelligent query answering in rule based systemsThe Journal of Logic Programming, 1987
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- Towards a Logical Reconstruction of Relational Database TheoryPublished by Springer Nature ,1984