Comprobación eficiente de restricciones de integridad en OCL

View/Open
Document typeConference report
Defense date2007
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial
property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public
communication or transformation of this work are prohibited without permission of the copyright holder
Abstract
El proceso de comprobación de restricciones tiene como objetivo asegurar que el estado del sistema de información es consistente con las restricciones de integridad. La comprobación tiene que repetirse cada vez que el estado del sistema se modifica. La herramienta que aquí presentamos ayuda a realizar (automáticamente) esta comprobación de la forma más eficiente posible.
CitationCabot, J., Teniente, E. Comprobación eficiente de restricciones de integridad en OCL. A: Jornadas de Ingeniería del Software y Bases de Datos. "Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos". 2007, p. 391-392.
DLM-38.230-2007
ISBN978-84-9732-595-0
Files | Description | Size | Format | View |
---|---|---|---|---|
Comprobacion_eficiente.pdf | 307,8Kb | View/Open |