Mostra el registre d'ítem simple
TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server
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 | 2016-05-10T12:24:31Z |
dc.date.available | 2016-05-10T12:24:31Z |
dc.date.issued | 2016 |
dc.identifier.citation | Oriol, 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.isbn | 978-3-89318-070-7 |
dc.identifier.uri | http://hdl.handle.net/2117/86871 |
dc.description.abstract | We 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.extent | 4 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació::Bases de dades |
dc.subject.lcsh | SQL (Computer program language) |
dc.subject.other | Integrity checking |
dc.subject.other | SQL |
dc.subject.other | Assertions |
dc.title | TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server |
dc.type | Conference lecture |
dc.subject.lemac | SQL (Llenguatge de programació) |
dc.contributor.group | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
dc.identifier.doi | 10.5441/002/edbt.2016.66 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://openproceedings.org/2016/conf/edbt/paper-274.pdf |
dc.rights.access | Open Access |
local.identifier.drac | 17656814 |
dc.description.version | Postprint (published version) |
local.citation.author | Oriol, X.; Teniente, E.; Rull, G. |
local.citation.contributor | International Conference on Extending Database Technology |
local.citation.pubplace | Bordeus |
local.citation.publicationName | Advances in Database Technology - EDBT 2016, 19th International Conference on Extending Database Technology, Bordeaux, France, March 15-16, Proceedings |
local.citation.startingPage | 632 |
local.citation.endingPage | 635 |