[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

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

  • Conference paper
  • First Online:
New Trends in Databases and Information Systems (ADBIS 2020)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 1259))

Included in the following conference series:

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).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
GBP 19.95
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
GBP 35.99
Price includes VAT (United Kingdom)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    This was called absolute consistency in  [9].

References

  1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)

    MATH  Google Scholar 

  2. Amano, S., David, C., Libkin, L., Murlak, F.: XML schema mappings: data exchange and metadata management. J. ACM 61(2), 12:1–12:48 (2014)

    Article  MathSciNet  Google Scholar 

  3. Arenas, M., Barceló, P., Reutter, J.L.: Query languages for data exchange: beyond unions of conjunctive queries. Theory Comput. Syst. 49(2), 489–564 (2011)

    Article  MathSciNet  Google Scholar 

  4. Arenas, M., Bertails, A., Prud’hommeaux, E., Sequeda, J.: A direct mapping of relational data to RDF. W3C Recomm. 27, 1–11 (2012)

    Google Scholar 

  5. Arenas, M., Libkin, L.: XML data exchange: consistency and query answering. J. ACM 55(2), 7:1–7:72 (2008)

    Article  MathSciNet  Google Scholar 

  6. Auer, S., Feigenbaum, L., Miranker, D., Fogarolli, A., Sequeda, J.: Use cases and requirements for mapping relational databases to RDF, W3C (2010)

    Google Scholar 

  7. Barceló, P., Pérez, J., Reutter, J.L.: Schema mappings and data exchange for graph databases. In: International Conference on Database Theory (ICDT), pp. 189–200 (2013)

    Google Scholar 

  8. Bienvenu, M., Ortiz, M., Simkus, M.: Regular path queries in lightweight description logics: complexity and algorithms. J. Artif. Intell. Res. 53, 315–374 (2015)

    Article  MathSciNet  Google Scholar 

  9. Bojańczyk, M., Kołodziejczyk, L.A., Murlak, F.: Solutions in XML data exchange. J. Comput. Syst. Sci. 79(6), 785–815 (2013)

    Article  MathSciNet  Google Scholar 

  10. Boneva, I., Bonifati, A., Ciucanu, R.: Graph data exchange with target constraints. In: EDBT/ICDT Workshops (GraphQ), pp. 171–176 (2015)

    Google Scholar 

  11. Boneva, I., Labra Gayo, J.E., Prud’hommeaux, E.G.: Semantics and validation of shapes schemas for RDF. In: International Semantic Web Conference (ISWC), pp. 104–120 (2017)

    Google Scholar 

  12. Boneva, I., Lozano, J., Staworko, S.: Relational to RDF data exchange in presence of a shape expression schema. In: Alberto Mendelzon International Workshop (AMW) (2018)

    Google Scholar 

  13. Boneva, I., Lozano, J., Staworko, S.: ShERML: mapping relational data to RDF. In: ISWC Satellite Tracks, pp. 213–216 (2019)

    Google Scholar 

  14. Boneva, I., Staworko, S., Lozano, J.: Consistency and certain answers in relational to RDF data exchange with shape constraints. Technical report. arXiv:2003.13831, April 2020

  15. Calì, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. J. Web Semant. 14, 57–83 (2012)

    Article  Google Scholar 

  16. Calvanese, D., Eiter, T., Ortiz, M.: Answering regular path queries in expressive description logics via alternating tree-automata. Inf. Comput. 237, 12–55 (2014)

    Article  MathSciNet  Google Scholar 

  17. Corman, J., Reutter, J.L., Savkovic, O.: Semantics and validation of recursive SHACL. In: International Semantic Web Conference, pp. 318–336 (2018)

    Google Scholar 

  18. Das, S., Sundara, S., Cyganiak, R.: R2RML: RDB to RDF mapping language. W3C Recomm. (2011). https://www.w3.org/TR/r2rml/

  19. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. Theoret. Comput. Sci. 336, 89–124 (2005)

    Article  MathSciNet  Google Scholar 

  20. Heyvaert, P., De Meester, B., Dimou, A., Verborgh, R.: Declarative rules for Linked Data generation at your fingertips! In: The Semantic Web: ESWC Satellite Events, pp. 213–217, June 2018

    Google Scholar 

  21. Imieliński, T., Lipski Jr., W.: Incomplete information in relational databases. J. ACM 31(4), 761–791 (1984)

    Article  MathSciNet  Google Scholar 

  22. Knublauch, H., Kontokostas, D.: Shapes constraint language (SHACL). W3C Recomm. (2017). https://www.w3.org/TR/shacl/

  23. Labra Gayo, J.E., Prud’hommeaux, E., Boneva, I., Kontokostas, D.: Validating RDF Data. Synthesis Lectures on the Semantic Web: Theory and Technology (2017)

    Google Scholar 

  24. Libkin, L.: Elements of Finite Model Theory. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-662-07003-1

    Book  MATH  Google Scholar 

  25. Michel, F., Montagnat, J., Faron Zucker, C.: A survey of RDB to RDF translation approaches and tools. Technical report, University Sophia Antipolis (2013)

    Google Scholar 

  26. Pérez, J., Arenas, M., Gutierrez, C.: nSPARQL: a navigational language for RDF. J. Web Semant. 8(4), 255–270 (2010)

    Article  Google Scholar 

  27. Prud’hommeaux, E., Boneva, I., Emilio, J.L.G., Kellogg, G.: Shape expressions language 2.1. W3C Draft (2018)

    Google Scholar 

  28. Staworko, S., Boneva, I., Labra Gayo, J.E., Hym, S., Prud’hommeaux, E.G., Solbrig, H.R.: Complexity and expressiveness of ShEx for RDF. In: International Conference on Database Theory (ICDT), pp. 195–211 (2015)

    Google Scholar 

  29. Staworko, S., Wieczorek, P.: Containment of shape expression schemas for RDF. In: ACM Symposium on Principles of Database Systems (PODS), pp. 303–319 (2019)

    Google Scholar 

  30. Tzitzikas, Y., Lantzaki, C., Zeginis, D.: Blank node matching and RDF/S comparison functions. In: International Semantic Web Conference (ISWC), pp. 591–607 (2012)

    Google Scholar 

  31. Villazón, B., Hausenblas, M.: R2RML and direct mapping test cases. W3C (2012)

    Google Scholar 

  32. W3C: RDF validation workshop report: practical assurances for quality RDF data (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille, 59000, Lille, France

    Iovka Boneva, Sławek Staworko & Jose Lozano

Authors
  1. Iovka Boneva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sławek Staworko
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jose Lozano
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jose Lozano .

Editor information

Editors and Affiliations

  1. Université Lumière Lyon 2, Lyon, France

    Jérôme Darmont

  2. National Research University Higher School of Economics, St. Petersburg, Russia

    Boris Novikov

  3. Poznań University of Technology, Poznań, Poland

    Robert Wrembel

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Boneva, I., Staworko, S., Lozano, J. (2020). Consistency and Certain Answers in Relational to RDF Data Exchange with Shape Constraints. In: Darmont, J., Novikov, B., Wrembel, R. (eds) New Trends in Databases and Information Systems. ADBIS 2020. Communications in Computer and Information Science, vol 1259. Springer, Cham. https://doi.org/10.1007/978-3-030-54623-6_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-54623-6_9

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-54622-9

  • Online ISBN: 978-3-030-54623-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation