TINTIN: a Tool for Incremental INTegrity checking TINTIN és una eina per donar suport a les assercions SQL en bases de dades relacionals.
