Foundations of Simplified Integrity Checking Reviewed

This publication has 21 references indexed in Scilit:

• Acyclic logic programs and the completeness of SLDNF-resolution
  Theoretical Computer Science, 1991
• Generalizing allowedness while retaining completeness of SLDNF-resolution
  Published by Springer Nature ,1990
• Signed data dependencies in logic programs
  The Journal of Logic Programming, 1989
• A path finding method for constraint checking in deductive databases
  Data & Knowledge Engineering, 1989
• Towards a Theory of Declarative Knowledge
  Published by Elsevier ,1988
• A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
  Published by Springer Nature ,1988
• Foundations of Logic Programming
  Published by Springer Nature ,1987
• Completeness of the SLDNF-resolution for a class of logic programs
  Published by Springer Nature ,1986
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984
• Negation as Failure
  Published by Springer Nature ,1978