Pawlak's Information Systems in Terms of Galois Connections and Functional Dependencies
Jouni Järvinen · Fundamenta Informaticae · 2007
In this paper we show that each Galois connection between two complete lattices determines an Armstrong system, that is, a closed set of dependencies. Especially, we study Galois connections and Armstrong systems determined by Pawlak's information systems.