Non-determinism in deductive databases

This publication has 6 references indexed in Scilit:

• Fixpoint extensions of first-order logic and datalog-like languages
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Stable models and non-determinism in logic programs with negation
  Published by Association for Computing Machinery (ACM) ,1990
• The LDL system prototype
  IEEE Transactions on Knowledge and Data Engineering, 1990
• Towards banishing the cut from Prolog
  IEEE Transactions on Software Engineering, 1990
• Object Identity and Inheritance in Deductive Databases—an Evolutionary Approach
  Published by Elsevier ,1990
• Languages that Capture Complexity Classes
  SIAM Journal on Computing, 1987