Specification of side-effect management techniques for semantic graph sanitization - Archive ouverte HAL
Reports (Research Report) Year : 2020

Specification of side-effect management techniques for semantic graph sanitization

Abstract

The goal of the SENDUP project is to propose anonymisation mechanisms for data organized as graphs with an underlying semantic. Such mechanisms trig- gers updates on the database. This deliverable presents the update approach and side-effect management techniques defined in SENDUP. We focus on updates -instance or schema changes- on RDF/S databases which are expected to satisfy RDF intrinsic semantic constraints. We model RDF/S databases as type graphs and use graph rewriting rules to formalize updates. Such rules define both the effect of a graph transformation and its applicability conditions. We propose 19 rules modelling atomic updates and prove that their application necessarily preserves the database’s consistency. If an update has to be applied when the application conditions of the corre- sponding rule do not hold, side-effects are generated: they engender new updates in order to ensure the rule applicability. These techniques are implemented in a dedicated software module S1 called SetUp. This deliverable also presents a preliminary experimental validation and evaluation of SetUp.
Fichier principal
Vignette du fichier
D6-Specification of side-effects management techniques.pdf (1.39 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02957974 , version 1 (05-10-2020)

Identifiers

  • HAL Id : hal-02957974 , version 1

Cite

Jacques Chabin, Cédric Eichler, Mirian Halfeld-Ferrari, Nicolas Hiot. Specification of side-effect management techniques for semantic graph sanitization. [Research Report] LIFO, Université d'Orléans, INSA Centre Val de Loire. 2020. ⟨hal-02957974⟩
83 View
69 Download

Share

More