Incremental checking of OCL constraints with aggregates through SQL

Inicio | ¿Qué es? | Contacto

English | Català

Consultar RECERCAT

Por comunidades y
colecciones Por fecha Por autores Por títulos Por temas (CDU)

Consultar departamento

Por fecha Por autores Por títulos Por temas (CDU)

Estadisticas

Del documento Todo RECERCAT

Mi RECERCAT

Entrar Alertas por correo-e

Directorio de otros repositorios

RECERCAT Principal > Universitat Politècnica de Catalunya > Documents de recerca > Visualizar documento

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: 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

Mostrar el registro sencillo del ítem

Documentos relacionados

Otros documentos del mismo 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

Accesibilidad | Aviso legal | Política de Cookies | Documentos de uso interno

Coordinación

Patrocinio