Rewriting of Plain SO Tgds into Nested Tgds.
Rihan HaiChristoph QuixPublished in: Proc. VLDB Endow. (2019)
Keyphrases
- tuple generating dependencies
- conjunctive queries
- data exchange
- query answering
- schema mappings
- inclusion dependencies
- data complexity
- logical equivalence
- integrity constraints
- np complete
- inconsistent databases
- query rewriting
- query evaluation
- finite sets
- database schema
- data integration
- query language
- datalog programs
- functional dependencies
- answering queries
- decision procedures
- function symbols
- equality generating dependencies
- proof theory
- databases
- query containment
- dl lite
- expressive power
- data management
- relational databases
- data dependencies
- default theories
- regular path queries
- conp complete
- deductive databases
- data sources
- special case
- data model