Exploració per tema "Constraints Checking"
Ara es mostren els items 1-2 de 2
-
Incremental checking of OCL constraints through SQL queries
(2014)
Text en actes de congrés
Accés restringit per política de l'editorialWe propose a new method for efficiently checking OCL constraints by means of SQL queries. That is, an OCL constraint is satisfied if its corresponding SQL query returns the empty set. Such queries are computed in an ... -
Incremental checking of OCL constraints with aggregates through SQL
(Springer, 2015)
Text en actes de congrés
Accés obertValid 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 ...