Формальная семантика языка разрешения сущностей и слияния данных и ее применение для верификации потоков работ интеграции данных (Formal Semantics of a Languge for Entity Resolution and Data Fusion and its Application for Verification of Data Integration Workflows).
Sergey A. StupnikovPublished in: DAMDID/RCDL (2016)
Keyphrases
- entity resolution
- formal semantics
- data fusion
- data integration
- data cleaning
- multi source
- data model
- databases
- data management
- data exchange
- data sources
- data warehouse
- data processing
- first order logic
- schema mappings
- modeling language
- query answering
- data extraction
- data warehousing
- business processes
- business intelligence
- database systems
- record linkage
- database schema
- theorem prover
- linked data
- semantic web
- database management systems