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