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

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 verdadera...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Grosso, Alejandro, Turull Torres, José María
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2004
Materias:
Ciencias Informáticas
base de datos
SOFTWARE ENGINEERING
Teorías de modelos finitos
Preservación de teorías
Base de datos relacionales
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22328
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22328
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
base de datos
SOFTWARE ENGINEERING
Teorías de modelos finitos
Preservación de teorías
Base de datos relacionales
spellingShingle Ciencias Informáticas
base de datos
SOFTWARE ENGINEERING
Teorías de modelos finitos
Preservación de teorías
Base de datos relacionales
Grosso, Alejandro
Turull Torres, José María
Preservación de consultas expresables en fragmentos existenciales en bases de datos relacionales
topic_facet Ciencias Informáticas
base de datos
SOFTWARE ENGINEERING
Teorías de modelos finitos
Preservación de teorías
Base de datos relacionales
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.
format Objeto de conferencia
Objeto de conferencia
author Grosso, Alejandro
Turull Torres, José María
author_facet Grosso, Alejandro
Turull Torres, José María
author_sort Grosso, Alejandro
title Preservación de consultas expresables en fragmentos existenciales en bases 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
publishDate 2004
url http://sedici.unlp.edu.ar/handle/10915/22328
work_keys_str_mv AT grossoalejandro preservaciondeconsultasexpresablesenfragmentosexistencialesenbasesdedatosrelacionales
AT turulltorresjosemaria preservaciondeconsultasexpresablesenfragmentosexistencialesenbasesdedatosrelacionales
bdutipo_str Repositorios
_version_ 1764820465590730754

Ejemplares similares