Incremental checking of OCL constraints with aggregates through SQL

Inici | Què és? | Contacte

English | Castellano

Consultar RECERCAT

Per comunitats i
col·leccions Per data Per autors Per títols Per matèries

Consultar col·lecció

Per data Per autors Per títols Per matèries

Estadístiques

Del document Tot RECERCAT

El meu RECERCAT

Entrar Alertes per correu-e

Directori d’altres repositoris

Pàgina inicial del RECERCAT > Universitat Politècnica de Catalunya > Documents de recerca > Visualitza document

Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/85612

dc.contributor	Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.contributor	Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.contributor.author	Oriol Hilari, Xavier
dc.contributor.author	Teniente López, Ernest
dc.date	2015
dc.identifier.citation	Oriol, X., Teniente, E. Incremental checking of OCL constraints with aggregates through SQL. A: International Conference on Conceptual Modeling. "34th International Conference, ER 2015, Stockholm, Sweden, October 19–22, 2015, Proceedings". Estocolm: Springer, 2015, p. 199-213.
dc.identifier.citation	978-3-319-25264-3
dc.identifier.citation	10.1007/978-3-319-25264-3_15
dc.identifier.uri	http://hdl.handle.net/2117/85612
dc.language.iso	eng
dc.publisher	Springer
dc.relation	http://link.springer.com/chapter/10.1007/978-3-319-25264-3_15
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject	SQL (Computer program language)
dc.subject	Declarative programming languages
dc.subject	Constraints Checking
dc.subject	SQL
dc.subject	OCL
dc.subject	Aggregates
dc.subject	SQL (Llenguatge de programació)
dc.title	Incremental checking of OCL constraints with aggregates through SQL
dc.type	info:eu-repo/semantics/submittedVersion
dc.type	info:eu-repo/semantics/conferenceObject
dc.description.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.
dc.description.abstract	Peer Reviewed

Mostra el registre simple del document

Documents relacionats

Altres documents del mateix autor/a

An ontology-based framework for describing discoverable data services

Oriol Hilari, Xavier; Teniente López, Ernest

OCLFO: first-order expressive OCL constraints for efficient integrity checking

Franconi, Enrico; Mosca, Alessandro; Oriol Hilari, Xavier; Rull, Guillem; Teniente López, Ernest

Computing repairs for constraint violations in UML/OCL conceptual schemas

Oriol Hilari, Xavier; Teniente López, Ernest; Tort, Albert

Adapting integrity checking techniques for concurrent operation executions

Oriol Hilari, Xavier; Teniente López, Ernest

Automatic business process model extension to repair constraint violations

Oriol Hilari, Xavier; Giacomo, Giuseppe De; Estañol Lamarca, Montserrat; Teniente López, Ernest

Accessibilitat | Avís legal | Política de Cookies | Documents d'ús intern

Coordinació

Patrocini