An implementation architecture for orthogonally persistent deductive object-oriented database systems | IEEE Conference Publication | IEEE Xplore