Raju Halder, Agostino Cortesi. Abstract Interpretation for sound approximation of database query languages. In Proceedings of the 7th International Conference on Informatics and Systems (INFOS 2010) , Cairo, Egypt, March 28 - 30, 2010. IEEE Press, 2010. [doi]
In this paper we extend the Abstract Interpretation framework to the field of query languages for relational databases as a way to support sound approximation techniques. This way, the semantics of query languages can be tuned according to suitable abstractions of the concrete domain of data.