Authors: Albert Tort, Ernest Teniente, Xavier Oriol
Tags: 2015, conceptual modeling
Updating the contentsof an information base may violate some of the constraints defined over theschema. The classical way to deal with this problem has been to reject the requested update whenits application would lead to some constraint violation. We follow here an alternative approachaimed at automatically computing the repairs of an update, i.e., the minimum additional changesthat, when applied together with the requested update, bring the information base to a new statewhere all constraints are satisfied. Our approach is independent of the language used to define theschema and the constraints, since it is based on a logic formalization of both, although we apply itto 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 applica-tion of someupdate,and alsofor dealing with the problem offixing up non-executableoperations.The fragmentof OCL that we use to define the constraintshas the sameexpressivenessas relation-al 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 approachRead the full paper here: https://reader.elsevier.com/reader/sd/pii/S0169023X15000397?token=F643EB46520D44E44348A90129827B4B0FAB65AEF1393F225C5654B99875BA2C56D02CACF2815DB29D4EEBFD74D712E8
