Skip to main content
SpringerLink
Log in
Book cover

European Conference on Advances in Databases and Information Systems

ADBIS 2017: Advances in Databases and Information Systems pp 357–371Cite as

Updating RDF/S Databases Under Constraints

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 10509))

Abstract

We address the issue of database updating in the presence of constraints, using the first order logic formalism. Based on a chasing technique, we propose a deterministic update strategy. While generalizing key-foreign key constraints, our approach satisfies the consistency and minimal change requirements, with a polynomial time complexity. Our custom version of the chase allows improvement in updating non-null RDF/S databases with constraints.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • 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

Learn about institutional subscriptions

References

  1. Lubm benchmark. http://swat.cse.lehigh.edu/projects/lubm/

  2. Afrati, F.N., Kolaitis, P.G.: Repair checking in inconsistent databases: algorithms and complexity. In: Proceedings of the 12th International Conference on Database Theory - ICDT, Russia, pp. 31–41, 23–25 March 2009

    Google Scholar 

  3. Ahmeti, A., Calvanese, D., Polleres, A.: Updating RDFS ABoxes and TBoxes in SPARQL. CoRR, abs/1403.7248 (2014)

    Google Scholar 

  4. Benedikt, M., Konstantinidis, G., Mecca, G., et al.: Benchmarking the chase. To appear in Principles of Database Systems (PODS 2017) (2017)

    Google Scholar 

  5. Chirkova, R., Fletcher, G.H.L.: Towards well-behaved schema evolution. In: 12th International Workshop on the Web and Databases, WebDB, USA (2009)

    Google Scholar 

  6. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: semantics and query answering. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol. 2572, pp. 207–224. Springer, Heidelberg (2003). doi:10.1007/3-540-36285-1_14

    Chapter  Google Scholar 

  7. Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: getting to the core. ACM Trans. Database Syst. 30(1), 174–210 (2005)

    Article  MATH  Google Scholar 

  8. Flouris, G., Konstantinidis, G., Antoniou, G., Christophides, V.: Formal foundations for RDF/S KB evolution. Knowl. Inf. Syst. 35(1), 153–191 (2013)

    Article  Google Scholar 

  9. Gottlob, G., Orsi, G., Pieris, A.: Ontological queries: rewriting and optimization. In: Proceedings of the 27th International Conference on Data Engineering, ICDE, Germany, pp. 2–13 (2011)

    Google Scholar 

  10. Guetmi, N.: Design Models for Mobile Collaborative Applications in the Cloud. Ph.D. thesis, École nationale supérieure de mécanique et d’aérotechnique, France (2016). https://tel.archives-ouvertes.fr/tel-01430151

  11. Gutierrez, C., Hurtado, C., Vaisman, A.: RDFS update: from theory to practice. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., Leenheer, P., Pan, J. (eds.) ESWC 2011, Part II. LNCS, vol. 6644, pp. 93–107. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21064-8_7

    Chapter  Google Scholar 

  12. Halfeld-Ferrari, M., Laurent, D.: Updating RDF/S databases under negative and tuple-generating constraints. Technical report, LIFO-Université d’Orléans, RR-2017-05 (2017). https://www.univ-orleans.fr/lifo/rapports.php?lang=en&sub=sub3

  13. Halfeld-Ferrari, M., Laurent, D., Spyratos, N.: Update rules in datalog programs. J. Log. Comput. 8(6), 745–775 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  14. Lausen, G., Meier, M., Schmidt, M.: Sparqling constraints for RDF. In: Proceedings of the 11th International Conference on Extending Database Technology, EDBT, France, pp. 499–509 (2008)

    Google Scholar 

  15. Lösch, U., Rudolph, S., Vrandečić, D., Studer, R.: Tempus fugit. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyvönen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 278–292. Springer, Heidelberg (2009). doi:10.1007/978-3-642-02121-3_23

    Chapter  Google Scholar 

  16. Motik, B., Horrocks, I., Sattler, U.: Bridging the gap between OWL and relational databases. In: Proceedings of the 16th International Conference on World Wide Web, WWW, Canada, pp. 807–816 (2007)

    Google Scholar 

  17. Nikitina, N., Rudolph, S., Glimm, B.: Interactive ontology revision. J. Web Sem. 12, 118–130 (2012)

    Article  Google Scholar 

  18. Onet, A.: The chase procedure and its applications in data exchange. In: Data Exchange, Integration, and Streams, pp. 1–37 (2013)

    Google Scholar 

  19. Patel-Schneider, P.F.: Using description logics for RDF constraint checking and closed-world recognition. In: Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, USA, pp. 247–253 (2015)

    Google Scholar 

  20. Pichler, R., Skritek, S.: The complexity of evaluating tuple generating dependencies. In: Proceedings of the 14th International Conference on Database Theory - ICDT, Sweden, pp. 244–255 (2011)

    Google Scholar 

  21. Schätzle, A., Przyjaciel-Zablocki, M., Skilevic, S., Lausen, G.: S2RDF: RDF querying with SPARQL on spark. PVLDB 9(10), 804–815 (2016)

    Google Scholar 

Download references

Acknowledgements

The work is partially funded by APR-IA GIRAFON. We sincerely thank Jacques Chabin for his work on implementation and experiments.

Author information

Authors and Affiliations

  1. Université d’Orléans, INSA CVL - LIFO EA, Orléans, France

    Mirian Halfeld-Ferrari

  2. ETIS - Université Paris Seine - CNRS, Cergy-Pontoise, France

    Dominique Laurent

Authors
  1. Mirian Halfeld-Ferrari
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dominique Laurent
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Mirian Halfeld-Ferrari or Dominique Laurent .

Editor information

Editors and Affiliations

  1. Riga Technical University , Riga, Latvia

    Mārīte Kirikova

  2. Norwegian University of Science and Technology, Trondheim, Norway

    Kjetil Nørvåg

  3. University of Cyprus , Nicosia, Cyprus

    George A. Papadopoulos

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Halfeld-Ferrari, M., Laurent, D. (2017). Updating RDF/S Databases Under Constraints. In: Kirikova, M., Nørvåg, K., Papadopoulos, G. (eds) Advances in Databases and Information Systems. ADBIS 2017. Lecture Notes in Computer Science(), vol 10509. Springer, Cham. https://doi.org/10.1007/978-3-319-66917-5_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-66917-5_24

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-66916-8

  • Online ISBN: 978-3-319-66917-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation