Synthesis of extended transaction models using ACTA (1994)

by P Chrysanthis, K Ramamritham
Venue:ACM T. Database Syst