Soundness and Completeness of SPARQL Query Containment Solver SpeCS.

Mirko Spasic Milena Vujosevic-Janicic

Published 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