The expressive Power of Finitely Many Generalized Quantifiers.
Anuj DawarLauri HellaPublished in: Inf. Comput. (1995)
Keyphrases
- expressive power
- first order logic
- data complexity
- computational properties
- query language
- transitive closure
- relational algebra
- constraint query languages
- propositional logic
- inductive inference
- pattern queries
- incomplete information
- query optimization
- knowledge representation
- relational calculus
- relation algebra
- data mining