Decidability of the Guarded Fragment with the Transitive Closure.

Jakub Michaliszyn

Published in: ICALP (2) (2009)

Keyphrases

transitive closure
guarded fragment
query containment
expressive power
description logics
first order logic
query evaluation
constraint databases
query answering
directed acyclic graph
spatial databases
relational algebra
query language
data mining
autonomous agents
data management
knowledge base