TINTIN: A Tool for INcremental INTegrity checking

A tool for efficiently implementing business rules validation, in any database system, to ensure the quality of the data. Nowadays, data is gaining more importance than ever. For instance, data is driving the decisions of the business world (Business Intelligence), it is capturing the production state of the Industry (Industry 4.0), it is essential for automatizing administration (digital administration), and it is the key for new trends affecting our lives (from Smart mobility, to digital Healthcare). Still, ensuring the quality of the data is a manual process. That is, engineers from all the previous domains, in order to guarantee whether their data complies with any business rules, must spend time and dedication to manually creating validation processes for such rules. This is a time-consuming and error prone task that is increasing the costs of producing any software, when not compromising its quality, over the whole world, affecting, among others, all the previous cited sectors. Users write the business rules to validate into TINTIN TINTIN is a tool for automatically ensuring the quality of the data, by means of efficiently checking that it complies with the required business rules, without programmatic efforts. On the one hand, TINTIN creates a code that captures user updates. On the other, it rewrites the business rules into queries that join the captured updates. In this way, TINTIN builds incremental queries: that is, queries that only take into account the last update applied to check whether some business rule has been violated. This incremental capability is the key for ensuring the efficiency of TINTIN.