ТОРА (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:
переделываем в схему с синтетическими ключами: