database - segunda - Las formas normales-2º vs 3º-¿es la diferencia solo las claves compuestas? dependencia no trivial?

segunda forma normal

Question

He visto esta publicación, pero realmente no entiendo los términos utilizados (dependencia de función no trivial, superclave)

De lo que he leído, la segunda forma normal parece relacionarse con las claves compuestas, mientras que la tercera forma normal se relaciona con las claves primarias.

No estoy seguro si esto es correcto sin embargo.

Entonces, la segunda forma normal: hay una clave compuesta y todos los campos de la tabla deben relacionarse con ambos campos clave compuestos. Si algo no se relaciona, entonces debe refactorizarse en otra tabla.

3ra forma normal - todo tiene que depender de la clave primaria, así que supongo que en 3ra forma normal solo hay 1 tecla en lugar de 2da forma normal donde puede haber claves compuestas.

Cualquier consejo apreciado.

Answer 1

Un subconjunto o superconjunto apropiado de un conjunto es uno que no es igual a él.

Decimos que un conjunto de columnas S determina funcionalmente otro conjunto T en una tabla cuando cada subrow para el primero siempre aparece con el mismo subrow para el segundo. Escribimos S -> T y decimos que S es el conjunto determinante y T es el conjunto determinado. Llamamos S -> T una dependencia funcional (FD). Cuando S es un superconjunto de T decimos que es un FD trivial. Cuando A es una columna en T, decimos que S determina funcionalmente A.

Una superclave es un conjunto de columnas que identifica filas de manera única. Una clave candidata (CK) es una superclave que no contiene una superclave adecuada. Podemos elegir una CK como clave principal (PK). Una columna es primo cuando está en CK.

Eso es suficiente para entender esa respuesta:

La diferencia entre 2NF y 3NF es esto. Supongamos que alguna relación satisface una dependencia funcional no trivial de la forma A-> B, donde B es un atributo no primordial.

2NF se infringe si A no es una superclave, sino que es un subconjunto propio de una clave candidata.

3NF se viola si A no es una superclave

Un FD es parcial si y solo si el uso de un subconjunto apropiado del determinante da un FD con la misma columna determinada; de lo contrario, está lleno. Tenga en cuenta que esto no implica CK. Una tabla está en 2NF cuando cada columna no principal depende completamente funcionalmente de cada CK.

S -> T es transitivo cuando hay una X donde S -> X y X -> T y no (X -> S). Tenga en cuenta que esto no implica CK. Una tabla está en 3NF cuando está en 2NF y cada columna no principal depende de forma transitiva de cada CK.