Login / Signup

Dual unbounded nondeterminacy, recursion, and fixpoints.

Joseph M. MorrisMalcolm Tyrrell
Published in: Acta Informatica (2007)
Keyphrases
  • deductive databases
  • fixpoint
  • logic programs
  • integrity constraints
  • datalog programs
  • databases
  • logic programming
  • primal dual
  • database
  • lower bound