TINTIN : comprobación incremental de aserciones SQL

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/103291

Title:	TINTIN : comprobación incremental de aserciones SQL
Author:	Oriol Hilari, Xavier; Teniente López, Ernest; Rull, Guillem
Other authors:	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
Subject(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ó)
Rights:	Attribution 3.0 Spain http://creativecommons.org/licenses/by/3.0/es/
Document type:	Article - Published version Conference Object
Share: