License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICDT.2016.15
URN: urn:nbn:de:0030-drops-57843
URL: http://drops.dagstuhl.de/opus/volltexte/2016/5784/
Go to the corresponding LIPIcs Volume Portal


Calvanese, Diego ; Ortiz, Magdalena ; Šimkus, Mantas

Verification of Evolving Graph-structured Data under Expressive Path Constraints

pdf-format:
14.pdf (2 MB)


Abstract

Integrity constraints play a central role in databases and, among other applications, are fundamental for preserving data integrity when databases evolve as a result of operations manipulating the data. In this context, an important task is that of static verification, which consists in deciding whether a given set of constraints is preserved after the execution of a given sequence of operations, for every possible database satisfying the initial constraints. In this paper, we consider constraints over graph-structured data formulated in an expressive Description Logic (DL) that allows for regular expressions over binary relations and their inverses, generalizing many of the well-known path constraint languages proposed for semi-structured data in the last two decades. In this setting, we study the problem of static verification, for operations expressed in a simple yet flexible language built from additions and deletions of complex DL expressions. We establish undecidability of the general setting, and identify suitable restricted fragments for which we obtain tight complexity results, building on techniques developed in our previous work for simpler DLs. As a by-product, we obtain new (un)decidability results for the implication problem of path constraints, and improve previous upper bounds on the complexity of the problem.

BibTeX - Entry

@InProceedings{calvanese_et_al:LIPIcs:2016:5784,
  author =	{Diego Calvanese and Magdalena Ortiz and Mantas {\v{S}}imkus},
  title =	{{Verification of Evolving Graph-structured Data under Expressive Path Constraints}},
  booktitle =	{19th International Conference on Database Theory (ICDT 2016)},
  pages =	{15:1--15:19},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-002-6},
  ISSN =	{1868-8969},
  year =	{2016},
  volume =	{48},
  editor =	{Wim Martens and Thomas Zeume},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/5784},
  URN =		{urn:nbn:de:0030-drops-57843},
  doi =		{10.4230/LIPIcs.ICDT.2016.15},
  annote =	{Keywords: Path constraints, Description Logics, Graph databases, Static  verification}
}

Keywords: Path constraints, Description Logics, Graph databases, Static verification
Seminar: 19th International Conference on Database Theory (ICDT 2016)
Issue Date: 2016
Date of publication: 29.02.2016


DROPS-Home | Fulltext Search | Imprint Published by LZI