PSPARQL Query Containment.
Melisachew Wudage ChekolJérôme EuzenatPierre GenevèsNabil LayaïdaPublished in: DBPL (2011)
Keyphrases
- query containment
- conjunctive queries
- query answering
- transitive closure
- complexity bounds
- decision procedures
- regular path queries
- containment of conjunctive queries
- integrity constraints
- query optimization
- query rewriting
- data exchange
- np complete
- query evaluation
- regular expressions
- answering queries using views
- automated reasoning
- data complexity
- query processing
- databases
- datalog programs
- theorem proving
- modal logic
- pattern matching
- query language