Antifoundation and Transitive Closure in the System of Zermelo.

Olivier Esser Roland Hinnion

Published in: Notre Dame J. Formal Log. (1999)

Keyphrases

transitive closure
expressive power
constraint databases
query evaluation
directed acyclic graph
query language
first order logic
spatial databases
recursive queries
relational algebra
binary relations
databases