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