STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries.
Stanislav KikotRoman KontchakovSalvatore RapisardaMichael ZakharyaschevPublished in: OTM Conferences (2) (2018)
Keyphrases
- conjunctive queries
- datalog programs
- query answering
- tuple generating dependencies
- query language
- data complexity
- integrity constraints
- data exchange
- query evaluation
- np complete
- expressive power
- inconsistent databases
- special case
- database theory
- unions of conjunctive queries
- decision procedures
- query containment
- combined complexity
- schema mappings
- query rewriting
- probabilistic databases
- object oriented
- data integration
- answering queries
- dl lite
- relational queries
- inclusion dependencies
- database
- lower bound
- data model
- incomplete information