|
Static dependency analysis for semantic data validation
[Статический анализ зависимостей для семантической валидации данных]
D. V. Ilyin, N. Yu. Fokina, V. A. Semenov Ivannikov Institute for Systems Programming of the RAS
Аннотация:
Современные информационные системы манипулируют моделями данных, содержащими миллионы объектов, и тенденция такова, что эти модели постоянно усложняются. Одним из важнейших аспектов современных параллельных инженерных сред является их надежность. Принципы ACID (атомарность, согласованность, изолированность, устойчивость) направлены на ее обеспечение, однако прямое следование им приводит к серьезному снижению производительности на крупномасштабных моделях, поскольку необходимо контролировать правильность каждой выполненной транзакции. В настоящей статье представлен метод инкрементальной валидации объектно-ориентированных данных. Предполагая, что транзакция применяется к первоначально согласованным данным, гарантируется, что окончательное представление данных также будет согласованным, если только будут выполнены локальные правила. Для определения объектов данных, подлежащих проверке, формируется двудольный граф зависимостей по данным. Для автоматического построения графа зависимостей предлагается применять статический анализ спецификаций модели. В случае сложных объектно-ориентированных моделей, включающих сотни и тысячи типов данных и семантических правил, статический анализ, по-видимому, является единственным способом реализации инкрементальной валидации и обеспечения возможности управления данными в соответствии с принципами ACID.
Ключевые слова:
информационные системы, ACID, управление целостностью данных, EXPRESS.
Образец цитирования:
D. V. Ilyin, N. Yu. Fokina, V. A. Semenov, “Static dependency analysis for semantic data validation”, Труды ИСП РАН, 30:3 (2018), 271–284
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp339 https://www.mathnet.ru/rus/tisp/v30/i3/p271
|
Статистика просмотров: |
Страница аннотации: | 135 | PDF полного текста: | 54 | Список литературы: | 23 |
|