Тестирование зависимостей и правил вывода в базах данных | Sciact - Система учета научной деятельности ИМ СО РАН

Тестирование зависимостей и правил вывода в базах данных Научная публикация

Журнал

Моделирование и анализ информационных систем
ISSN: 1818-1015 , E-ISSN: 2313-5417

Вых. Данные

Год: 2022, Том: 29, Номер: 3, Страницы: 210-227 Страниц : 18 DOI: 10.18255/1818-1015-2022-3-210-227

Ключевые слова

реляционные базы данных; зависимости соединения; правила вывода; тестирование

Авторы

Зыкин Сергей Владимирович ¹

Организации

1	Институт математики им. С. Л. Соболева СО РАН Россия

Информация о финансировании (1)

Омский филиал ФГБУН «Институт математики им. С.Л. Соболева СО РАН».

FWNF-2022-0016

Процесс тестирования зависимостей и правил вывода может быть использован в двух направлениях. Во-первых, тестирование позволяет проверить гипотезы относительно неизвестных правил вывода. Основная цель, при этом, поиск реализации отношения – контрпримера, который удовлетворяет исходным зависимостям и противоречит следствию. Найденный контрпример опровергает гипотезу, отсутствие контрпримера позволяет приступить к поиску обобщения правила и условий его выполнимости (logically imply). Тестирование не может служить доказательством выполнимости правил вывода, поскольку процесс обобщения требует поиска универсальных условий выводимости для каждого правила, что невозможно запрограммировать, поскольку даже вид этих условий неизвестен. Во-вторых, при проектировании конкретной базы данных может потребоваться проверка выполнимости правила, для которого отсутствует теоретическое обоснование. Такая ситуация может проявиться при наличии аномалий в суперключе. Решение этой проблемы основывается на использовании правил вывода зависимостей соединения. Для этих зависимостей пока не найдена полная система правил (аксиом). В данной статье рассматривается: 1) методика проведения тестирования правил вывода на примере зависимостей соединения, 2) предложена схема алгоритма тестирования, 3) рассмотрены некоторые гипотезы, для которых отсутствуют контрпримеры и правила вывода, 4) предложен пример использования тестирования при поиске корректной декомпозиции суперключа.

Зыкин С.В.
Тестирование зависимостей и правил вывода в базах данных
Моделирование и анализ информационных систем. 2022. Т.29. №3. С.210-227. DOI: 10.18255/1818-1015-2022-3-210-227 РИНЦ OpenAlex

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

Поступила в редакцию:	30 июл. 2022 г.
Принята к публикации:	31 авг. 2022 г.
Опубликована в печати:	26 сент. 2022 г.
Опубликована online:	26 сент. 2022 г.

РИНЦ:	49448408
OpenAlex:	W4297147181

Пока нет цитирований