Re: Functional Dependencies > Uniqueness Constraints
From: Jan Hidders <hidders_at_gmail.com>
Date: 30 Aug 2006 06:38:57 -0700
Message-ID: <1156945137.099081.112900_at_m73g2000cwd.googlegroups.com>
Date: 30 Aug 2006 06:38:57 -0700
Message-ID: <1156945137.099081.112900_at_m73g2000cwd.googlegroups.com>
Jon Heggland wrote:
> 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?
The original reference on this:
- K. Chandra and M. Y. Vardi. The implication problem for functional and inclusion dependencies is undecidable. SIAM Journal of Computing, 14(3):761 -- 677, 1985.
I'm afraid there is no on-line version, as far as I can tell. IIRC there is some discussion of this in the Alice book, so you might look there for some explanation and further references on, for example, special decidable cases.
- Jan Hidders