ТОРА (9) - Семинар №7 - Синтез хорошей БД

...начало

Продолжаем решать вторую задачу второго ДЗ. Начало решения - в предыдущем семинаре.

4) разбиваем на классы эквивалентности:

$$A\rightarrow CNO$$	-	$$K_1 = ACNO$$
$$B\rightarrow PRS$$	-	$$K_2 = BPRS$$
$$AD\rightarrow CNOXVTBPRSE$$	-	$$K_3 = ACDNOXVTPRSE$$
$$K\rightarrow DELTVXBPRS$$	-	$$K_4\rightarrow KKDELTVXBPRS$$
$$L\rightarrow T$$	-	$$K_5 = LT$$
$$X\rightarrow VT$$	-	$$K_6 = XVT$$
$$ET\rightarrow V$$	-	$$K_7 = EVT$$
$$D\rightarrow XEBPRSVT$$	-	$$K_8 = DXEBPRSVT$$
$$ABCDEKLNOPRSTVX\rightarrow\varnothing$$	-	$$K_9 = ABCDEKLNOPRSTVX$$

5) граф классов эквивалентности:

6) редуцируем:

7)

смотри граф.

8)

$$AD\rightarrow\varnothing$$

9)

$$\rho = (ACNO, XVT, BPRS, ETV, LT, DXBE, KDL, AK) = (R_1, R_2, R_3, R_4, R_5, R_6, R_7, R_8$$

10)

• проверяем свойство сохранения без потерь:

	$$A$$	$$B$$	$$C$$	$$D$$	$$E$$	$$K$$	$$L$$	$$N$$	$$O$$	$$P$$	$$R$$	$$S$$	$$T$$	$$V$$	$$X$$
$$ACNO$$	$$a$$		$$a$$					$$a$$	$$a$$
$$XVT$$													$$a$$	$$a$$	$$a$$
$$BPRS$$		$$a$$								$$a$$	$$a$$	$$a$$
$$ETV$$					$$a$$								$$a$$	$$a$$
$$LT$$							$$a$$						$$a$$
$$DXBE$$		$$a$$		$$a$$	$$a$$					$$a$$	$$a$$	$$a$$	$$a$$	$$a$$	$$a$$
$$KDL$$		$$a$$		$$a$$	$$a$$	$$a$$	$$a$$			$$a$$	$$a$$	$$a$$	$$a$$	$$a$$	$$a$$
$$AK$$	$$a$$	$$a$$	$$a$$	$$a$$	$$a$$	$$a$$	$$a$$	$$a$$	$$a$$	$$a$$	$$a$$	$$a$$	$$a$$	$$a$$	$$a$$

значит, схема обладает свойством соединения без потерь.

• проверяем свойство сохранения функциональных зависимостей:

$$УНП = (A\rightarrow CNO, B\rightarrow PRS, AD\rightarrow XCNOVTBPRSE, K\rightarrow DELTVXBPRS,$$

$$L\rightarrow T, X\rightarrow VT, ET\rightarrow V, D\rightarrow XBEVTPRS)$$

1-4)

$$H\neq\varnothing$$

5)

$$УНП - H = (A\rightarrow CNO, B\rightarrow PRS, K\rightarrow DL, L\rightarrow T, X\rightarrow VT, ET\rightarrow V, D\rightarrow XBE)$$

$$H = (AD\rightarrow CNOVTPRSXBE, K\rightarrow EXBTVPRS, D\rightarrow PPRSVT)$$

6)

$$AD\rightarrow^? CNOVTPRSXBE$$ да

$$(AD)^+ = ADCNOXBEPRSVT$$

$$K\rightarrow^? XBTEVPRS$$ да

$$(AD)^+ = KDLXBEVTPRS$$

$$D\rightarrow^? PRSVT$$ да

$$(AD)^+ = DXBEPRSVT$$

значит, схема обладает свойством сохранения функциональных зависимостей.

А теперь строим схему в нотации ERwin:

переделываем в схему с синтетическими ключами: