Logic-based approach to semantic query optimization
- 1 June 1990
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Database Systems
- Vol. 15 (2), 162-207
- https://doi.org/10.1145/78922.78924
Abstract
The purpose of semantic query optimization is to use semantic knowledge (e.g., integrity constraints) for transforming a query into a form that may be answered more efficiently than the original version. In several previous papers we described and proved the correctness of a method for semantic query optimization in deductive databases couched in first-order logic. This paper consolidates the major results of these papers emphasizing the techniques and their applicability for optimizing relational queries. Additionally, we show how this method subsumes and generalizes earlier work on semantic query optimization. We also indicate how semantic query optimization techniques can be extended to databases that support recursion and integrity constraints that contain disjunction, negation, and recursion.Keywords
This publication has 9 references indexed in Scilit:
- Perspectives in deductive databasesThe Journal of Logic Programming, 1988
- Multiple-query optimizationACM Transactions on Database Systems, 1988
- A system for semantic query optimizationPublished by Association for Computing Machinery (ACM) ,1987
- An amateur's introduction to recursive query processing strategiesPublished by Association for Computing Machinery (ACM) ,1986
- Query Optimization in Database SystemsACM Computing Surveys, 1984
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- An optimizing prolog front-end to a relational query systemPublished by Association for Computing Machinery (ACM) ,1984
- Optimization in Deductive and Conventional Relational Database SystemsPublished by Springer Science and Business Media LLC ,1981
- Efficient optimization of a class of relational expressionsACM Transactions on Database Systems, 1979