|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Отображение графовой модели данных в каноническую объекто-фреймовую информационную модель при создании систем интеграции неоднородных информационных ресурсовстатья
- Автор: Stupnikov S.
- Сборник: Selected Papers of the 15th All-Russian Scientific Conference "Digital Libraries: Advanced Methods and Technologies, Digital Collections"
- Серия: CEUR Workshop Proceedings (CEUR-WS.org)
- Том: 1108
- Год издания: 2013
- Место издания: ceur-ws.org
- Первая страница: 85
- Последняя страница: 94
- Аннотация: 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.
- Добавил в систему: Ступников Сергей Александрович