Computing repairs for constraint violations in UML/OCL conceptual schemas
Visualitza/Obre
10.1016/j.datak.2015.06.006
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/85205
Tipus de documentArticle
Data publicació2015-06-25
EditorElsevier
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
Updating the contents of an information base may violate some of the constraints defined over the schema. The classical way to deal with this problem has been to reject the requested update when its application would lead to some constraint violation. We follow here an alternative approach aimed at automatically computing the repairs of an update, i.e., the minimum additional changes that, when applied together with the requested update, bring the information base to a new state where all constraints are satisfied. Our approach is independent of the language used to define the schema and the constraints, since it is based on a logic formalization of both, although we apply it to UML and OCL because they are widely used in the conceptual modeling community. Our method can be used for maintaining the consistency of an information base after the application of some update, and also for dealing with the problem of fixing up non-executable operations. The fragment of OCL that we use to define the constraints has the same expressiveness as relational algebra and we also identify a subset of it which provides some nice properties in the repair-computation process. Experiments are conducted to analyze the efficiency of our approach.
CitacióOriol, X., Teniente, E., Tort, A. Computing repairs for constraint violations in UML/OCL conceptual schemas. "Data and knowledge engineering", 25 Juny 2015, vol. 99, núm. September, p. 39-58.
ISSN0169-023X
Versió de l'editorhttp://www.sciencedirect.com/science/article/pii/S0169023X15000397
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
DKE-2015.pdf | 553,2Kb | Visualitza/Obre |