Login / Signup
Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic
Erich Grädel
Gregory L. McColm
Published in:
FOCS (1992)
Keyphrases
</>
transitive closure
expressive power
logic programming
query evaluation
query language
modal logic
recursive queries
first order logic
directed acyclic graph
constraint databases
artificial intelligence
probabilistic model
logic programs
query answering
deductive databases
datalog queries