Loading...
Loading...

Go to the content (press return)

TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server

Author
Oriol, X.; Teniente, E.; Rull, G.
Type of activity
Presentation of work at congresses
Name of edition
19th International Conference on Extending Database Technology
Date of publication
2016
Presentation's date
2016-03-17
Book of congress proceedings
Advances in Database Technology - EDBT 2016: 19th International Conference on Extending Database Technology: Bordeaux, France, March 15-16: proceedings
First page
632
Last page
635
DOI
10.5441/002/edbt.2016.66
Project funding
Modelització i Processament de la Informació (MPI)
Specification, verification and simulation of models for the servititation process of the ITIT
Repository
http://hdl.handle.net/2117/86871 Open in new window
URL
http://openproceedings.org/2016/conf/edbt/paper-274.pdf Open in new window
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...
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.
Keywords
Assertions, Integrity checking, SQL
Group of research
IMP - Information Modelling and Processing
inLab FIB

Participants

Attachments