Conceptos Fundamentales del Modelo Relacional: Entidades, Atributos y Dominios

Conceptos Básicos del Modelo Relacional

Definiciones Esenciales

• Dominio: Es un conjunto de valores, de cualquier tipo (simple o elemental), donde puede tomar valores una variable que representará una ocurrencia de una característica o propiedad (atributo) de algún objeto representable (entidad).
• Atributo: Es todo aquello capaz de tomar un valor (dato) en un dominio (rango posible de valores). A los atributos con el mismo dominio se les asigna el mismo nombre o uno similar si puede haber confusiones.
• Entidad: Es todo aquello capaz de contener un conjunto de atributos con ocurrencias en un universo. Cada ocurrencia tiene valores asignados para cada atributo. Formalmente, una entidad es un conjunto de atributos A₁, A₂, ..., A_n, que toman valores en sus respectivos dominios D₁, D₂, ..., D_n.

La Relación en el Modelo de Datos

Una relación se puede considerar como un conjunto de ocurrencias de una entidad. Una ocurrencia de una entidad está formada por una ocurrencia de cada uno de los atributos que la componen. Para garantizar la eficacia, exigimos ciertas restricciones o propiedades a las ocurrencias de entidades para considerarlas relaciones.

Una relación R está formada por:

1. Cabecera: Una serie de atributos A₁, ..., A_n con dominios D₁, ..., D_n.
2. Cuerpo: Un subconjunto del producto cartesiano de los dominios de sus atributos: R ⊆ D₁ x ... x D_n.

Cualquier relación así definida se puede representar en una Tabla Plana, donde cada elemento es una n-upla (tupla) u ocurrencia.

Propiedades de las Relaciones

• Grado: Es el número de atributos (columnas).
• Cardinalidad: Es el número de ocurrencias (filas).
• Unicidad: No habrá dos filas iguales ni dos columnas iguales.

Reglas de Integridad y Estructura

1. No hay tuplas duplicadas: Existe un identificador que hace única cada ocurrencia. A este identificador, formado por un campo o conjunto de campos, se le denomina llave primaria.
2. Ausencia de orden: No hay un orden obligado en las ocurrencias ni en los atributos. La idea de conjunto lleva implícita la no ordenación, lo cual distingue la relación de una tabla convencional donde sí existe un orden establecido.
3. Atomicidad: Los valores de los atributos son atómicos; es decir, en cada celda de la tabla hay un solo valor. Esta es la primera condición de la normalización, impuesta para evitar la complejidad en la manipulación de datos.

En resumen, una relación se puede considerar como una tabla. Generalmente, una relación no tiene por qué estar normalizada, aunque siempre es posible encontrar una relación equivalente que sí lo esté.