Skip to Main content Skip to Navigation
Book sections

Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints

Iovka Boneva 1 Sławek Staworko 1 Jose Martin Lozano Aparicio 1
1 LINKS - Linking Dynamic Data
CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189, Inria Lille - Nord Europe
Abstract : We investigate the data exchange from relational databases to RDF graphs inspired by R2RML with the addition of target shape schemas capturing fragments of SHACL and ShEx. We study the problems of consistency i.e., checking that every source instance admits a solution, and certain query answering i.e., finding answers present in every solution. We identify the class of constructive relational to RDF data exchange that uses IRI constructors and full tgds (with no existential variables) in its source to target dependencies. We show that the consistency problem is coNP-complete. We introduce the notion of universal simulation solution that allows to compute certain query answers to any class of queries that is robust under simulation. One such class are nested regular expressions (NREs) that are forward i.e., do not use the inverse operation. Using universal simulation solution renders tractable the computation of certain answers to forward NREs (data-complexity).
Document type :
Book sections
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03110741
Contributor : Iovka Boneva Connect in order to contact the contributor
Submitted on : Friday, January 7, 2022 - 12:25:57 PM
Last modification on : Friday, January 7, 2022 - 4:35:31 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Iovka Boneva, Sławek Staworko, Jose Martin Lozano Aparicio. Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints. Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints, pp.97-107, 2020, ADBIS 2020: New Trends in Databases and Information Systems, ⟨10.1007/978-3-030-54623-6_9⟩. ⟨hal-03110741⟩

Share

Metrics

Les métriques sont temporairement indisponibles