Отображение графовой модели данных в каноническую объекто-фреймовую информационную модель при создании систем интеграции неоднородных информационных ресурсовстатья
Дата последнего поиска статьи во внешних источниках: 12 июля 2017 г.
Аннотация:In the paper a mapping of an attributed graph data model into an object-frame canonical information model used for virtual or materialized database integration is presented. An aim of the work is developing of a sound theoretical basis for the integration of graph-based resources. A verification of the mapping using a formal specification language and a specific theorem prover is provided.