Specification of the database behavior through the active object paradigm | IEEE Conference Publication | IEEE Xplore