Deterministic vs. Nondeterministic Transitive Closure Logic

Erich Grädel Gregory L. McColm

Published in: LICS (1992)

Keyphrases

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