Vyjmenujte Armstrongovy axiomy
Mějme relaci R(Ω),nechť {B, X, Y, Z, W} ⊆ Ω. Dokažte na základě platnosti Armstrongových axiomů tato pravidla:
| | jestliže | potom lze odvodit | |
| rozšíření: | X → Y | XZ → YZ | (FZ5) |
| pseudotranzitivita: | X → Y a WY → Z | XW → Z | (FZ6) |
| akumulace (pravé strany): | X→YZ a Z→BW | X→YZBW | (FZ7) | využívá se pro sběr do tranzitivního uzávěru |
možné řešení
Mějme univerzální relaci R (a, b, c, d, e, f) a množinu funkčních závislostí F = {f→ab, f→e, a→f}
Spočtěte tranzitivní uzávěr skupiny atributů fc
Najděte alespoň jeden klíč relace R
Je množina atributů acdf klíčem relace? Zdůvodněte svůj názor.
možné řešení
Mějme relaci R(a, b, c, d, e, f, g) a množinu funkčních závislostí F = {c→de,a→c,e→a,d→b,f→g,c→a}
Ukažte, zda je funkční závislost e → a v F redundantní či nikoliv.
Ukažte, zda je funkční závislost c → a v F redundantní či nikoliv.
Pomocí tranzitivních uzávěrů nalezněte všechny klíče.
Je schéma ve 3NF? Proč ano, proč ne?
Není-li schéma ve 3NF proveďte bezztrátovou dekompozici.
možné řešení
Mějme relaci R(a, b, c) a množinu funkčních závislostí F = {}
možné řešení
Mějme relaci R(a, b, c, d, e), IO: {d→e,b→c}
Je tato relace ve druhé normální formě? Proč ano, proč ne?
Je tato relace ve třetí normální formě(3NF)? Proč ano, proč ne?
Jestliže není, znormalizujte schéma do 3NF.
Ukažte, zda provedená dekompozice zachovává vlastnost pokrytí původní množiny funkčních závislostí.
možné řešení
Mějme relaci R(a, b, c, d, e)
Je tato relace ve druhé normální formě? Proč ano, proč ne?
Je tato relace ve třetí normální formě(3NF)? Proč ano, proč ne?
Jestliže není, znormalizujte schéma do 3NF.
možné řešení
Mějme relaci R(a, b, c, d, e), IO: {c → b}
Prověřte, zda definice klíčů je úplná.
Je relace ve 3NF?
Je relace v BCNF?
Není-li, proveďte normalizaci do BCNF.
možné řešení
Mějme relaci R(a, b, c, d), IO: {bc → a, ab → d, d → c}
Určete klíče relace.
Je tato relace ve 3NF? Proč ano, proč ne?
Je tato relace ve Boyce-Codd normální formě(BCNF)? Proč ano, proč ne?
Jestliže není, znormalizujte schéma do BCNF.
možné řešení