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.
Domaines
Base de données [cs.DB]
Fichier principal
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...