Keyphrases
- query containment
- automata theoretic
- regular expressions
- conjunctive queries
- regular path queries
- query answering
- containment of conjunctive queries
- transitive closure
- complexity bounds
- temporal logic
- query optimization
- decision procedures
- query rewriting
- integrity constraints
- modal logic
- data complexity
- query language
- data mining
- np complete
- theorem proving
- databases
- matching algorithm