Updates and Non-determinism in Object-oriented Databases