Integrity Constraint Verification of Structured Query Language by Abstract Interpretation

Over the decades and now-a-days the data-driven applications are playing a pivotal role in every aspect of our daily lives by providing an easy interface to store, access and process crucial data with the help of Database Management System (DBMS). However, it is always necessary to ensure the data integrity for every operation on a database. In this paper, we propose a novel framework for Structured Query Language (SQL), aiming at automatically and formally verifying integrity constraints in terms of enterprise policy specifications on data in the underlying database. To this aim, we extend the abstract interpretation theory to the case of structured query languages.