MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS

Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Volumn , Issue , 1986, Pages 1-15

  Bancilhon, Francois ^a   Maier, David ^b   Sagiv, Yehoshua ^c   Ullman, Jeffrey D ^c  

^a MCC   (United States)

^b OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

^c STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING;

BOTTOM UP; DATABASE QUERIES; LINEAR RULE; LOGIC PROGRAMS; LOGICAL RULES; MAGIC SETS;

QUERY LANGUAGES;

EID: 85027186168     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/6012.15399     Document Type: Conference Paper

References (14)

1. F. Bancilhon [1985a]. "Performance of rule based systems, " unpublished manuscript, MCC, Austin, TX.
2. F. Bancilhon [1985b]. "Naive evaluation of recursively defined relations, " unpublished manuscript, MCC, Austin, TX.
3. D. Brough and A. Walker [1984]. "Some practical properties of logic programming interpreters, " Proc. Japan FGCS84 Conf., November 1984, pp. 149-156.
4. H. Gallaire and J. Minker (eds.) [1978]. Logic and Databases, Plenum, New York.
5. E. L. Lozinski [1984]. "Inference by generating and structuring of deductive databases, " Report 84-11, Dept. of CS, Hebrew Univ.
6. D. Maier [1983]. The Theory of Relational Databases, Computer Science Press, Rock-ville, Md.
7. D. Maier and D. S. Warren [1985]. Introduction to Logic Programming, unpublished memorandum, Oregon Graduate Center.
8. D. McKay and S. Shapiro [1981]. "Using active connection graphs for reasoning with recursive rules, " Proc. 7th IJCAI, pp. 368-374.
9. F. C. N. Pereiraand D. H. D. Warren [1983]. "Parsing as deductions, " Proc. 21st Meeting of the ACL, June 1983.
10. H. H. Porter, III [1985]. "Earley deductions, " unpublished manuscript, Oregon Graduate Center.
11. Y. Sagiv and J. D. Ullman [1984]. "Complexity of a top-down capture rule, " STAN-CS-84-1009, Dept. of CS, Stanford Univ.
12. J. D. Ullman [1982]. Principles of Database Systems, Computer Science Press, Rock-ville, Md.
13. J. D. Ullman [1985]. "Implementation of logical query languages for databases, " ACM Trans. on database Systems 10:3, pp. 289-321.
14. A. Van Gelder [1985]. "A Message Passing Framework for Logical Query Evaluation, " Tech. Report, Dept. of CS, Stanford Univ.