Datalog with non-deterministic choice computes NDB-PTIME

This publication has 14 references indexed in Scilit:

• Non-determinism in logic-based languages
  Annals of Mathematics and Artificial Intelligence, 1991
• Non-determinism in deductive databases
  Published by Springer Nature ,1991
• Procedural languages for database queries and updates
  Journal of Computer and System Sciences, 1990
• The LDL system prototype
  IEEE Transactions on Knowledge and Data Engineering, 1990
• Elements of Relational Database Theory
  Published by Elsevier ,1990
• Logic Programming
  Published by Elsevier ,1990
• Languages that Capture Complexity Classes
  SIAM Journal on Computing, 1987
• Fixed-point extensions of first-order logic
  Annals of Pure and Applied Logic, 1986
• Logic and Databases: A Deductive Approach
  ACM Computing Surveys, 1984
• Structure and complexity of relational queries
  Journal of Computer and System Sciences, 1982