On the undecidability of the equivalence of second-order tuple generating dependencies.
Ingo FeinererReinhard PichlerEmanuel SallingerVadim SavenkovPublished in: Inf. Syst. (2015)
Keyphrases
- query containment
- tuple generating dependencies
- conjunctive queries
- query answering
- integrity constraints
- transitive closure
- inconsistent databases
- datalog programs
- answering queries
- decision procedures
- query evaluation
- query optimization
- function symbols
- data exchange
- query rewriting
- data complexity
- np complete
- query language
- exptime complete
- special case
- regular expressions
- unions of conjunctive queries
- first order logic
- data integration
- tree patterns
- database schema
- deductive databases
- inclusion dependencies
- databases