ROL: a prototype for deductive object-oriented databases | IEEE Conference Publication | IEEE Xplore