Skip to Main content Skip to Navigation

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.
Document type :
Complete list of metadatas

Cited literature [37 references]  Display  Hide  Download
Contributor : Cédric Eichler <>
Submitted on : Monday, October 5, 2020 - 3:07:57 PM
Last modification on : Monday, December 14, 2020 - 5:52:09 PM


D6-Specification of side-effec...
Files produced by the author(s)


  • HAL Id : hal-02957974, version 1


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⟩



Record views


Files downloads