Armstrong systems and Galois connections | IEEE Conference Publication | IEEE Xplore