Agostino Cortesi, Raju Halder. An Abstract Interpretation Framework for Structured Query Languages. In Proceedings of the 21st Nordic Workshop on Programming Theory (NWPT'09). DTU Informatics, Lyngby, Denmark, 14-16 October 2009. [doi]
In this work we introduce an Abstract Interpretation framework for database query languages. This theoretical work extends a provably sound approach of static analysis to the field of query languages for relational databases. More generally, the semantics of query languages can be tuned according to suitable abstractions of the concrete domain of data.