Conjunctive Queries: Unique Characterizations and Exact Learnability.
Balder ten CateVictor DalmauPublished in: ACM Trans. Database Syst. (2022)
Keyphrases
- conjunctive queries
- dnf formulas
- query answering
- query evaluation
- tight complexity bounds
- integrity constraints
- np complete
- data complexity
- query language
- data exchange
- decision procedures
- query containment
- special case
- query rewriting
- probabilistic databases
- datalog programs
- unions of conjunctive queries
- finite automata
- boolean expressions
- bounded treewidth
- tuple generating dependencies
- containment of conjunctive queries
- data mining
- boolean functions
- database
- conjunctive query containment
- pac learnability
- regular path queries
- relational queries
- automated reasoning
- schema mappings
- data integration
- data management
- knowledge base
- learning algorithm