A General procedure to test conjunctive query containment
Use este enlace para citar
http://hdl.handle.net/2183/1200Colecciones
- Teses de doutoramento [2154]
Metadatos
Mostrar el registro completo del ítemTítulo
A General procedure to test conjunctive query containmentAutor(es)
Directores
Brisaboa, Nieves R.Fecha
2001Centro/Dpto/Entidad
Universidade da Coruña. Departamento de ComputaciónResumen
Resumo
En esta tesis se presenta un procedimiento sintáctico que permite comprobar si una consulta Q esta incluida en otra consulta Q', Para ello se consideran los dos siguientes factores.
La presencia de predicados builtin en las consultas: son predicados son significado, tales como =, <, etc. Si una consulta puede tener predicados de este tipo decimos que es una consulta con desigualdades, en otro caso una consulta con igualdades.
La semátnica utilizada puede ser de conjuntos (sin duplicados de tuplas en las relaciones) o de bolsas (con duplicados).
Teniendo en cuenta estos dos factores, en esta tesise se estudia el problema de la inclusión bajo cuatro puntos de vista:
- Inclusión de consultas con igualdades bajo la semántica de conjuntos.
- Inclusión de consultas con igualdades bajo la semántica de conjuntos.
- Inclusión de consultas con desigualdades bajo la semántica de bolsas.
- Inclusión de consultas con desigualdades bajo la semántica de bolsas.
El procedimiento prestado en esta tesis es homogéneo para comprobar la inclusión bajo estos cuatro puntos de vista, y consta de tres pasos:
1,- Construir el conjunto de bases de datos canónicas a partir de Q.
2,- Aplicar Q y Q' sobre todas las bases de datos canónicas.
3,- Comprobar la inclusión solamente en las bases de datos canónicas.
Palabras clave
Lenguajes de programación
ISBN
978-84-692-8883-2