The Expressive Power of Finitely Many Generalized Quantifiers

Anuj Dawar Lauri Hella

Published in: LICS (1994)

Keyphrases

expressive power
first order logic
query language
data complexity
relational algebra
transitive closure
computational properties
propositional logic
relational calculus
pattern queries
databases
database
natural language
expert systems
knowledge representation
constraint databases