Overview of the ROL2 deductive object-oriented database system | IEEE Conference Publication | IEEE Xplore