Show simple item record

dc.contributor.authorOriol Hilari, Xavier
dc.contributor.authorTeniente López, Ernest
dc.contributor.authorRull, Guillem
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2016-05-10T12:24:31Z
dc.date.available2016-05-10T12:24:31Z
dc.date.issued2016
dc.identifier.citationOriol, X., Teniente, E., Rull, G. TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server. A: International Conference on Extending Database Technology. "Advances in Database Technology - EDBT 2016, 19th International Conference on Extending Database Technology, Bordeaux, France, March 15-16, Proceedings". Bordeus: 2016, p. 632-635.
dc.identifier.isbn978-3-89318-070-7
dc.identifier.urihttp://hdl.handle.net/2117/86871
dc.description.abstractWe present TINTIN, a tool to perform efficient integrity checking of SQL assertions in SQL Server. TINTIN rewrites each assertion into a set of standard SQL queries that, given a set of insertions and deletions of tuples, allow to incrementally compute whether this update violates the assertion or not. If one of such queries returns a non empty answer, then the assertion is violated. Efficiency is achieved by evaluating only those data and those assertions that can actually be violated according to the update. TINTIN is aimed at two different purposes. First, to show the feasibility of our approach by implementing it on a commercial relational DBMS. Second, to illustrate that the efficiency we achieve is good enough for making assertions to be used in practice.
dc.format.extent4 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació::Bases de dades
dc.subject.lcshSQL (Computer program language)
dc.subject.otherIntegrity checking
dc.subject.otherSQL
dc.subject.otherAssertions
dc.titleTINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server
dc.typeConference lecture
dc.subject.lemacSQL (Llenguatge de programació)
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.identifier.doi10.5441/002/edbt.2016.66
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://openproceedings.org/2016/conf/edbt/paper-274.pdf
dc.rights.accessOpen Access
local.identifier.drac17656814
dc.description.versionPostprint (published version)
local.citation.authorOriol, X.; Teniente, E.; Rull, G.
local.citation.contributorInternational Conference on Extending Database Technology
local.citation.pubplaceBordeus
local.citation.publicationNameAdvances in Database Technology - EDBT 2016, 19th International Conference on Extending Database Technology, Bordeaux, France, March 15-16, Proceedings
local.citation.startingPage632
local.citation.endingPage635


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder