как найти высшую нормальную форму для данного отношения

Я просмотрел Интернет и книги, и у меня все еще есть некоторые трудности с определением нормальной формы этого отношения.

R(a, b, c, d, e, f, g, h, i)
FDs =
B→G
BI→CD
EH→AG
G→DE

Пока у меня есть единственный ключ-кандидат - BHI (если я должен считать с F, то BFHI). Так как атрибут F вообще не используется. Полностью независимы от заданных FD.

  1. Что мне тогда делать с атрибутом F?
  2. Как определить высшую нормальную форму для реальности R?

relational-database functional-dependencies normalization
person John Smith    schedule 22.02.2012    source источник

Ответы (1)


arrow_upward
3
arrow_downward

Что мне тогда делать с атрибутом F?

Вы могли заметить тот факт, что единственная FD, в которой F упоминается, является тривиальной F->F. Это не упоминается явно именно потому, что это тривиально. Тем не менее, все аксиомы Армстронга одинаково хорошо применимы к тривиальным. Итак, вы можете использовать этот тривиальный, например. применяя аугментацию, перейти от B->G к BF->GF;

Как определить высшую нормальную форму отношения R?

сначала проверьте условие первой нормальной формы. Если выполняется, NF не меньше 1. Проверьте условие второй нормальной формы. Если выполняется, NF не меньше 2. Проверьте условие третьей нормальной формы. Если удовлетворено, NF равно как минимум трем.

Примечание :

"проверка условия первой нормальной формы" - это немного странная вещь в формальном процессе, потому что не существует такой вещи, как формальное определение этого условия, если только вы не пользуетесь Дейтом, но я почти не сомневаюсь, что ваш курс не следует этому определению.

Намекать :

Учитывая, что единственным ключом является BFHI, который является первым пунктом «ключ, весь ключ и ничего, кроме ключа», который нарушается, скажем, B->G ?

person Erwin Smout    schedule 24.02.2012
comment
Спасибо за очистку атрибута F для меня. У меня есть определения, но я не уверен, как использовать определения, чтобы определить, находится ли он в 2NF, BCNF и т. д. Скажем, что A является ключевым атрибутом в R для каждого нетривиального FD X - › Первичный атрибут AA, наоборот, является атрибутом, который действительно встречается в некотором ключе-кандидате. Из этого я получаю, что A, C, D, G не являются первичными атрибутами. Таким образом, это нарушает правила для 3NF и BCNF, поэтому может выполнять любой из них. X⊄K для некоторых ключей-кандидатов в R. Для этого FD EH -> AG Будет ли это означать, что поскольку X содержит H, а H находится в ключе c. Отношение во 2НФ? - person John Smith; 24.02.2012