Implementation of the CORAL Deductive Database System Implementation of the CORAL Deductive Database SystemRaghu Ramakrishnan Divesh SrivastavaUniv of Wisconsin Madison Univ of Wisconsin Madison yPraveen Seshadri S SudarshanAT T Bell Labs Murray Hill Univ of Wisconsin Madison