On Domain Independent Databases

This publication has 8 references indexed in Scilit:

• An amateur's introduction to recursive query processing strategies
  ACM SIGMOD Record, 1986
• A basis for deductive database systems II
  The Journal of Logic Programming, 1986
• A basis for deductive database systems
  The Journal of Logic Programming, 1985
• Horn clause queries and generalizations
  The Journal of Logic Programming, 1985
• Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
  The Journal of Logic Programming, 1984
• Logic for improving integrity checking in relational data bases?
  Acta Informatica, 1982
• The decision problem for database dependencies
  Information Processing Letters, 1981
• The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
  Journal of the ACM, 1969