TY - CONF T1 - Static Analysis of Transactions for Conservative Multigranularity Locking T2 - DBPL Y1 - 1997 A1 - Giuseppe Amato A1 - Fosca Giannotti A1 - Gianni Mainetto JF - DBPL ER -