Нормальная форма абстрактной реляционной схемы
Я задаюсь вопросом об этих экзаменационных вопросах по реляционной базе данных нормальных форм. Мне кажется, что первый должен быть 3NF, а второй 2NF (т.е. ответ на первый должен быть неправильным).
Вопрос 9. [...]
C int, D int NOT NULL, UNIQUE (B,C)[...]
Я считаю, что поскольку C уникален, он также является ключом-кандидатом и, следовательно, основным атрибутом. Кроме того, это, следовательно, также суперключ, что соответствует описанию 3NF.
Определение для 3NF: схема отношений R находится в третьей нормальной форме (3NF), если всякий раз, когда нетривиальная функциональная зависимость X → A сохраняется в R, либо (a) X является суперключем R, либо (b) A является простым атрибутом Р.
1 ответ
Первый вопрос не говорит о том, что C уникален, он говорит "УНИКАЛЬНО (B,C)", что означает, что значения (B, C) в подстроке уникальны в таблице.
D не NULL, так что предположительно B & C, возможно, NULL. Но реляционная теория не имеет NULL. Так что не ясно, что вы или ваш курс / учебник даже подразумеваете под {C} определяющим фактором. Или с помощью "FD" (функциональная зависимость), "superkey", "CK" (ключ-кандидат), "PK" (первичный ключ), любого из "NF" (нормальных форм) или любых других реляционных терминов. Также в SQL PRIMARY KEY фактически означает UNIQUE NOT NULL, а UNIQUE использует 3VL, поэтому ни один из этих терминов не имеет своего реляционного значения. Так что вы должны сказать нам или дать ссылку. (Хотя, вероятно, это не решает проблему, так что тестирование и использование этих слов для таблиц SQL, которые могут иметь значение NULL, просто бессмыслица.)
В любом случае, если {C} был уникальным и NULL не был задействован, "поскольку C уникален, это также ключ-кандидат", то это не так. Это только CK, если {} нет, т.е. если таблица не ограничена максимум одной строкой.
Кроме того, то, что некоторые нетривиальные FD, удовлетворяющие условиям (a) или (b), не означают, что они все выполняют, значит, ваше рассуждение о 3NF неверно.