Covadonga Fernández-Baizán. Caracterización matemática de las bases de datos relacionales a partir de los axiomas de Armstrong : una aproximación desde el punto de vista analítico. PhD thesis, Technical University of Madrid, Spain, 1981. [doi]
Abstract is missing.