|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Formal semantics and verification of entity resolution and data fusion operationsстатья
- Автор: Stupnikov Sergey
- Сборник: Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016)
- Серия: CEUR Workshop Proceedings (CEUR-WS.org)
- Том: 1752
- Год издания: 2016
- Место издания: CEUR-WS.org
- Первая страница: 159
- Последняя страница: 167
- Аннотация: During all the period of development of methods and tools for data integration the issues of their formal verification were arising. Three levels of integration can be distinguished: data model integration, schema matching and integration, and proper data integration. This work proposes an approach for definition of formal semantics for high-level data integration programs. The semantics is defined using a specification language supported by formal provers. The semantics is applied for verification of structured data integration workflows. Workflow properties to be verified are presented as expressions of the specification language chosen. After that a semantic specification of the data integration workflow is verified w.r.t. required properties. A practical aim of the work is to define a basis for formal verification of data integration workflows during problem solving in various integration environments.
- Добавил в систему: Ступников Сергей Александрович