Canonical Model

Autor:	Manuk G. Manukyan
Rok vydání:	2014
Předmět:	Correctness Theoretical computer science Relational database Computer science Canonical S-expressions Canonical model Canonical form Notation Abstract machine Information integration
Zdroj:	iiWAS
DOI:	10.1145/2684200.2684278
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4beafe3b0cd90f93eaae0d251d0d2f9a https://doi.org/10.1145/2684200.2684278 Zobrazit plný text záznamu