On Guarding Nested Fixpoints.

Helmut Seidl Andreas Neumann

Published in: CSL (1999)

Keyphrases

logic programs
deductive databases
nonmonotonic reasoning
fixpoint
databases
real world
database systems
image sequences
hierarchical structure