Determining the structural events that may violate an integrity constraint

Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined in its conceptual schema. In this paper we propose a method to automatically determine the operations that may potential...

ver descrição completa

Detalhes bibliográficos
Autores: Cabot, Jordi, Teniente López, Ernest|||0000-0001-8890-9638
Formato: informe técnico
Fecha de publicación:2004
País:España
Recursos:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/97915
Acesso em linha:https://hdl.handle.net/2117/97915
Access Level:acceso abierto
Palavra-chave:Information system
OCL
Integrity constraint
Conceptual schemas
UML
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
id ES_7f24e65ef03bbd80cd35a3f7421344ea
oai_identifier_str oai:upcommons.upc.edu:2117/97915
network_acronym_str ES
network_name_str España
repository_id_str
spelling Determining the structural events that may violate an integrity constraintCabot, JordiTeniente López, Ernest|||0000-0001-8890-9638Information systemOCLIntegrity constraintConceptual schemasUMLÀrees temàtiques de la UPC::Informàtica::Sistemes d'informacióAny implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined in its conceptual schema. In this paper we propose a method to automatically determine the operations that may potentially violate an OCL integrity constraint in conceptual schemas defined in the UML. This is done by determining the structural events that may violate the constraint and checking whether those events appear in the operation specification. In this way, our method helps to improve efficiency of integrity checking since its results can be used to discard many irrelevant tests.20042004-07-0120162016-12-09reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/2117/97915reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/979152026-05-27T15:37:01Z
dc.title.none.fl_str_mv Determining the structural events that may violate an integrity constraint
title Determining the structural events that may violate an integrity constraint
spellingShingle Determining the structural events that may violate an integrity constraint
Cabot, Jordi
Information system
OCL
Integrity constraint
Conceptual schemas
UML
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
title_short Determining the structural events that may violate an integrity constraint
title_full Determining the structural events that may violate an integrity constraint
title_fullStr Determining the structural events that may violate an integrity constraint
title_full_unstemmed Determining the structural events that may violate an integrity constraint
title_sort Determining the structural events that may violate an integrity constraint
dc.creator.none.fl_str_mv Cabot, Jordi
Teniente López, Ernest|||0000-0001-8890-9638
author Cabot, Jordi
author_facet Cabot, Jordi
Teniente López, Ernest|||0000-0001-8890-9638
author_role author
author2 Teniente López, Ernest|||0000-0001-8890-9638
author2_role author
dc.subject.none.fl_str_mv Information system
OCL
Integrity constraint
Conceptual schemas
UML
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
topic Information system
OCL
Integrity constraint
Conceptual schemas
UML
Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
description Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined in its conceptual schema. In this paper we propose a method to automatically determine the operations that may potentially violate an OCL integrity constraint in conceptual schemas defined in the UML. This is done by determining the structural events that may violate the constraint and checking whether those events appear in the operation specification. In this way, our method helps to improve efficiency of integrity checking since its results can be used to discard many irrelevant tests.
publishDate 2004
dc.date.none.fl_str_mv 2004
2004-07-01
2016
2016-12-09
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/97915
url https://hdl.handle.net/2117/97915
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869411802278789120
score 15.300724

Registos relacionados