Extending the Calculus of Constructions with Tarski's fix-point theorem

Published in: CoRR (2006)

Keyphrases

fixpoint
logic programs
deductive databases
finite state machines
logic programming
sql queries
model theoretic
databases
answer sets
horn clauses
database systems
integrity constraints
nonmonotonic reasoning