4НФ и многозначный зависимости

Question

Я получил это упражнение и хочу получить чей вход на моем ответ:

Учитывая отношение схему R = (A, B, C, D) и множество зависимостей F = (A -> BCD). Можем ли мы утверждать, что R находится в 4NF?

Моя первоначальная мысль заключалась в том, что мы не можем утверждать, что она находится в 4NF, поскольку 4NF больше интересуется многозначными зависимостями.

Тем не менее, ответ моих профессоров состоял в том, что мы можем фактически утверждать его в 4NF, потому что вам не даны многозначные зависимости, поэтому он находится в 4NF.

Может ли кто-нибудь указать мне на какую-либо литературу (книги, документы и т. Д.), Которые поддерживают его требование или мины? Я искал какое-то время, но не могу найти ничего существенного.

Answer 1

The Alice book Основы баз данных 1994.
Майера классический The Theory of Relational Databases 1983.
Fundamentals of Database Systems 6th Edition Elmasri, Shamkant Б. Navathe.
Simon Fraser University CS 4NF слайды.

НО

Учитывая отношение схемы R = (А, В, С, D) и множество зависимостей F = (А -> BCD).

Это две вещи. Они что-то связаны друг с другом? Вы, &, ваш профессор должен понять, что это такое. Определения не собираются решать это для вас. Если это был вопрос на экзамене или задании, то это неряшливо.

Помните, что «R в XNF» используется небрежно. Иногда мы имеем в виду, что R удовлетворяет XNF (и всем нижним). Иногда мы имеем в виду, что XNF - это наивысший NF, который удовлетворяет R.

A MVD соответствует двоичному JD. FD соответствует MVD, который многократно определяет набор с одним элементом. MVD/JD, присутствие которых нарушает BCNF, являются теми, которые не соответствуют FD.

Учитывая, что R и F, в общем случае нельзя сказать, что удовлетворяет наивысший уровень NF R. Нам также можно было бы дать R и номер 5. (Хотя R может иметь 0 или 1 столбец и, следовательно, быть в 5NF.)

Данные R и F плюс, что F представляет собой набор некоторых FDs, находящихся в R, вообще говоря, нельзя сказать, что удовлетворяет наивысший NF R. Другие FD или MVD/JD, которые не подразумеваются ими, могут храниться и в R. (Хотя опять же для конкретных комбинаций столбцов и FD, в том числе наличия достаточного количества FD для учета всех возможных MVD/JD, мы могли бы знать самый высокий NF, который удовлетворяет R).

Учитывая, что F является минимальной крышкой для FDs удерживая в R или что единственные FDs, удерживающие в R, - это те, которые подразумеваются F (т. е. в любом случае FDs, содержащиеся в R, являются таковыми в транзитивном замыкании F), нельзя вообще сказать, что удовлетворяет наивысший NF R. Другие MVDs/JD, которые не подразумеваются ими, могут иметь место и в R. Однако из FD можно сказать, что R удовлетворяет некоторым минимальным наивысшим NF независимо от других MVD/JD. (Который будет где-то между 1NF и BCNF.) Вот что будет BCNF. Если мы также знаем, что никакие MVDs/JDs не принадлежат тем, которые подразумеваются F, мы можем определить, что удовлетворяет наивысшая NF R. (Это увеличило бы BCNF от предыдущего случая до 5NF.) Здесь это будет 5NF.

Учитывая, что F является единственным нетривиальным FD-держателем в R, все доказуемо, так как если F верно, то {A-> B}, {A-> C}, {A-> D}, {A-> BC}, {A-> BD} и {A-> CD}, противоречие.

So: Что дается?

PS

Если вы не имеют определение, то вы несправедливы в требовании «4НФ больше касается многозначных зависимостей». И в любом случае «4NF больше заботится о многозначных зависимостях» не доказать ничего. Это только значит ничего.