All-Instances Restricted Chase Termination for Linear TGDs.
Tomasz GogaczJerzy MarcinkowskiAndreas PierisPublished in: Künstliche Intell. (2020)
Keyphrases
- data exchange
- query answering
- schema mappings
- conjunctive queries
- logical equivalence
- data complexity
- tuple generating dependencies
- inclusion dependencies
- functional dependencies
- proof theory
- data management
- data integration
- dl lite
- data dependencies
- answering queries
- finite sets
- equality generating dependencies
- query evaluation
- databases
- database schema
- query rewriting
- default theories
- integrity constraints
- query containment
- database design
- programming language
- query language
- query processing
- knowledge base
- database