A Logging Technique Based on Transaction Types in Real-Time Databases. - Le Gruenwald; Shih Jen Cheng (RTDB, 1997)