ROCK and ROLL: a deductive object-oriented database with active and spatial extensions | IEEE Conference Publication | IEEE Xplore