Debido al alto tráfico generado por robots, aplicamos límites en el número de peticiones permitidas por cliente y bloqueos por IP automáticos. Si haces un uso legítimo y estás teniendo problemas, avísanos para reevaluar nuestras políticas de bloqueo. Disculpa las molestias.

Artículo:
TINTIN: comprobación incremental de aserciones SQL

Miniatura

Archivos

11705-JISBD-2016-036.pdf (215.59 KB)

Fecha

2016-09-13

Autores

Editor

Sistedes

Publicado en

Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016)

Licencia Creative Commons

CC BY 4.0
CC BY 4.0

Resumen

Ninguno de los SGBD más populares del momento implementa aserciones SQL, obligando así a implementar manualmente su comprobación. Por ello, presentamos TINTIN: una aplicación que genera automáticamente el código SQL para comprobar aserciones. Dicho código captura las tuplas insertadas/borradas en una transacción, comprueba que ninguna de ellas viole ninguna aserción mediante consultas SQL, y materializa los cambios en caso que sean satisfechas. La eficiencia del código se basa en la comprobación incremental de las aserciones.

Descripción

Acerca de Oriol, Xavier

Palabras clave

Enlace permanente

https://hdl.handle.net/11705/JISBD/2016/036

Colecciones

JISBD 2016 (Salamanca) • Gestión de Datos

Citación

Texto planoBibTeX

Oriol, X., Teniente, E., Rull, G.: TINTIN: comprobación incremental de aserciones SQL. In: García Molina, J. (ed.) Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016). Sistedes (2016). https://hdl.handle.net/11705/JISBD/2016/036

Página completa del ítem
Notificar un error en este artículo