Safe computation of the well-founded semantics of Datalog queries.

Nicola Leone Pasquale Rullo

Published in: Inf. Syst. (1992)

Keyphrases

datalog queries
transitive closure
cardinality constraints
data model
recursive queries
integrity checking