Тестирование зависимостей и правил вывода в базах данных Full article
| Journal |
Моделирование и анализ информационных систем
ISSN: 1818-1015 , E-ISSN: 2313-5417 |
||
|---|---|---|---|
| Output data | Year: 2022, Volume: 29, Number: 3, Pages: 210-227 Pages count : 18 DOI: 10.18255/1818-1015-2022-3-210-227 | ||
| Tags | реляционные базы данных; зависимости соединения; правила вывода; тестирование | ||
| Authors |
|
||
| Affiliations |
|
Funding (1)
| 1 | Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН». | FWNF-2022-0016 |
Abstract:
Процесс тестирования зависимостей и правил вывода может быть использован в двух направлениях. Во-первых, тестирование позволяет проверить гипотезы относительно неизвестных правил вывода. Основная цель, при этом, поиск реализации отношения – контрпримера, который удовлетворяет исходным зависимостям и противоречит следствию. Найденный контрпример опровергает гипотезу, отсутствие контрпримера позволяет приступить к поиску обобщения правила и условий его выполнимости (logically imply). Тестирование не может служить доказательством выполнимости правил вывода, поскольку процесс обобщения требует поиска универсальных условий выводимости для каждого правила, что невозможно запрограммировать, поскольку даже вид этих условий неизвестен. Во-вторых, при проектировании конкретной базы данных может потребоваться проверка выполнимости правила, для которого отсутствует теоретическое обоснование. Такая ситуация может проявиться при наличии аномалий в суперключе. Решение этой проблемы основывается на использовании правил вывода зависимостей соединения. Для этих зависимостей пока не найдена полная система правил (аксиом). В данной статье рассматривается: 1) методика проведения тестирования правил вывода на примере зависимостей соединения, 2) предложена схема алгоритма тестирования, 3) рассмотрены некоторые гипотезы, для которых отсутствуют контрпримеры и правила вывода, 4) предложен пример использования тестирования при поиске корректной декомпозиции суперключа.
Cite:
Зыкин С.В.
Тестирование зависимостей и правил вывода в базах данных
Моделирование и анализ информационных систем. 2022. Т.29. №3. С.210-227. DOI: 10.18255/1818-1015-2022-3-210-227 РИНЦ OpenAlex
Тестирование зависимостей и правил вывода в базах данных
Моделирование и анализ информационных систем. 2022. Т.29. №3. С.210-227. DOI: 10.18255/1818-1015-2022-3-210-227 РИНЦ OpenAlex
Translated:
Zykin S.V.
Testing Dependencies and Inference Rules in Databases
Automatic Control and Computer Sciences. 2023. V.57. N7. P.788-802. DOI: 10.3103/S0146411623070179 WOS Scopus РИНЦ OpenAlex
Testing Dependencies and Inference Rules in Databases
Automatic Control and Computer Sciences. 2023. V.57. N7. P.788-802. DOI: 10.3103/S0146411623070179 WOS Scopus РИНЦ OpenAlex
Dates:
| Submitted: | Jul 30, 2022 |
| Accepted: | Aug 31, 2022 |
| Published print: | Sep 26, 2022 |
| Published online: | Sep 26, 2022 |
Identifiers:
| Elibrary: | 49448408 |
| OpenAlex: | W4297147181 |
Citing:
Пока нет цитирований