02

Дана переменная-отношение R(A, B, C, D, E, F, G), для которой выполняется множество функциональных зависимостей S={AB–>C, CD–>E, EF–>G, FG–>E, DE–>C, BC–>A}. Будут ли группы атрибутов BDF, ACDF, ABDFG, BDFG потенциальными ключами для R? Ответ пояснить.

S =
{
	AB–>C,
	CD–>E,
	EF–>G,
	FG–>E,
	DE–>C,
	BC–>A
}

Атрибуты, встречающиеся только в левой части: B,D,F (входят во все потенциальные ключи). Если в группе атрибутов нет данных атрибутов, то их никак нельзя вывести и значит замыкание не даст нам полный набор, а это значит, что данная группа не является потенциальным ключом. По этой причине можно сразу отбросить ACDF. (Но мы проверим ниже их все.)

{B,D,F}+ = {B,D,F} - не является потенциальным ключом, т.к. это не полный набор нашей схемы.

{A,C,D,F}+ = {A,C,D,F,E,G} - не является потенциальным ключом, т.к. это не полный набор нашей схемы.

{A,B,D,F,G}+ = {A,B,D,F,G,C,E} - супер ключ.

{B,D,F,G}+ = {B,D,F,G,E,C,A} - потенциальный ключ.

<- or ->