Some Variations on Alan Day's Algorithm for Calculating Canonical Basis of Implications.
Vincent Duquenne · 2007
Abstract. Two variations of an algorithm by Alan Day for reducing a list of implications regarding redundancy are given, with a new simple justification. All three algorithms have the property that the list can be reduced in place-at no extra memory cost- that will be useful for large applications and databases.