Conjunctive Queries with Negation and Aggregation: A Linear Time Characterization.
Hangdong ZhaoAusten Z. FanXiating OuyangParaschos KoutrisPublished in: CoRR (2023)
Keyphrases
- conjunctive queries
- containment of conjunctive queries
- datalog programs
- query answering
- query evaluation
- integrity constraints
- np complete
- query language
- data complexity
- deductive databases
- fixed parameter tractable
- query containment
- special case
- data exchange
- decision procedures
- probabilistic databases
- databases
- query rewriting
- database
- logic programming
- boolean expressions
- relational queries
- answering queries using views
- data integration
- bounded treewidth
- conjunctive regular path queries
- schema mappings
- conjunctive query containment
- queries using views
- metadata
- unions of conjunctive queries
- np hard
- expressive power
- incomplete information
- transitive closure