DocumentCode
515377
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
fYear
2010
fDate
28-30 March 2010
Firstpage
1
Lastpage
10
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Informatics and Systems (INFOS), 2010 The 7th International Conference on
Conference_Location
Cairo
Print_ISBN
978-1-4244-5828-8
Type
conf
Filename
5461771
Link To Document