TINTIN

TINTIN (una herramienta para la comprobación de integridad de las aserciones en SQL Server) es una herramienta para generar, automáticamente, el código necesario para verificar las aserciones de SQL. La herramienta es fácil de usar. El usuario solo tiene que insertar en TINTIN los parámetros para conectarse a la base de datos y las afirmaciones que desea hacer cumplir. Desde este punto en adelante, el usuario solo tiene que ejecutar el procedimiento safeCommit al final de cada transacción para asegurarse de que solo se ejecutará si no se viola ninguna de las afirmaciones. Si hay una violación, safeCommit informa al usuario de qué tuplas violan qué aserciones.

​

Internamente, TINTIN implementa un método para verificar incrementalmente las restricciones de integridad. Un método de verificación de restricción de integridad incremental solo verifica las restricciones para los datos involucrados en una inserción / eliminación de tuplas, y solo para aquellas restricciones que la inserción / eliminación puede violar. Los métodos incrementales para la verificación de restricciones de integridad garantizan tiempos de ejecución considerablemente mejores que los métodos no incrementales. Esto se debe al hecho de que el número de tuplas insertadas / eliminadas suele ser mucho menor que el número total de tuplas en el sistema de información.

Puedes encontrar más información y descargar la herramienta desde http://www.essi.upc.edu/~xoriol/tintin/.