RELACIONES

Introducción
Las relaciones son muy útiles por muchas
razones. Todas las bases de datos relacionales
usan relaciones n-arias para el almacenamiento
y acceso a datos. En este tema nos referiremos
a las relaciones binarias. Las relaciones binarias
son conjuntos de pares ordenados.
 DEFINICION DE RELACION
BINARIA
Sean A y B dos conjuntos. Una relación de
A en B es cualquier conjunto de pares
(x, y), x Є A e y Є B
Si (x, y) Є R, diremos que x esta R-
relacionado con y. Para expresar que R es
una relación de A en B, escribimos
R:A↔B
 DOMINIO Y RANGO
Sea R una relación de A en B.

El DOMINIO de R abreviado dom R, es el

conjunto de todos los elementos x Є A que
aparecen en, al menos, un par (x, y) Є R.

EL RANGO: El rango de R, que se abrevia como

ran R, es el conjunto de todos los elementos y
Є B que aparecen, al menos, en un par (x, y) Є
R.
 Propiedades de las relaciones
Reflexiva: Una relación binaria R sobre A es reflexiva, si para cada x Є
A, el par (x, x) esta en la relación.

No reflexiva: Una relación R sobre A es no reflexiva, si para toda x Є

A, el par (x, x) no esta en la relación.

Simétrica: Una relación R sobre un conjunto A es Simétrica si, para x y

y pertenecientes a A, xRy implica que yRx.

Antisimétrica : Una relación R sobre A es Antisimétrica si, para todo y

≠ x , xRy excluye que yRx.

Transitiva: Una relación R sobre A es Transitiva si, para todo x, y, z en

A, siempre que xRy y yRz, entonces xRz.
 Cerradura
Cierre reflexivo: Se denota como R es la relación
reflexiva mas pequeña que contiene a R como
subconjunto.

Cierre simétrico: Se denota como R es la relación

simétrica mas pequeña que contiene a R como
subconjunto.

Cierre transitivo: Se denota como R es la relación

transitiva mas pequeña que contiene a R como
subconjunto.
 Relaciones de equivalencia
Una relación es relación de equivalencia si y
solo si es Reflexiva, Simétrica y Transitiva
 ORDEN PARCIAL
Se dice que una relación es un orden
parcial, si cumple con las siguientes tres
propiedades: Reflexiva, Antisimetrica y
Transitiva.
 DIAGRAMA DE HASSE
Se puede representar un orden parcial en un conjunto finito
siguiendo este procedimiento:
- Iniciar con el grafo dirigido de la relación. Puesto que un
orden parcial es reflexivo existe un lazo en cada nodo,
los eliminamos.
- Se eliminan todos los arcos que tienen que estar
presentes por la propiedad de transitividad. Por ejemplo
si se tiene (a,b) y (b,c) se elimina (a,c).
- Por ultimo, se acomodan cada arco de manera que su
nodo inicial quede por abajo del nodo final. Se borran
todas las flechas de los arcos, porque todas deben
apuntar hacia arriba, hacia su nodo final.