RELACIONES

Las relaciones entre elementos de conjuntos se dan en muchos contextos. Cada

da manejamos relaciones como las que hay entre una empresa y su nmero de
telfono, entre un empleado y su salario, entre una persona y un pariente suyo,
etc. En matemticas estudiamos relaciones tales como las que hay entre un
entero positivo y uno de sus divisores, entre un entero y otro con el que es
congruente mdulo 5. entre un nmero real y otro que es mayor que l, etc. Y en
informtica aparecen con frecuencia relaciones como la que hay entre un
programa informtico y una de las variables que emplea o la que hay entre un
lenguaje de programacin y una sentencia vlida en ese lenguaje.
Las relaciones entre elementos de conjuntos se representan mediante una
estructura llamada relacin. Las relaciones pueden usarse para resolver
problemas tales como determinar qu parejas de ciudades estn conectadas por
algn vuelo de una red area, hallar un orden viable para las diferentes fases de
un proyecto complicado o encontrar una manera til de almacenar la informacin
en bases de datos informticas.
Relaciones y sus propiedades
La forma ms directa de expresar una relacin entre los elementos de dos
conjuntos es usar pares ordenados formados por dos elementos relacionados
entre s. Por eso se llama relaciones binarias a los de pares ordenados. En esta
seccin introducimos la terminologa bsica para describir las relaciones binarias.
Ms adelante, en este captulo, utilizaremos las relaciones para resolver
problemas relacionados con redes de comunicaciones, planificacin de proyectos
o identificacin de los elementos de un conjunto que tengan propiedades en
comn.
DEFINICION 1
Sean A y B dos conjuntos. Una relacin binara de A en B es un subconjunto de A x
B.
En otras palabras, una relacin binaria de A en B es un conjunto R de pares
ordenados en los que el primer elemento de cada par ordenado es un elemento de
A y el segundo es un elemento de B.
Usamos la notacin a R b para denotar que (a, b) R y a R/ b para denotar que
(a. b) R. Adems, cuando (a, b) pertenece a R se dice que a est relacionado
con b mediante R.

FUNCIONES COMO RELACIONES

Recurdese que una funcin f de un conjunto A en un conjunto B asigna
exactamente un elemento de B a cada elemento de A. La grfica de f es el
conjunto de los pares ordenados (a, b) tales que b = f(a). Como la grfica de f es
un subconjunto de A x B, es una relacin de A en B. Adems, la grfica de una
funcin tiene la propiedad de que cada elemento de A es el primer elemento de
exactamente un par ordenado de la grfica.
A la inversa, si R es una relacin de A en B tal que cada elemento de A es el
primer elemento de exactamente un par ordenado de R, entonces puede definirse
una funcin cuya grfica es R.
Esto se puede hacer asignando a cada elemento a de A el nico elemento b e 8 tal
que (a, b) e R.
Una relacin se puede utilizar para expresar una relacin multvoca entre los
elementos de los conjuntos A y B. de modo que un elemento de A puede estar
relacionado con ms de un elemento de B. Una funcin representa una relacin en
la que cada elemento de A est relacionado con exactamente un elemento de B.
Las relaciones son una generalizacin de las funciones y pueden emplearse para
expresar una clase mucho ms amplia de relaciones entre conjuntos.
RELACIONES EN UN CONJUNTO
Las relaciones de un conjunto A en s mismo tienen un inters especial.
DEFINICION 2
Una relacin en un conjunto A es una relacin de A en A.
En otras palabras, una relacin en un conjunto A es un subconjunto de A x A.
PROPIEDADES DE LAS RELACIONES
Hay varias propiedades que se utilizan para clasificar las relaciones en un
conjunto. Presentamos aqu las ms importantes.
En algunas relaciones, un elemento est siempre relacionado consigo mismo. Por
ejemplo, sea R la relacin en el conjunto de todas las personas formada por
aquellos pares (x, y) tales que x e y tienen la misma madre y el mismo padre.
Entonces, x R x para cada persona x.

DEFINICION 3
Se dice que una relacin R en un conjunto A es reflexiva si (a, a) R para cada
elemento a A.
Observacin: Usando cuantificadores, vemos que una relacin en A es reflexiva si
a((a, a) R). donde el dominio es el conjunto de todos los elementos de A.
Vemos que una relacin en A es reflexiva si cada elemento de A est relacionado
consigo mismo.
En algunas relaciones, un elemento est relacionado con un segundo elemento s.
y slo s. el segundo elemento est tambin relacionado con el primero. La
relacin formada por los pares (x. y) donde x e y son estudiantes de tu escuela
que cursan al menos una asignatura en comn, tiene esta propiedad. Otras
relaciones tienen la propiedad de que, si un elemento est relacionado con un
segundo elemento, entonces este segundo elemento no est relacionado con el
primero. La relacin que consta de los pares (x, y) de estudiantes de tu escuela
tales que x tiene una nota media ms alta que y tiene esta propiedad.
DEFINICION 4
Se dice que una relacin R en un conjunto A es simtrica si para cualesquiera a. b
A se tiene que (b, a) R siempre que (a, b) R. Se dice que una relacin R en
un conjunto A es anti simtrica si para cualesquiera a, b A se tiene que (a, b)
R y (b, a) R slo si a = b.
Observacin: Usando cuantificadores, vemos que la relacin R en el conjunto A es
simtrica si ab ((a, b) R (b, a) R). De manera similar. la relacin R en el
conjunto A es anti simtrica si ab (((a. b) R (b, a) R) (a = b)).
Esto es, una relacin es simtrica s. y slo s. el hecho de que a est relacionado
con b implica que b est relacionado con a. Una relacin es anti simtrica si, y slo
si, no hay pares de elementos distintos a y b tales que a est relacionado con b y
b est relacionado con a. Los trminos simtrico y anti simtrico no son opuestos,
puesto que una relacin puede tener ambas propiedades o puede carecer de
ambas. Una relacin no puede ser a la vez simtrica y anti simtrica si contiene
algn par de la forma (a, b) con a b.
Observacin: Aunque, corno puede demostrarse por medio de argumentos
combinatorio::.. hay relativamente pocas relaciones que sean simtricas o anti
simtricas, muchas relaciones importantes tienen una de estas dos propiedades

DEFINICION 5
Se dice que una relacin R en un conjunto A es transitiva si para cualesquiera a, b,
c A tales que (a, b) R y (b, c) R se tiene que (a. c) R.
Observacin: Usando cuantificadores, vemos que la relacin R en un conjunto A
es transitiva si se tiene ab (((a. b) R (b, c) R) (a,c) R).
COMBINACION DE RELACIONES
Puesto que las relaciones de A en B son subconjuntos de A x B, dos relaciones de
A en B se pueden combinar de cualquiera de las maneras en que se pueden
combinar dos conjuntos.
DEFINICION 6
Sean R una relacin de un conjunto A en un conjunto B y S una relacin de B en
un conjunto C. La composicin de R y S es la relacin que consiste en los pares
ordenados (a,c) con a A y C C para los cuales existe un elemento b B tal
que (a, b) R y (b. c) S. La composicin de R y S se denota S o R.
DEFINICION 7
Sea R una relacin en un conjunto A. Las potencias
definen recursivamente como
1

R =R y R

n+1

, n = 1, 2, 3, , se

=R o R

El siguiente teorema muestra que las potencias de una relacin transitiva son
subconjuntos de dicha relacin.
TEOREMA 1
La relacin R en un conjunto A es transitiva si, y slo si, R" R paran = 1. 2, 3, ...
RELACIONES N-ARIAS Y SUS APLICACIONES
INTRODUCCIN
Con frecuencia se establecen relaciones entre los elementos de ms de dos
conjuntos. Por ejemplo, hay una relacin entre el nombre de un estudiante, la
titulacin en la que est matriculado y la nota media del estudiante. De forma
parecida, hay una relacin que liga la lnea area, el nmero de vuelo, el punto de
partida. el destino, la hora de salida y la hora de llegada de un vuelo. Un ejemplo

de estas relaciones en el mbito ele las matemticas involucra tres enteros, el

primero de los cuales es mayor que el segundo, que a su vez es mayor que el
tercero. Otro ejemplo es la relacin de intercalamiemo de los puntos de una recta.
tal que tres puntos estn relacionados cuando el segundo punto est entre el
primero y el tercero.
En esta seccin estudiaremos relaciones entre los elementos de ms de dos
conjuntos. Estas relaciones se llaman n-arias y se utilizan para representar bases
de datos informticas. Estas representaciones nos ayudan a responder preguntas
acerca de la informacin almacenada en dichas bases de datos. tales como: Qu
vuelos aterrizan en el aeropuerto O'Hare de Chicago entre las tres y las cuatro de
la madrugada? Qu estudiantes de tu escuela estn en el segundo ao de
matemtica o de informtica con una nota media mayor que 3? Qu empleados
de una compaa han trabajado para la compaa menos de cinco aos y tienen
un salario anual superior a 50.000 euros?
RELACIONES n-ARIAS
Comenzamos con la definicin bsica sobre la que se fundamenta la teora de
bases de datos relacionales.
DEFINICION 1
Sean A1 ,A2, ... , An conjuntos. Una relacin n-aria en estos conjuntos es un
subconjunto deA1 x A2 x ... x An.Los conjuntos A1 , A2 , ... , An, se llaman
dominios de la relacin y n es el grado de la relacin.
BASES DE DATOS Y RELACIONES
El tiempo que requiere manipular la informacin en una base de datos depende de
cmo est almacenada la informacin. Las operaciones de aadir y borrar
registros, actualizar registros, buscar registros, as como combinar registros de
bases de datos que se solapan, se llevan a cabo millones de veces al da en una
base de datos grande. Debido a la importancia de estas operaciones se han
desarrollado varios mtodos para representar las bases de datos. Describiremos
uno de estos mtodos, llamado modelo relacional de datos, que se basa en el
concepto de relacin. Una base de datos consta de registros, que son n-tuplas
formadas a partir de campos. Los campos son las entradas de la n-tupla. Por
ejemplo, una base de datos de registros de estudiante puede estar formada por
campos que contienen el nombre. el nmero de identificacin. la titulacin en que
est matriculado y la nota media del estudiante. El modelo relacional de datos
representa una base de datos de registros como una relacin n-aria. As. los
registros de los estudiantes se representan como 4-tuplas de la forma (NOMBRE
ESTUDIANTE, NUMERO ID. TITULACIN, NOTA MEDIA). Un ejemplo de base
de datos con seis registros de este tipo es

(Ackermann. 231455. Infonnatica, 3,38)

(Adams, 888323, Fisica, 3,45)
(Chou, 102147, Informalica. 3,49)
(Goodfriend, 453876, Matematicas. 3,45)
(Rao, 678543. Matematicas. 3,90)
(Stevens, 786576, Psicologa, 2,99)
Las relaciones que se utilizan para representar bases de datos se llaman tambin
tablas, ya que estas relaciones se muestran con frecuencia en forma de tabla.
Cada columna de la tabla corresponde a un atributo de la base de datos. Por
ejemplo, en la Tabla 1 se muestra la misma base de datos de estudiantes. Los
atributos de esta base de datos son Nombre Estudiante, Nmero ID (esto es, de
identificacin), Titulacin y Nota Media. Se dice que un dominio de una relacin naria es una clave primaria si el valor de la n-tupla en dicho dominio determina la ntupla. Esto es, un dominio es una clave primaria cuando no hay dos n-tuplas en la
relacin que tengan el mismo valor en ese dominio.
A menudo se aaden o se borran registros de las bases de datos. Debido a ello. la
propiedad de que un dominio sea clave primaria puede variar con el tiempo. En
consecuencia, se debera elegir una clave primaria que lo siga siendo cada vez
que la base de datos cambie. Puede hacerse esto usando una clave primaria de la
intensin de la base de datos, que contiene todas las n-tuplas que puedan
eventualmente incluirse en el futuro en una relacin n-aria que represente a esa
base de datos.
OPERACIONES CON RELACIONES n-ARIAS
Existen varias operaciones con relaciones n-arias que se pueden usar para formar
nuevas relaciones n-arias. Aplicndolas conjuntamente, estas operaciones pueden
dar respuesta a consultas a la base de datos que pidan determinar todas las ntuplas de la base de datos que satisfacen ciertas condiciones.
La operacin ms sencilla sobre una relacin n-aria es determinar todas las ntuplas de la relacin n-aria que satisfacen ciertas condiciones. Por ejemplo, puede
que queramos encontrar en una base de datos de estudiantes lo registros de
todos los estudiantes matriculados en la titulacin de informtica. O podemos
buscar en esa misma base de datos todos los estudiantes con una nota media por
encima de 3.5 sobre 5. O podemos buscar los registros de todos los estudiantes
matriculados en informtica con una nota media mayor que 3,5. Para llevar a cabo
estas tareas utilizamos el operador de seleccin.
DEFINICIN 2
Sea R una relacin n-aria y C una condicin que puede ser satisfecha por los
elementos de R. Entonces, el operador de selecc6n s, transforma la relacin n-

aria R en la relacin n-aria formada por todas las n-tuplas de R que satisfacen la
condicin C.
DEFINICIN 3
La proyeccin P1,P2, , Pn transforma la n-tupla (a,a2, ,an) en la m-tupla (a1,
a2, , an), donde m n.
En otras palabras, la proyeccin P1, P2, , Pm elimina n - m componentes de
una n-tupla. manteniendo las componentes i1-sima, i2-sima ... e im-sima.
La operacin de reunin se utiliza para combinar dos tablas en una cuando estas
tablas tienen campos idnticos en comn. Por ejemplo, una tabla que contiene
campos para lnea area. nmero de vuelo y puerta de embarque y otra tabla que
contiene campos para nmero de vuelo, puerta de embarque y hora de salida
pueden combinarse en una tabla que contenga campos para lnea area, nmero
de vuelo, puerta de embarque y hora de salida.
DEFINICION 4
Sean R una relacin de grado m y S una relacin de grado n. La reunin Jp(R,S),
con p m y p n, es una relacin de grado m + n p que consta de todas las
(m+n-p)-tuplas (a1,a2,a3, , am-p, c1, c2, c3, , cp, b1, b2, b3, , bn-p),
donde la m-tupla (a1, a2, , am-p, c1, c2, c3, cp) pertenece a R y la n-tupla (c1,
c2, c3, , cp, b1, b2, b3, , bn-p) pertenece a S.
En otras palabras, el operador de reunin J produce a partir de dos relaciones una
nueva relacin combinando todas las m-tuplas de la primera relacin con todas las
n-tuplas de la segunda relacin. donde las p ltimas componentes de las m-tuplas
coinciden con las p primeras componentes de las n-tuplas.