Login / Signup
Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic.
Erich Grädel
Gregory L. McColm
Published in:
Ann. Pure Appl. Log. (1996)
Keyphrases
</>
transitive closure
expressive power
logic programming
query language
first order logic
query evaluation
constraint databases
modal logic
recursive queries
directed acyclic graph
database
deductive databases
artificial intelligence
data model
data complexity