Incremental checking of OCL constraints with aggregates through SQL

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/85612

Title:	Incremental checking of OCL constraints with aggregates through SQL
Author:	Oriol Hilari, Xavier; Teniente López, Ernest
Other authors:	Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
Abstract:	Valid states of data are those satisfying a set of constraints. Therefore, efficiently checking whether some constraint has been violated after a data update is an important problem in data management. We tackle this problem by incrementally checking OCL constraint violations by means of SQL queries. Given an OCL constraint, we obtain a set of SQL queries that returns the data that violates the constraint. In this way, we can check the validity of the data by checking the emptiness of these queries. The queries that we obtain are incremental since they are only executed when some relevant data update may violate the constraint, and they only examine the data related to the update.
Abstract:	Peer Reviewed
Subject(s):	-Àrees temàtiques de la UPC::Informàtica::Enginyeria del software -SQL (Computer program language) -Declarative programming languages -Constraints Checking -SQL -OCL -Aggregates -SQL (Llenguatge de programació)
Rights:
Document type:	Article - Submitted version Conference Object
Published by:	Springer
Share: