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