TINTIN : comprobación incremental de aserciones SQL

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/103291

Título:	TINTIN : comprobación incremental de aserciones SQL
Autor/a:	Oriol Hilari, Xavier; Teniente López, Ernest; Rull, Guillem
Otros autores:	Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació; Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
Abstract:	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.
Abstract:	Peer Reviewed
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Enginyeria del software -SQL (Computer program language) -aserción -restricción de integridad -comprobación incremental -SQL -SQL (Llenguatge de programació)
Derechos:	Attribution 3.0 Spain http://creativecommons.org/licenses/by/3.0/es/
Tipo de documento:	Artículo - Versión publicada Objeto de conferencia
Compartir: