Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions.
Alon Y. LevyInderpal Singh MumickYehoshua SagivOded ShmueliPublished in: Workshop on Deductive Databases, JICSLP (1992)
Keyphrases
- transitive closure
- query containment
- guarded fragment
- query evaluation
- datalog programs
- deductive databases
- query processing
- decision procedures
- database
- query answering
- automata theoretic
- response time
- expressive power
- relevance feedback
- user queries
- unions of conjunctive queries
- query expansion
- retrieval systems
- satisfiability problem
- regular path queries
- logical implication
- range queries
- propositional logic
- query language
- data structure
- np complete
- keywords
- data complexity
- integrity constraints
- xpath queries
- model checking
- data integration
- information retrieval systems
- ontology based data access
- database systems