Sven Hartmann, Henning Köhler, Uwe Leck, Sebastian Link, Bernhard Thalheim, Jing Wang. Constructing Armstrong tables for general cardinality constraints and not-null constraints. Annals of Mathematics and Artificial Intelligence, 73(1-2):139-165, 2015. [doi]
Abstract is missing.