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

Xavier Oriol, Ernest Teniente, Guillem Rull

Browse the full EDBT paper archive.