Optimal implicational bases for finite modular lattices

Quaestiones Mathematicae

Volumn 23, Issue 2, 2000, Pages 153-161

  Wild, Marcel ^a  

^a STELLENBOSCH UNIVERSITY   (South Africa)

Author keywords

Functional dependencies; Modular lattices; NP complete; Relational databases

Indexed keywords

EID: 33745365959     PISSN: 16073606     EISSN: 1727933X     Source Type: Journal    
DOI: 10.2989/16073600009485964     Document Type: Article

References (14)

1. D.J. Benson and J.H. Conway, Diagrams for modular lattices, J. Pure and Appl. Algebra 37 (1985), 111-116.
2. V. Duquenne, Contextual implications between attributes and some representation properties of finite lattices, In: Beitrage zur Begriffsanalyse, (B. Ganter, R. Wille, K.E. Wolff, eds.), B.I. Mannheim-Wien-Zürich, 1987.
3. V. Duquenne, The core of finite lattices, Discrete Mathematics 88 (1991), 133-147.
4. U. Faigle and C. Herrmann, Projective geometry on partially ordered sets, Trans. Amer. Math. Soc. 266 (1981), 319-332.
5. J.L. Guiges and V. Duquenne, Familles minimales d’implications informatives resultant d’un tableau des donnees binaires, Math. Sci. Hum. 95 (1986), 5-18.
6. C. Herrmann and M. Wild, Acyclic modular lattices and their representations, Journal of Algebra 136 (1991), 17-36.
7. C. Herrmann and M. Wild, A polynomial algorithm for testing congruence modularity, International Journal of Algebra and Computation 6 (1996), 379-387.
8. D. Maier, The Theory of Relational Databases, Computer Science Press, 1983.
9. D. Maier, Minimum covers in the Relational Database Model, JACM 27:4 (1980), 664-674.
10. M. Stern, Semimodular lattices, Encyclopedia of Mathematics and its Applications, Vol. 73, Cambridge University Press, 1999.
11. M. Wild, Cover preserving embedding of modular lattices into partition lattices, Discrete Mathematics 112 (1993), 207-244.
12. M. Wild, A theory of finite closure spaces based on implications, Advances in Mathematics 108 (1994), 118-139.
13. M. Wild, Computations with finite closure systems and implications, Springer Lecture Notes in Computer Sciences 959 (1995), 111-120.
14. M. Wild, Halbgruppen und formale Sprachen, Lecture notes 1996, Dept. of Mathematics, X 00-147, University of Zürich, Switzerland.