First-Order Query Evaluation with Cardinality Conditions.
Martin GroheNicole SchweikardtPublished in: CoRR (2017)
Keyphrases
- query evaluation
- query processing
- conjunctive queries
- deductive databases
- transitive closure
- query language
- data management
- probabilistic databases
- data complexity
- xml data
- first order logic
- disjunctive deductive databases
- querying xml documents
- query engine
- constraint databases
- efficient query evaluation
- incomplete information
- query answers
- signature file
- integrity constraints
- data model