The design and implementation of persistent transactions in an object database system