TESIS-MAG-0201.pdf

Defmición 3.10 : Diferencia
Sean (y)=(7,?,Ø) y (y)=(7e'U asociaciones de acuerdo a la definición
3.3. Se define la operación diferencia como -()=(,q
Los operadores de conjuntos permiten comparar asociaciones del mismo
encabezado entre sí. Las operaciones de unión e intersección permiten construir una
asociación cuyas listas posean o compartan ciertas características distintas. Una
asociación puede ser listas de argumentos no deseados en la asociación fmal. La
operación de diferencia en dicho caso, permite construir una asociación que no posea
dichas listas.
Por último, el concepto de asociación no tendría ninguna utilidad si no
permitiese incorporar operadores que asignen un cierto valor a cada lista de argumentos,
que son los que se defmen a continuación.
Definición 3.11: Prioridad.
Se define como evaluación al procedimiento (v) que le asocia a cada lista
de argumentos y un número real r•.
Cada subcluster, según la definición 2.4 permite defmir una regla de
prioridad. Es fácil darse cuenta entonces, que en el caso de tratarse de una asociación de
andad uno la prioridad corresponde a un caso particular de dicha regla para el
subcluster.
Finalmente la siguiente operación permite restringir una asociación por los
valores de la función de evaluación.
E.
55