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

Cite: Зыкин С.В.
Моделирование зависимостей соединения при формировании схемы базы данных
XIII МЕЖДУНАРОДНАЯ МОЛОДЕЖНАЯ НАУЧНО-ПРАКТИЧЕСКАЯ КОНФЕРЕНЦИЯ С ЭЛЕМЕНТАМИ НАУЧНОЙ ШКОЛЫ "ПРИКЛАДНАЯ МАТЕМАТИКА И ФУНДАМЕНТАЛЬНАЯ ИНФОРМАТИКА" 15-20 мая 2023