Testing Satisfiability of a Class of Object-Oriented Conjunctive Queries.
Edward P. F. ChanPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- conjunctive queries
- np complete
- object oriented
- query language
- conjunctive regular path queries
- decision procedures
- integrity constraints
- query evaluation
- data complexity
- boolean expressions
- query answering
- tuple generating dependencies
- database schema
- satisfiability problem
- special case
- query rewriting
- data exchange
- probabilistic databases
- data model
- query containment
- datalog programs
- database
- schema mappings
- containment of conjunctive queries
- unions of conjunctive queries
- dl lite
- cnf formula
- database systems
- data sources
- regular path queries
- search algorithm
- knowledge base
- functional dependencies
- deductive databases
- databases