Categories and Subject Descriptors: D.3.2 [Programming Languages]: Language Classifications -- nonprocedural languages; F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages -- algebraic approaches to semantics; F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic -- logic programming; H.2.3 [Database Management]: Languages -- query languages; I.1.3 [Algebraic Manipulation]: Languages and Systems -- nonprocedural languages, special-purpose algebraic systems; I.2.3 [Artificial Intelligence]: Deduction and Theorem Proving -- logic programming
Selected papers that cite this one
- Yatin P. Saraiya. On the efficiency of transforming database logic programs. Journal of Computer and System Sciences, 51(1):87-109, August 1995.
Selected references
- Krzysztof R. Apt and M. H. Van Emden. Contributions to the theory of logic programming. Journal of the ACM, 29(3):841-862, July 1982.
- Ashok K. Chandra and Philip M. Merlin. Optimal implementation of conjunctive queries in relational data bases. In Conference Record of the Ninth Annual ACM Symposium on Theory of Computing, pages 77-90, Boulder, Colorado, 2-4 May 1977.
- M. H. Van Emden and R. A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM, 23(4):733-742, October 1976.
- Haim Gaifman, Harry Mairson, Yehoshua Sagiv, and Moshe Y. Vardi. Undecidable optimization problems for database logic programs. In Proceedings, Symposium on Logic in Computer Science, pages 106-115, Ithaca, New York, 22-25 June 1987. The Computer Society of the IEEE.
- Lawrence J. Henschen and Shamim A. Naqvi. On compiling queries in recursive first-order databases. Journal of the ACM, 31(1):47-85, January 1984.
- Jeffrey F. Naughton. Minimizing function-free recursive inference rules. Journal of the ACM, 36(1):69-91, January 1989.
- Yehoshua Sagiv and Mihalis Yannakakis. Equivalences among relational expressions with the union and difference operators. Journal of the ACM, 27(4):633-655, October 1980.