Towards dynamic schedule correctness for relational update transactions - Vossen, Gottfried 1955- (Fachberichte Informatik, 1990)