Specification of side-effect management techniques for semantic graph sanitization - Modelisation Systemes Langages Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2020

Specification of side-effect management techniques for semantic graph sanitization

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02957974 , version 1

Citer

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⟩
69 Consultations
46 Téléchargements

Partager

Gmail Facebook X LinkedIn More