Title :
Abstract Interpretation for sound approximation of database query languages
Author :
Halder, Raju ; Cortesi, Agostino
Author_Institution :
Dipt. di Inf., Univ. Ca´´ Foscari di Venezia, Venezia, Italy
Abstract :
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.
Keywords :
program diagnostics; query languages; relational databases; abstract interpretation framework; database query languages; program analysis; relational databases; sound approximation techniques; Airports; Concrete; Data analysis; Database languages; Finance; Financial management; Personnel; Query processing; Relational databases; Transaction databases; Abstract Interpretation; Databases; Program Analysis;
Conference_Titel :
Informatics and Systems (INFOS), 2010 The 7th International Conference on
Conference_Location :
Cairo
Print_ISBN :
978-1-4244-5828-8
