But even within this limited brief, existing algorithms are incomplete.
we have shown Dale and Reiter's (1995) Incremental Algorithm to be intersectively incomplete with respect to Attributes that have overlapping Values and (less surpris-ingly) in some situations where the class of properties is infinitely large.