Querying the Guarded Fragment.

Vince Bárány Georg Gottlob Martin Otto

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

query language
expressive power
guarded fragment
transitive closure
query processing
database
databases
first order logic
conjunctive queries
bayesian networks