ON SAFETY, DOMAIN INDEPENDENCE, AND CAPTURABILITY OF DATABASE QUERIES* (Preliminary Report)*Research sponsored in part by the NSF grant DCR-8603676.

This publication has 15 references indexed in Scilit:

• SYGRAF: implementing logic programs in a database style
  IEEE Transactions on Software Engineering, 1988
• Theory of database queries
  Published by Association for Computing Machinery (ACM) ,1988
• A framework for testing safety and effective computability of extended datalog
  Published by Association for Computing Machinery (ACM) ,1988
• Safety of recursive Horn clauses with infinite relations
  Published by Association for Computing Machinery (ACM) ,1987
• An amateur's introduction to recursive query processing strategies
  Published by Association for Computing Machinery (ACM) ,1986
• Horn clause queries and generalizations
  The Journal of Logic Programming, 1985
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984
• A New Approach to Database Logic.
  Published by Defense Technical Information Center (DTIC) ,1984
• Horn clauses and database dependencies
  Journal of the ACM, 1982
• The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
  Journal of the ACM, 1969