Data integration in the RODIN multidatabase system

The problems of object identification and data integration in heterogeneous multidatabase systems are addressed. The requirement that object identity be an equivalence relation often is not considered, and is shown to require evaluation of recursive queries against external schemas when translating even simple queries against integrated schemas. Data integration facilities which enforce the properties of object identity being an equivalence relation are presented, including techniques for translation of queries of the integrated data.