Testing Satisfiability of a Class of Object-Oriented Conjunctive Queries.

Edward P. F. Chan

Published 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