Relaciones triádicas y significado
Consideremos el contexto de una relación triádica, donde cada uno de los nodos de un triple (triple instancia de esta relación) juega un rol específico, de acuerdo a su Rol / Ubicación en el triple.
Usaremos para este ejemplo la relación entre tres personas: un Hijo, un Padre y una Madre. Notemos que estos tres tipos de instancia los juegan instancias del tipo Persona, según en que Rol / Ubicación participan en el triple de la relación.
Hijo = Madre::hijo(Padre)
Madre = Padre::madre(Hijo)
Padre = Hijo::padre(Madre)
Por lo cual, correspond que un hijo específico refiere a una sola Madre y un sólo padre. Que una Madre, de acuerdo a un Hijo suyo, refiere a un solo Padre. Igualmente, un Hijo y su Padre, refieren una sola Madre.
Otro ejemplo:
Teniendo en cuenta la relación entre Autor, Título y Obra, tenemos que
1. Un Título de un Autor refiere 1 Obra
2. Un Autor y una Obra refieren 1 Título
3. Una Obra y un Título refieren 1 Autor
Obra = Autor::obra(Titulo)
Título = Obra::titulo(Autor)
Autor = Titulo::autor(Obra)
En el primer ejemplo se ha visto que instancias de tipo Persona juegan del rol de Hijo, Padre y Madre según su ubicación en el triple. En este caso vemos que el tipo de una instancias de una clase varía / se promueve de acuerdo a como se la considera a través de su participación en una instancia de un tipo de relación (Contexto).
A partir de este esquema, también podríamos considerar que deben de influír en el tipo de un objeto / entidad ciertos valores de sus atributos. Ej.:
Adulto = Persona ( edad > 21);
Marido = Persona ( sexo = M; estadoCivil= CASADO)
Por lo que tenemos que las variaciones en el estado de una instancia de alguna clase también deberían nfluír en su Rol. O sea, en el tipo de actor que es, jugando cierto papel, en determinado contexto e interacciónes.
Podría pensarse que un tipo / conjunto, sus instancias / valores de su Clase / Nombre correspondiente es/son definido/s, el Tipo de cierto Nombre con Tipos/Nombres de sus partes o miembros que toman Valores específicos para un valor del tipo que las encierra.
Otra forma de decirlo: Para cierto Subject o cosa 'real' hay un Topic o Name que lo representa (como un handle). Este Subject representa una instancia de un Type que representa el Topic 't' que, tal vez, represente otro Subject.
Topic -> reifies -> Subject
Subject -> reifies -> Type
Type -> reifies -> Topic
Name (type.name(Value))
Type (value.type(Name))
Value(name.value(Type))
Estados
Hay ejemplos de implicacion de estados de a ternas, o sea que en cierto tipo de relación se pueden ver como triples, en una relacion en la que se implican unos con otros.
Por ejemplo:
a: Pasajero.enViaje
b: Viaje.iniciado
c: Destino.aproximándose
entonces
a IMPLICA b
b IMPLICA c
c IMPLICA a
Relaciones Relativas o Difusas
Considerando propiedades de un objeto que toman su valor de la comparación entre otras instancias. Por ejemplo: Joven / Viejo; Grande / Pequeño.
Hay que vonvenir que estas propiedades tienen un punto de referencia sobre el cual se basa y especifica su valor. Este 'eje' ó 0 (cero) en la recta tiene, a su izquierda, el -1 (ej.: pequeño), a su derecha el 1 (ej.: grande), siendo el mismo el 0 ó "igual".
Esta relatividad de contexto en el cual son visibles las propiedades lleva a tener cierto marco "difuso" en el cual especificar su valor, de acuerdo con el punto de vista del espectador: Ej.:
Algo ES (punto de vista objetivo)
Algo Se ve como / Parece (según sí mismo)
Algo Es visto como / Parece (según otro espectador)
Otro ejemplo de relatividad:
arriba > aquí; abajo < aquí; abajo < arriba;
aquí.arriba (Lugar) > aqui (Lugar > aquí.abajo (Lugar).
Ejemplo con tamaños:
chico = -1;
igual = 0;
grande = 1;
(Podría llegar a definirse, desde aquí, un algebra similar a la booleana)
04/02/2008: Sebastián Samaruga
