TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server
Visualitza/Obre
Cita com:
hdl:2117/86871
Tipus de documentComunicació de congrés
Data publicació2016
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
Citació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.
ISBN978-3-89318-070-7
Versió de l'editorhttp://openproceedings.org/2016/conf/edbt/paper-274.pdf
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
edbt2016.pdf | 259,9Kb | Visualitza/Obre |