Soundness and Completeness of SPARQL Query Containment Solver SpeCS.
Mirko SpasicMilena Vujosevic-JanicicPublished in: CoRR (2022)
Keyphrases
- query containment
- query optimization
- conjunctive queries
- query rewriting
- query language
- query answering
- complexity bounds
- transitive closure
- containment of conjunctive queries
- regular path queries
- decision procedures
- data model
- regular expressions
- query evaluation
- integrity constraints
- database systems
- cost model
- datalog programs
- query processing
- data integration
- data complexity
- spatial databases
- data exchange
- tree patterns
- theorem proving
- relational algebra
- xpath queries
- xml queries
- expressive power
- database
- databases