- 1.Alfred V. Aho, Yehoshua Sagiv, ud Jeffrey D. UUman. Equivalence of relational expressions. SIAM Journal of Gomp#ting, 8(2):218- 246, 1979.Google Scholar
- 2.Alfred V. Aho and Jeffrey D. Ullman. Universality of data retrieval languages. In Proceedinga of the Sixth A GM Syrnpoaiurn on Principle8 of Programming Languages, pages 110-120, 1979. Google ScholarDigital Library
- 3.Francois Baaxcilhon, David Maier, Yehoshua Sa. giv, and Jeffrey D. Ullman. Magic sets and other strange ways to implement logic programs. October 1985. To appear in PODS86. Google ScholarDigital Library
- 4.Ashok K. Chandra and Philip M. Merlin. Optimal implementation of conjunctive queries in relstionxl data bases. In Gonference Record o/ the Ninth Annual A CM Sympo:ium on Theory of Corapu~ing, pages 77-90, 1977. Google ScholarDigital Library
- 5.Lawrence J. Henschen and Shamin A. Naqvi. On compiling queries in recursive first order databases. JAO~d, 31(1):47-85, 1984. Google ScholarDigital Library
- 6.Yannis E. loannides. Bounded recursion in deductive databases. Technical Report U@B/ERL M85/6, U@ Berkeley, February 1985.Google Scholar
- 7.Jack Minker and Jean M. Nicolas. On recursire axioms in relational databases. Information S~stems, 8(1):1-13, 1982.Google Scholar
- 8.Jeffrey F. Naughton. Data independent recursion in deductive databases. Stanford Tech Report, to appear. Google Scholar
- 9.Jeffrey F. Naughton. Optimizing function-free recursive inference rules. Stanford Tech Report, to appear. Google Scholar
- 10.Raymond Reiter. Deductive queJtion-answering on relational databases. In H. G sllaire and J. Minker, editors, Locke ~nd Databases, pages 149- 177, Plenum Press, New York, 1978.Google Scholar
- 11.Raymond Reiter. On closed world databases. In Herve Ganaire and Jack Minker, editors, Logic sad Databo~es, pages 55-76, Plenum Preu, New York, 1978.Google Scholar
- 12.Yehoshua Sagiv. On computing restricted projections of representative instances. In Proceed- ~aga o~ the A GM SIGA GT-SIGMOD $~mpoa~um o,~ P~,~c~plee o)' Da~aba~em 8yeten~, pages 171- 180, 1985. Google ScholarDigital Library
- 13.Jeffrey D. Ullman. Implementation of logical query languages for databases. TODS, 10(4):289--321, September 1985. Google ScholarDigital Library
Index Terms
- Data independent recursion in deductive databases
Recommendations
Deductive databases: achievements and future directions
Directions for future database research & developmentIn the recent years, Deductive Databases have been the focus of intense research, which has brought dramatic advances in theory, systems and applications. A salient feature of deductive databases is their capability of supporting a declarative, rule-...
Comments