Tak-Wai Chan Wen-Chong Wang DARET: A Logic-Based Language in Object-Oriented Databases. 28-35 1993 conf/seke/1993 SEKE db/conf/seke/seke1993.html#ChanW93