The Two-Variable Guarded Fragment with Transitive Relations.

Harald Ganzinger Christoph Meyer Margus Veanes

Published in: LICS (1999)

Keyphrases

guarded fragment
expressive power
transitive closure
first order logic
query language
knowledge base
spatial relations
relational algebra
preference relations
background knowledge
constraint satisfaction