Scalable containment for unions of conjunctive queries under constraints.
George KonstantinidisJosé Luis AmbitePublished in: SWIM@SIGMOD Conference (2013)
Keyphrases
- unions of conjunctive queries
- conjunctive queries
- query containment
- datalog queries
- data exchange
- query answering
- decision procedures
- automata theoretic
- regular path queries
- transitive closure
- relational queries
- data complexity
- answering queries
- probabilistic databases
- dl lite
- constraint satisfaction
- integrity constraints
- database
- query evaluation
- theorem proving
- relational algebra
- temporal logic
- query language
- data streams