Navegación

Búsqueda

Búsqueda avanzada

TINTIN: comprobación incremental de aserciones SQL

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.

Palabras Clave:

aserción, restricción de integridad, comprobación incremental, SQL

Autor(es):

Handle:

11705/JISBD/2016/036

Descargas:

Este artículo tiene una licencia de uso CreativeCommons Reconocimiento (by)

Descarga el artículo haciendo click aquí.