Data independent recursion in deductive databases
Open Access
- 1 April 1989
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 38 (2) , 259-289
- https://doi.org/10.1016/0022-0000(89)90003-2
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Undecidable optimization problems for database logic programsJournal of the ACM, 1993
- Controlling recursive inferenceArtificial Intelligence, 1986
- A message passing framework for logical query evaluationACM SIGMOD Record, 1986
- Implementation of logical query languages for databasesACM Transactions on Database Systems, 1985
- On computing restricted projections of representative instancesPublished by Association for Computing Machinery (ACM) ,1985
- On compiling queries in recursive first-order databasesJournal of the ACM, 1984
- On recursive axioms in deductive databasesInformation Systems, 1983
- Strong equivalence of relational expressions under dependenciesInformation Processing Letters, 1982
- Equivalences Among Relational Expressions with the Union and Difference OperatorsJournal of the ACM, 1980
- Equivalences among Relational ExpressionsSIAM Journal on Computing, 1979