| dc.contributor.author | Oriol Hilari, Xavier |
| dc.contributor.author | Teniente López, Ernest |
| dc.contributor.author | Rull, Guillem |
| dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
| dc.date.accessioned | 2017-04-04T13:09:49Z |
| dc.date.available | 2017-04-04T13:09:49Z |
| dc.date.issued | 2016 |
| dc.identifier.citation | Oriol, X., Teniente, E., Rull, G. TINTIN : comprobación incremental de aserciones SQL. A: Jornadas de Ingeniería del Software y Bases de Datos. "Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016)". Salamanca: 2016, p. 1-4. |
| dc.identifier.uri | http://hdl.handle.net/2117/103291 |
| dc.description.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. |
| dc.format.extent | 4 p. |
| dc.language.iso | spa |
| dc.rights | Attribution 3.0 Spain |
| dc.rights.uri | http://creativecommons.org/licenses/by/3.0/es/ |
| dc.subject | Àrees temàtiques de la UPC::Informàtica::Enginyeria del software |
| dc.subject.lcsh | SQL (Computer program language) |
| dc.subject.other | aserción |
| dc.subject.other | restricción de integridad |
| dc.subject.other | comprobación incremental |
| dc.subject.other | SQL |
| dc.title | TINTIN : comprobación incremental de aserciones SQL |
| dc.type | Conference report |
| dc.subject.lemac | SQL (Llenguatge de programació) |
| dc.contributor.group | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
| dc.description.peerreviewed | Peer Reviewed |
| dc.relation.publisherversion | http://biblioteca.sistedes.es/articulo/tintin-comprobacion-incremental-de-aserciones-sql/ |
| dc.rights.access | Open Access |
| local.identifier.drac | 19103331 |
| dc.description.version | Postprint (published version) |
| local.citation.author | Oriol, X.; Teniente, E.; Rull, G. |
| local.citation.contributor | Jornadas de Ingeniería del Software y Bases de Datos |
| local.citation.pubplace | Salamanca |
| local.citation.publicationName | Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016) |
| local.citation.startingPage | 1 |
| local.citation.endingPage | 4 |
