Re: Functional Dependencies > Uniqueness Constraints



Jan Hidders wrote:
On the other hand, in general the implication problem for INDs and FDs
is undecidable.

Can you recommend any literature about this?
--
Jon
.