Abstract
Within the frame of an approach to information integration an extensible canonical model is created. A principle of kernel extension of canonical model is proposed. In order to create the justifiable data model mapping for heterogeneous databases integration, concept of data model has been formalized by means of the AMN (Abstract Machine Notation) formalism. For each source model we create a reversible mapping into an extension of the canonical model. The Btechnology is used to prove that the AMN semantics of the source model represents a refinement of the AMN semantics of the extended canonical model. Hereby, the correctness of mapping and the ability to use extended canonical model for representation of the source model schemas are proved. AMN-machines for the canonical and relational data models and relational refinement of the canonical model have been created.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
