On efficient reasoning with implication constraints
- 1 January 1993
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 236-252
- https://doi.org/10.1007/3-540-57530-8_15
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Constraints for improving the generation of intentional answers in a deductive databasePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Semantic query optimization in recursive databasesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Constraint-based reasoning in deductive databasesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The complexity of querying indefinite data about linearly ordered domainsPublished by Association for Computing Machinery (ACM) ,1992
- Constraints and redundancy in datalogPublished by Association for Computing Machinery (ACM) ,1992
- Logic-based approach to semantic query optimizationACM Transactions on Database Systems, 1990
- Independence of logic database queries and updatePublished by Association for Computing Machinery (ACM) ,1990
- On conjunctive queries containing inequalitiesJournal of the ACM, 1988
- A system for semantic query optimizationPublished by Association for Computing Machinery (ACM) ,1987
- Optimal implementation of conjunctive queries in relational data basesPublished by Association for Computing Machinery (ACM) ,1977