Specification of side-effect management techniques for semantic graph sanitization
Jacques Chabin, Cédric Eichler, Mírian Halfeld Ferrari, Nicolas Hiot · HAL (Le Centre pour la Communication Scientifique Directe) · 2020
The goal of the SENDUP project is to propose anonymisation mechanisms fordata organized as graphs with an underlying semantic. Such mechanisms trig-gers updates on the database. This deliverable presents the update approachand side-effect management techniques defined in SENDUP.We focus on updates -instance or schema changes- on RDF/S databaseswhich are expected to satisfy RDF intrinsic semantic constraints. We modelRDF/S databases as type graphs and use graph rewriting rules to formalizeupdates. Such rules define both the effect of a graph transformation and itsapplicability conditions. We propose 19 rules modelling atomic updates andprove 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 updatesin order to ensure the rule applicability. These techniques are implemented ina dedicated software module S1 called SetUp. This deliverable also presents apreliminary experimental validation and evaluation of SetUp.