A rule-based language for deductive object-oriented databases | IEEE Conference Publication | IEEE Xplore