Normalizace databáze/cs - Revision history

Navd00: /* Normální forma elementárních klíčů (EKNF) */

2018-06-14T17:46:02Z

‎Normální forma elementárních klíčů (EKNF)

2018-06-14T17:45:51Z

‎Příklad 1

2018-06-14T17:40:52Z

‎Šestá normální forma (6NF)

2018-06-14T17:39:52Z

‎Normální forma doménových klíčů (DK/NF)

2018-06-14T17:39:21Z

‎Normální forma doménových klíčů (DK/NF)

2018-06-14T17:36:02Z

2018-06-14T17:21:14Z

‎Normální forma doménových klíčů (DK/NF)

2018-06-14T17:20:52Z

‎Normální forma elementárních klíčů (EKNF)

2018-06-14T17:20:25Z

2018-06-14T17:19:17Z

‎Další normální formy

@@ Line 509: / Line 509: @@
 Formální definice EKNF zní: <br />
-*Relace R je v normální formě elementárních klíču (EKNF) právě tehdy, když pro každou netriviální funkční závislost X → Y platí:
+*Relace R je v normální formě elementárních klíčů (EKNF) právě tehdy, když pro každou netriviální funkční závislost X → Y platí:
 **X je superklíč, nebo
 **Y je součástí některého z elementárních klíčů

@@ Line 85: / Line 85: @@
 |}
-V tomto případě je tedy první normální forma splněna a rozdělením tabulek jsme umožnili bezproblémové přidávání libovolného počtu telefonních čísel pro každou osobu. Všimněme si, že tabulka s kontakty obsahuje navíc kromě primárního klíče také [[Cizí klíč|cízí klíč]], který nám zajišťuje svázání telefonního čísla se správnou osobou.
+V tomto případě je tedy první normální forma splněna a rozdělením tabulek jsme umožnili bezproblémové přidávání libovolného počtu telefonních čísel pro každou osobu. Všimněme si, že tabulka s kontakty obsahuje navíc kromě primárního klíče také [[Cizí klíč|cizí klíč]], který nám zajišťuje svázání telefonního čísla se správnou osobou.
 === Druhá normální forma (2NF) ===

@@ Line 535: / Line 535: @@
 ==== Šestá normální forma (6NF) ====
-'''Šestá normální forma''' je poslední uváděná normální forma, představená v roce 2003 a jejíž autory jsou C. J. Date, H. Darwen a N. A. Lorentzos. <br />
+'''Šestá normální forma''' je poslední uváděná normální forma představená v roce 2003. Jejími autory jsou C. J. Date, H. Darwen a N. A. Lorentzos.
 Cílem šesté normální formy je dekompozice relací na dále již neredukovatelné komponenty (relace).
 <ref>DATE, C. J., DARWEN, H., LORENTZOS, N. A. (2003) ''Temporal Data and the Relational Model: A Detailed Investigation into the Application of Interval and Relation Theory to the Problem of Temporal Database Management''. Oxford: Elsevier LTD. ISBN 1-55860-855-9, [citováno: 12. 6. 2018] (v angličtině)</ref>

@@ Line 525: / Line 525: @@
 Dle jedné z definic je DK/NF splněna, pokud:
-*databáze neobsahuje žádné omezení kromě doménových omezení a omezení klíčů.
+*databáze neobsahuje žádné omezení kromě doménových omezení a omezení klíčů
 **doménové omezení určuje možné hodnoty daného atributu
 **omezení klíčů určuje atributy, které unikátně identifikují řádek (záznam) dané tabulky

@@ Line 526: / Line 526: @@
 Dle jedné z definic je DK/NF splněna, pokud:
 *databáze neobsahuje žádné omezení kromě doménových omezení a omezení klíčů.
-**doménové omezení určuje možné hodnoty daného atributu, a
+**doménové omezení určuje možné hodnoty daného atributu
 **omezení klíčů určuje atributy, které unikátně identifikují řádek (záznam) dané tabulky
@@ Line 532: / Line 532: @@
 *každé omezení je logickým následkem definicí klíčů a [[Datová_doména|datových domén]].
-Poznámka: V literatuře se můžeme setkat s chápáním DK/NF jako synomem k šesté normální formě, ovšem dle definice Christophera Date se DK/NF od jím definované šesté normální formy liší.
+Poznámka: V literatuře se můžeme setkat s chápáním DK/NF jako synonymem k šesté normální formě, ovšem dle definice Christophera Date se DK/NF od jím definované šesté normální formy liší.
 ==== Šestá normální forma (6NF) ====

@@ Line 515: / Line 515: @@
 ==== Normální forma nezbytných n-tic (ETNF) ====
-'''Normální forma nezbytných n-tic''' (z anglického ''Essential tuple normal form''), zkráceně ETNF je jedna z nejnovějších normálních forem. Její představení proběhlo v roce 2012. <ref name=FAGIN2012>DARWEN, H., DATE, C. J., FAGIN, R. (2012) ''A Normal Form for Preventing Redundant Tuples in Relational Databases'', ICDT '12 Proceedings of the 15th International Conference on Database Theory, ISBN: 978-1-4503-0791-8, [citováno 11. 6. 2018] (v angličtině)</ref>
+'''Normální forma nezbytných n-tic''' (z anglického ''Essential tuple normal form''), zkráceně ETNF, je jedna z nejnovějších normálních forem. Její představení proběhlo v roce 2012. <ref name=FAGIN2012>DARWEN, H., DATE, C. J., FAGIN, R. (2012) ''A Normal Form for Preventing Redundant Tuples in Relational Databases'', ICDT '12 Proceedings of the 15th International Conference on Database Theory, ISBN: 978-1-4503-0791-8, [citováno 11. 6. 2018] (v angličtině)</ref>
 Jedná se o normální formu, která zaujímá místo mezi čtvrtou a pátou normální formou. Předmětem zkoumání této normální formy jsou funkční závislosti v relacích relačních databázích. Hlavní výhodou aplikace této normální formy je obdobně jako v případě ostatních normálních forem snížení redundance dat. <br />

@@ Line 506: / Line 506: @@
 ==== Normální forma elementárních klíčů (EKNF) ====
-'''Normální forma elementárních klíčů''' (z anglického ''Elementary key normal form'') je nadstavbou nad třetí normální formou a striktně spadá před BCNF, tedy platí pravidlo, že relace v EKNF jsou zároveň i ve třetí normální formě. Tuto normální formu představil v roce 1982 Carlo Zaniolo.<ref>ZANIOLO, C. (1982) [http://web.cs.ucla.edu/~zaniolo/papers/tods82b.pdf ''A New Normal Form for the Design of Relational Database Schemata''] [online], ACM Transactions on Database Systems, [citováno 11. 6. 2018] (v angličtině)</ref> EKNF cílí na zachycení hlavních kvalit jak třetí normální formy, tak BCNF a zároveň adresuje jejich problémy<br />
+'''Normální forma elementárních klíčů''' (z anglického ''Elementary key normal form'') je nadstavbou nad třetí normální formou a striktně spadá před BCNF, tedy platí pravidlo, že relace v EKNF jsou zároveň i ve třetí normální formě. Tuto normální formu představil v roce 1982 Carlo Zaniolo.<ref>ZANIOLO, C. (1982) [http://web.cs.ucla.edu/~zaniolo/papers/tods82b.pdf ''A New Normal Form for the Design of Relational Database Schemata''] [online], ACM Transactions on Database Systems, [citováno 11. 6. 2018] (v angličtině)</ref> EKNF cílí na zachycení hlavních kvalit jak třetí normální formy, tak BCNF a zároveň adresuje jejich problémy.<br />
 Formální definice EKNF zní: <br />

@@ Line 503: / Line 503: @@
 === Další normální formy ===
 Následující normální formy jsou zřídka uváděny a obvykle se s nimi při normalizaci nesetkáváme. Většina z nich je postavena na čistě teoretickém modelu a jejich aplikace v praxi bývá přehlížena (občas záměrně).
 Pro úplnost je vhodné uvést i tyto normy.