Exploració per tema "Constraints Checking"

Ara es mostren els items 1-2 de 2

    • Incremental checking of OCL constraints through SQL queries 

      Oriol Hilari, Xavier; Teniente López, Ernest (2014)
      Text en actes de congrés
      Accés restringit per política de l'editorial
      We 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 

      Oriol Hilari, Xavier; Teniente López, Ernest (Springer, 2015)
      Text en actes de congrés
      Accés obert
      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 ...