Sharper Results on the Expressive Power of Generalized Quantifiers.

Published in: FSTTCS (1997)

Keyphrases

expressive power
first order logic
query language
transitive closure
computational properties
data complexity
relational algebra
relational calculus
pattern queries
constraint query languages
natural language
data model
knowledge representation
np complete
aggregate functions