An approach to information integration based on the AMN formalism

author: Manuk Manukyan, Yerevan State University
published: Dec. 3, 2012,   recorded: November 2012,   views: 4172


Related Open Educational Resources

Related content

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.
Lecture popularity: You need to login to cast your vote.


An original approach to integrate information is considered. In the frame of this approach an extensible canonical model is created which is based on the algebraic model of an advanced XML data model. We consider the canonical model as an intermediate model for creating our mediator and this model has been formalized by means of the Abstract Machine Notation (AMN). For each source model we formalize it by means of the AMN and create a reversible mapping into an extension of the canonical model. After this B-technology 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 schemas of the source model are proved. Finally, in order to illustrate our approach a mapping from relational data model to canonical model has been created.

See Also:

Download slides icon Download slides: iswc2012_manukyan_amn_formalism_01.pdf (444.0┬áKB)

Help icon Streaming Video Help

Link this page

Would you like to put a link to this lecture on your homepage?
Go ahead! Copy the HTML snippet !

Write your own review or comment:

make sure you have javascript enabled or clear this field: