Title: Using abstraction to synchronise transactions in object bases