TY - CONF T1 - Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation T2 - VLDB Y1 - 1993 A1 - Giuseppe Amato A1 - Fosca Giannotti A1 - Gianni Mainetto JF - VLDB ER -