The Intensional events method for consistent view updating

An important amount of research has been devoted to consistent view updating. In this paper we propose a method that follows a new approach to deal with this problem. Our approach is aimed at obtaining intensional translations that satisfy a view update request, instead of obtaining extensional tran...

Descripción completa

Detalles Bibliográficos
Autores: Costal Costa, Dolors|||0000-0002-7340-0414, Teniente López, Ernest|||0000-0001-8890-9638, Urpí Tubella, Antoni|||0000-0002-5900-1492
Tipo de recurso: informe técnico
Fecha de publicación:1996
País:España
Institución: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/97259
Acceso en línea:https://hdl.handle.net/2117/97259
Access Level:acceso abierto
Palabra clave:Consistent view updating
Intensional events
Infinite domains
Intensional method
Àrees temàtiques de la UPC::Informàtica::Programació
id ES_76080bd04fc4a6fcaf8aaecf7a167df1
oai_identifier_str oai:upcommons.upc.edu:2117/97259
network_acronym_str ES
network_name_str España
repository_id_str
spelling The Intensional events method for consistent view updatingCostal Costa, Dolors|||0000-0002-7340-0414Teniente López, Ernest|||0000-0001-8890-9638Urpí Tubella, Antoni|||0000-0002-5900-1492Consistent view updatingIntensional eventsInfinite domainsIntensional methodÀrees temàtiques de la UPC::Informàtica::ProgramacióAn important amount of research has been devoted to consistent view updating. In this paper we propose a method that follows a new approach to deal with this problem. Our approach is aimed at obtaining intensional translations that satisfy a view update request, instead of obtaining extensional translations. Intuitively, our translations are intensional in the sense that they characterise multiple possible values for a set of base fact updates such that the request is satisfied when the updates are applied using these values. Each characterised set of updates constitutes an extensional translation. The main advantages of following this approach are to improve the meaningfulness of the translations to the users; to increase the efficiency of obtaining them; and to facilitate the treatment of infinite domains. We also show in the paper how our intensional method can be applied to database schema validation and we point out the advantages of using an intensional method in this case.19961996-07-0120162016-11-25reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/2117/97259reponame: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/972592026-05-27T15:37:01Z
dc.title.none.fl_str_mv The Intensional events method for consistent view updating
title The Intensional events method for consistent view updating
spellingShingle The Intensional events method for consistent view updating
Costal Costa, Dolors|||0000-0002-7340-0414
Consistent view updating
Intensional events
Infinite domains
Intensional method
Àrees temàtiques de la UPC::Informàtica::Programació
title_short The Intensional events method for consistent view updating
title_full The Intensional events method for consistent view updating
title_fullStr The Intensional events method for consistent view updating
title_full_unstemmed The Intensional events method for consistent view updating
title_sort The Intensional events method for consistent view updating
dc.creator.none.fl_str_mv Costal Costa, Dolors|||0000-0002-7340-0414
Teniente López, Ernest|||0000-0001-8890-9638
Urpí Tubella, Antoni|||0000-0002-5900-1492
author Costal Costa, Dolors|||0000-0002-7340-0414
author_facet Costal Costa, Dolors|||0000-0002-7340-0414
Teniente López, Ernest|||0000-0001-8890-9638
Urpí Tubella, Antoni|||0000-0002-5900-1492
author_role author
author2 Teniente López, Ernest|||0000-0001-8890-9638
Urpí Tubella, Antoni|||0000-0002-5900-1492
author2_role author
author
dc.subject.none.fl_str_mv Consistent view updating
Intensional events
Infinite domains
Intensional method
Àrees temàtiques de la UPC::Informàtica::Programació
topic Consistent view updating
Intensional events
Infinite domains
Intensional method
Àrees temàtiques de la UPC::Informàtica::Programació
description An important amount of research has been devoted to consistent view updating. In this paper we propose a method that follows a new approach to deal with this problem. Our approach is aimed at obtaining intensional translations that satisfy a view update request, instead of obtaining extensional translations. Intuitively, our translations are intensional in the sense that they characterise multiple possible values for a set of base fact updates such that the request is satisfied when the updates are applied using these values. Each characterised set of updates constitutes an extensional translation. The main advantages of following this approach are to improve the meaningfulness of the translations to the users; to increase the efficiency of obtaining them; and to facilitate the treatment of infinite domains. We also show in the paper how our intensional method can be applied to database schema validation and we point out the advantages of using an intensional method in this case.
publishDate 1996
dc.date.none.fl_str_mv 1996
1996-07-01
2016
2016-11-25
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/97259
url https://hdl.handle.net/2117/97259
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_ 1869411022601715712
score 15,228081

Similares en LA Referencia