Efficient bottom-up computation of queries on stratified databases

This publication has 15 references indexed in Scilit:

• Counting methods for cyclic relations
  Published by Association for Computing Machinery (ACM) ,1988
• A generalization of the differential approach to recursive query evaluation
  The Journal of Logic Programming, 1987
• On the power of magic
  Published by Association for Computing Machinery (ACM) ,1987
• Sets and negation in a logic data base language (LDL1)
  Published by Association for Computing Machinery (ACM) ,1987
• A basis for deductive database systems II
  The Journal of Logic Programming, 1986
• Magic sets and other strange ways to implement logic programs (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1985
• Horn clause queries and generalizations
  The Journal of Logic Programming, 1985
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984
• On compiling queries in recursive first-order databases
  Journal of the ACM, 1984
• Logic for improving integrity checking in relational data bases?
  Acta Informatica, 1982