Autor:
Rull, Guillem

Cargando...
Foto de perfil

E-mails conocidos

grull@essi.upc.edu

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Rull

Nombre de pila

Guillem

Nombre

Nombres alternativos

Afiliaciones conocidas

Universitat Politècnica de Catalunya

Páginas web conocidas

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

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Artículo
    TINTIN: comprobación incremental de aserciones SQL
    Oriol, Xavier; Teniente, Ernest; Rull, Guillem. Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016), 2016-09-13.
    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.