The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
Decomposition—a strategy for query processing
ACM Transactions on Database Systems (TODS)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Implementation of a structured English query language
Communications of the ACM
Access path selection in a relational database management system
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
The divide-and-conquer subgoal-ordering algorithm for speeding up logic inference
Journal of Artificial Intelligence Research
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Optimizing backtrack search for all solutions to conjunctive problems
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Representing databases in frames
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Representing databases in frames
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
The complexity of constraint satisfaction in prolog
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
Relational database retrieval is viewed as a special case of deduction in logic. It is argued that expressing a query in logic clarifies the problems involved in processing it efficiently ("query optimisationn). The paper describes a simple but effective strategy for planning a query so that it can be efficiently executed by the elementary deductive mechanism provided in the programming language Prolog. This planning algorithm has been implemented as part of a natural language question answering system, called Chat-80. The Chat-80 method of query planning and execution is compared with the strategies used in other relational database systems, particularly Ingres and System R.