Consistency and Certain Answers in Relational ...
Document type :
Partie d'ouvrage
Title :
Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints
Author(s) :
Boneva, Iovka [Auteur]
Linking Dynamic Data [LINKS]
Staworko, Sławek [Auteur]
Linking Dynamic Data [LINKS]
Lozano Aparicio, Jose Martin [Auteur]
Linking Dynamic Data [LINKS]
Linking Dynamic Data [LINKS]
Staworko, Sławek [Auteur]
Linking Dynamic Data [LINKS]
Lozano Aparicio, Jose Martin [Auteur]
Linking Dynamic Data [LINKS]
Book title :
Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints
Publication date :
2020-08-17
HAL domain(s) :
Informatique [cs]/Base de données [cs.DB]
English abstract : [en]
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 ...
Show more >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).Show less >
Show more >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).Show less >
Language :
Anglais
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Files
- http://arxiv.org/pdf/2003.13831
- Open access
- Access the document
- https://hal.archives-ouvertes.fr/hal-03110741/document
- Open access
- Access the document
- https://hal.archives-ouvertes.fr/hal-03110741/document
- Open access
- Access the document
- document
- Open access
- Access the document
- main.pdf
- Open access
- Access the document
- 2003.13831
- Open access
- Access the document