Resumen de A contribution to the study of multivalued systems
Esta tésis recoge toda una serie de fundamentos teóricos que definen un lenguaje multivaluado que permite la búsqueda de expresiones declarativas multivaluadas a partir de una tabla multivaluada de objetos y atributos dada, Este lenguaje multivaluado permite realizar técnicas multivaluadas similares a las ya conocidas para tablas binarias(booleanas).
El trabajo desarrollado también permite la transformación de declaraciones multivaluadas en otras más convenientes. Para ello, se introduce una notación simbólica cuyos elementos básicos son los "arrays" y "co-arrays" junto con unas operaciones elementales: el producto o y la suma ; y unos procedimeintos de cómputo utilizando esta notación.
La equivalencia estre expresiones se estudia a partir de los "primer-ar"("prime-co-ar"), y se proporcional algoritmos que determinan los "prime-ar" ("prime-co-ar") de una expresión.
El problema de la optimización de una expresión se estudia introduciendo la noción de "cover" de una expresión. Para la obtención de un "cover" es necesario determinar los "essential arrays" y estudiar los "redundant arrays". Resulta notable el hecho de que un "cover" aceptable de una expresión puede obtenerse sin utilizar la descripción exhaustiva elemental de los conjuntos.
