An Equational Chase for Path-Conjunctive Queries, Constraints, and Views.
Lucian PopaVal TannenPublished in: ICDT (1999)
Keyphrases
- conjunctive queries
- regular path queries
- query answering
- query containment
- query rewriting
- query evaluation
- integrity constraints
- data complexity
- queries using views
- np complete
- query language
- view definitions
- answering queries using views
- data exchange
- special case
- datalog queries
- decision procedures
- primary key
- probabilistic databases
- tuple generating dependencies
- datalog programs
- functional dependencies
- databases
- relational queries
- bounded treewidth
- theorem prover
- database
- regular expressions
- relational data
- data integration
- conp complete
- conjunctive query containment
- query processing
- containment of conjunctive queries
- unions of conjunctive queries
- foreign key
- view selection
- transitive closure