Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
Ian Pratt-HartmannPublished in: CoRR (2008)
Keyphrases
- data complexity
- expressive power
- double exponential
- query answering
- query evaluation
- first order logic
- lower complexity
- np complete
- conjunctive queries
- combined complexity
- exptime complete
- query complexity
- dl lite
- query language
- ontology languages
- integrity constraints
- database
- relational algebra
- artificial intelligence
- regular path queries
- learning algorithm