Preservación de consultas expresables en fragmentos existenciales en bases de datos relacionales

Autores
Grosso, Alejandro; Turull Torres, José María
Año de publicación
2004
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
En el contexto de bases de datos, el concepto de preservacióon de teorí as en una cierta l ógica y entre dos estructuras relacionales A y B dadas, signi fica que el conjunto de consultas Booleanas que son expresables en dicha l ógica y que son verdaderas en la base de datos A tambi én son verdaderas en la base de datos B. As , por ejemplo ante el agregado de nuevos elementos a una base de datos es posible determinar si el conjunto de consultas Booleanas expresables en FOk(9) (y en la extensi ón in nitaria Lk 1;!(9)) se preserva. Existen juegos de fichas que caracterizan la preservacióon de teorí as para estas dos l ógicas, y es sabido que dicha preservaci ón puede determinarse en tiempo polinomial. En el presente trabajo mostramos una caracterización alternativa de la preservación de teorí as en FOk(9) (y en la extensi ón infi nitaria Lk 1;!(9)) mediante la realización de tipos de k-tuplas. Luego presentamos un algoritmo polinomial que permite determinar dicha preservación y en el que utilizamos nuestra ara teorización.
Eje: I - Workshop de Ingeniería de Software y Base de Datos
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
base de datos
SOFTWARE ENGINEERING
Teorías de modelos finitos
Preservación de teorías
Base de datos relacionales
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/22328
Acceder
id SEDICI_53fa9d7478cb2d5a103383edb639d034
oai_identifier_str oai:sedici.unlp.edu.ar:10915/22328
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Preservación de consultas expresables en fragmentos existenciales en bases de datos relacionalesGrosso, AlejandroTurull Torres, José MaríaCiencias Informáticasbase de datosSOFTWARE ENGINEERINGTeorías de modelos finitosPreservación de teoríasBase de datos relacionalesEn el contexto de bases de datos, el concepto de preservacióon de teorí as en una cierta l ógica y entre dos estructuras relacionales A y B dadas, signi fica que el conjunto de consultas Booleanas que son expresables en dicha l ógica y que son verdaderas en la base de datos A tambi én son verdaderas en la base de datos B. As , por ejemplo ante el agregado de nuevos elementos a una base de datos es posible determinar si el conjunto de consultas Booleanas expresables en FOk(9) (y en la extensi ón in nitaria Lk 1;!(9)) se preserva. Existen juegos de fichas que caracterizan la preservacióon de teorí as para estas dos l ógicas, y es sabido que dicha preservaci ón puede determinarse en tiempo polinomial. En el presente trabajo mostramos una caracterización alternativa de la preservación de teorí as en FOk(9) (y en la extensi ón infi nitaria Lk 1;!(9)) mediante la realización de tipos de k-tuplas. Luego presentamos un algoritmo polinomial que permite determinar dicha preservación y en el que utilizamos nuestra ara teorización.Eje: I - Workshop de Ingeniería de Software y Base de DatosRed de Universidades con Carreras en Informática (RedUNCI)2004info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/22328spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-15T10:47:38Zoai:sedici.unlp.edu.ar:10915/22328Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-15 10:47:38.268SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Preservación de consultas expresables en fragmentos existenciales en bases de datos relacionales
title Preservación de consultas expresables en fragmentos existenciales en bases de datos relacionales
spellingShingle Preservación de consultas expresables en fragmentos existenciales en bases de datos relacionales
Grosso, Alejandro
Ciencias Informáticas
base de datos
SOFTWARE ENGINEERING
Teorías de modelos finitos
Preservación de teorías
Base de datos relacionales
title_short Preservación de consultas expresables en fragmentos existenciales en bases de datos relacionales
title_full Preservación de consultas expresables en fragmentos existenciales en bases de datos relacionales
title_fullStr Preservación de consultas expresables en fragmentos existenciales en bases de datos relacionales
title_full_unstemmed Preservación de consultas expresables en fragmentos existenciales en bases de datos relacionales
title_sort Preservación de consultas expresables en fragmentos existenciales en bases de datos relacionales
dc.creator.none.fl_str_mv Grosso, Alejandro
Turull Torres, José María
author Grosso, Alejandro
author_facet Grosso, Alejandro
Turull Torres, José María
author_role author
author2 Turull Torres, José María
author2_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
base de datos
SOFTWARE ENGINEERING
Teorías de modelos finitos
Preservación de teorías
Base de datos relacionales
topic Ciencias Informáticas
base de datos
SOFTWARE ENGINEERING
Teorías de modelos finitos
Preservación de teorías
Base de datos relacionales
dc.description.none.fl_txt_mv En el contexto de bases de datos, el concepto de preservacióon de teorí as en una cierta l ógica y entre dos estructuras relacionales A y B dadas, signi fica que el conjunto de consultas Booleanas que son expresables en dicha l ógica y que son verdaderas en la base de datos A tambi én son verdaderas en la base de datos B. As , por ejemplo ante el agregado de nuevos elementos a una base de datos es posible determinar si el conjunto de consultas Booleanas expresables en FOk(9) (y en la extensi ón in nitaria Lk 1;!(9)) se preserva. Existen juegos de fichas que caracterizan la preservacióon de teorí as para estas dos l ógicas, y es sabido que dicha preservaci ón puede determinarse en tiempo polinomial. En el presente trabajo mostramos una caracterización alternativa de la preservación de teorí as en FOk(9) (y en la extensi ón infi nitaria Lk 1;!(9)) mediante la realización de tipos de k-tuplas. Luego presentamos un algoritmo polinomial que permite determinar dicha preservación y en el que utilizamos nuestra ara teorización.
Eje: I - Workshop de Ingeniería de Software y Base de Datos
Red de Universidades con Carreras en Informática (RedUNCI)
description En el contexto de bases de datos, el concepto de preservacióon de teorí as en una cierta l ógica y entre dos estructuras relacionales A y B dadas, signi fica que el conjunto de consultas Booleanas que son expresables en dicha l ógica y que son verdaderas en la base de datos A tambi én son verdaderas en la base de datos B. As , por ejemplo ante el agregado de nuevos elementos a una base de datos es posible determinar si el conjunto de consultas Booleanas expresables en FOk(9) (y en la extensi ón in nitaria Lk 1;!(9)) se preserva. Existen juegos de fichas que caracterizan la preservacióon de teorí as para estas dos l ógicas, y es sabido que dicha preservaci ón puede determinarse en tiempo polinomial. En el presente trabajo mostramos una caracterización alternativa de la preservación de teorí as en FOk(9) (y en la extensi ón infi nitaria Lk 1;!(9)) mediante la realización de tipos de k-tuplas. Luego presentamos un algoritmo polinomial que permite determinar dicha preservación y en el que utilizamos nuestra ara teorización.
publishDate 2004
dc.date.none.fl_str_mv 2004
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/22328
url http://sedici.unlp.edu.ar/handle/10915/22328
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846063902418272256
score 13.22299

Publicaciones similares