Tesis doctoral de Margarita Miró Juliá
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.
Datos académicos de la tesis doctoral ««a contribution to the study of multivalued systems»«
- Título de la tesis: «a contribution to the study of multivalued systems»
- Autor: Margarita Miró Juliá
- Universidad: Illes balears
- Fecha de lectura de la tesis: 11/12/2000
Dirección y tribunal
- Director de la tesis
- José Miró Nicolau
- Tribunal
- Presidente del tribunal: llorení§ Huguet rotger
- Luis María Laita de la rica (vocal)
- José Luis Freire (vocal)
- franz Pichler (vocal)