Axiomatization of dynamic schema evolution in object bases | IEEE Conference Publication | IEEE Xplore