G.  Amato, Giannotti, F., and Mainetto, G., ?Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation?, in VLDB, 1993, pp. 405-415.