In particular, the *Abstract interpretation framework has been extended to the field of query languages for relational databases as a way to support sound approximation techniques.
What do query languages support in abstract interpretation frameworks?
sound approximation techniques