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

View/Open
Document typeConference lecture
Defense date2016
Rights accessOpen Access
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.
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.
ISBN978-3-89318-070-7
Publisher versionhttp://openproceedings.org/2016/conf/edbt/paper-274.pdf
Files | Description | Size | Format | View |
---|---|---|---|---|
edbt2016.pdf | 259,9Kb | View/Open |
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