Tipos especiales de relación

• Relación reflexiva o recursiva. Relaciona una entidad consigo misma.

Ejemplo: empleados que pueden ser jefes de otros empleados.

• Dos relaciones entre las mismas dos entidades. Muy útil en el caso de necesitar almacenar información histórica completa.

Ejemplo: proyectos en los que trabaja actualmente un empleado y proyectos en los que ha trabajado anteriormente.

• Relación ternaria. Asociación de tres entidades. La forma de hallar cardinalidades en las relaciones ternarias es fijar una combinación de elementos en dos de los extremos de la relación y obtener lógicamente las cardinalidades mínima y máxima en el otro extremo libre.

Ejemplo: el título de un libro, un autor y una editorial se relacionan las tres mediante la acción de publicar el libro (en un año concreto, con un ISBN y con un determinado número de páginas en la edición). Para determinar las cardinalidades hay que preguntarse por:

1. Cuántos autores puede tener un determinado libro publicado en una determinada editorial(cardinalidd en el extremo de la entidad autor).
2. Cuántos libros puede tener un determinado autor publicados en una determinada editorial (cardinalidad en el extremo de la entidad libro).
3. En cuántas editoriales puede un determinado autor publicar un mismo libro (cardinalidad en el extremo de la entidad editorial).

• Relación de especialización (ES-UN). Tipificación de una entidad en en subtipos en número finito y conocido. Cada subtipo puede poseer atributos propios que. Los subtipos heredan los atributos que pudiera tener la entidad general. Este tipo de relación puede clasificarse de dos maneras distintas. La primera se según si una instancia o elemento concreto de la entidad puede ser de más de un subtipo a la vez. En caso afirmativo se dice que la relación es inclusiva o con solapamiento mientras que en caso contrario será exclusiva o sin solapamiento. La segunda clasificación se basa en si obligatoriamente cada instancia o elemento concreto debe ser obligatoriamente de alguno de los subtipos especificados, es decir, si no pueden existir elementos de la entidad que no pertenezcan a ninguno de los subtipos. Si es así la relación se dice total y en caso contario parcial. La situación más corriente en una relación de especialización es que sea exclusiva y total.

Ejemplos:

1. Una entidad persona tiene los subtipos hombre y mujer. Una misma persona no puede ser hombre y mujer a la vez por lo que la relación es exclusiva. No puede existir una persona que no sea hombre ni mujer, por lo que también es total.
2. Se conviene en que un vehículo puede ser un coche, un camión o una moto. La relación es claramente exclusiva (un vehículo no puede ser coche y camión a la vez, ni camión y moto, etc) y parcial pues puede haber vehículos que no sean ni coche ni camión ni moto.
3. La entidad que representa a un universitario tiene los subtipos profesor y estudiante. Un mismo universitario puede ser ambas cosas a la vez (p.e. un profesor puede estar matriculado como alumno en alguna facultad) por lo que la relación es inclusiva. No puede existir un universitario que no sea ni profesor ni estudiante, por lo que también es total.
4. Expresamos mediante una relación de especialización el que una función matemática tiene asociados los subtipos continua y derivable. La relación es inclusiva pues una misma función puede ser ambas cosas a la vez, y parcial porque existen funciones que no son continuas ni derivables.

Supongamos una entidad A que se especializa en dos subtipos A1 y A2. La identificación del tipo de relación (exclusiva, total, etc) puede hacerse atendiendo a la siguiente tabla de verdad:

A1	A2	Caso posible?
No	No	Sí -> Parcial No -> Total
No	Sí	Sí
Sí	No	Sí
Sí	Sí	Sí -> Inclusiva No -> Exclusiva

La cardinalidad en las relaciones de especialización es siempre (1,1) en el extremo de la entidad que se especializa en subtipos y (0,1) en el extremo de los subtipos si la relación es exclusiva o ({0,1},1) si es inclusiva.
Una relación de especialización parcial puede fácilmente convertirse en total añadiendo un nuevo subtipo "otros".