Determining the structural events that may violate an integrity constraint
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/97915
Tipus de documentReport de recerca
Data publicació2004-07
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
Any implementation of an information system must ensure that an
operation is only applied if its execution does not lead to a
violation of any of the integrity constraints defined in its
conceptual schema. In this paper we propose a method to automatically
determine the operations that may potentially violate an OCL integrity
constraint in conceptual schemas defined in the UML. This is done by
determining the structural events that may violate the constraint and
checking whether those events appear in the operation specification.
In this way, our method helps to improve efficiency of integrity
checking since its results can be used to discard many irrelevant
tests.
CitacióCabot, J., Teniente, E. "Determining the structural events that may violate an integrity constraint". 2004.
Forma partLSI-04-41-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
LSI-04-41-R.pdf | 160,9Kb | Visualitza/Obre |