Verification of data integration in an integrated system of databases on the properties of inorganic substances and materials
Due to the increasing heterogeneity of data models and schemas in the modern world, robust data integration is a high-priority issue. Data integration systems have been extensively deployed across various domains, including astronomy, land use management, and materials science. However, data integra...
Saved in:
| Main Author: | S. A. Stupnikov |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Kazan Federal University
2025-07-01
|
| Series: | Учёные записки Казанского университета: Серия Физико-математические науки |
| Subjects: | |
| Online Access: | https://uzakufismat.elpub.ru/jour/article/view/195 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Automatic C Program Verification Based on Mixed Axiomatic Semantics
by: I. V. Maryasov, et al.
Published: (2013-12-01) -
Towards a Coq-verified Chain of Esterel Semantics
by: Rieg, Lionel, et al.
Published: (2025-04-01) -
Automation of Formal Verification of Programs in the Pifagor Language
by: M. S. Ushakova, et al.
Published: (2015-08-01) -
MODEL OF SEMANTIC INTEGRATION OF INFORMATION SYSTEMS PROPERTIES IN RELAY DATABASE REENGINEERING PROBLEMS
by: Oleg Avrunin, et al.
Published: (2020-12-01) -
Formal Verification of Programs in Functional Dataflow Parallel Language
by: M. S. Kropacheva, et al.
Published: (2015-03-01)