Conjunctive Queries with Negation and Aggregation: A Linear Time Characterization.
Hangdong ZhaoAusten Z. FanXiating OuyangParaschos KoutrisPublished in: Proc. ACM Manag. Data (2024)
Keyphrases
- conjunctive queries
- containment of conjunctive queries
- datalog programs
- query answering
- integrity constraints
- query evaluation
- query containment
- data complexity
- np complete
- fixed parameter tractable
- deductive databases
- query language
- special case
- data exchange
- query rewriting
- probabilistic databases
- decision procedures
- conjunctive query containment
- databases
- logic programs
- inclusion dependencies
- transitive closure
- data sources
- dl lite
- regular path queries
- database
- data integration
- conp complete
- data model