Disjunctive deductive databases

This publication has 39 references indexed in Scilit:

• Recursive query answering with non-horn clauses
  Published by Springer Nature ,2005
• WF 3: A semantics for negation in normal disjunctive logic programs
  Published by Springer Nature ,1991
• Generalized Disjunctive Well-Founded Semantics for Logic Programs
  Published by Defense Technical Information Center (DTIC) ,1990
• Towards a Theory of Declarative Knowledge
  Published by Elsevier ,1988
• Horn clause queries and generalizations
  The Journal of Logic Programming, 1985
• Saturation, nonmonotonic reasoning and the closed-world assumption
  Artificial Intelligence, 1985
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• A Formal Approach to Null Values in Database Relations
  Published by Springer Nature ,1981
• Extending the database relational model to capture more meaning
  ACM Transactions on Database Systems, 1979
• Negation as Failure
  Published by Springer Nature ,1978