Login / Signup
Dual unbounded nondeterminacy, recursion, and fixpoints.
Joseph M. Morris
Malcolm Tyrrell
Published in:
Acta Informatica (2007)
Keyphrases
</>
deductive databases
fixpoint
logic programs
integrity constraints
datalog programs
databases
logic programming
primal dual
database
lower bound