Beth Definability for the Guarded Fragment.

Eva Hoogland Maarten Marx Martin Otto

Published in: LPAR (1999)

Keyphrases

guarded fragment
first order logic
propositional logic
expressive power
transitive closure
fixed point
constraint databases
conjunctive queries
query language
bayesian networks
multi dimensional
database systems
belief revision
incomplete information
relational algebra