Re: Constraints and Functional Dependencies
From: Marshall <marshall.spight_at_gmail.com>
Date: 24 Feb 2007 15:38:49 -0800
Message-ID: <1172360329.639706.265030_at_m58g2000cwm.googlegroups.com>
Date: 24 Feb 2007 15:38:49 -0800
Message-ID: <1172360329.639706.265030_at_m58g2000cwm.googlegroups.com>
On Feb 24, 9:28 am, "Carl Federl" <cfed..._at_yahoo.com> wrote:
> <Anyone have any alternate formulas for functional dependencies or
> candidate keys? >
>
> My primary objection to using FOL to define constraints is that it
> would require our theory of data to have two different but similar
> languages, one for defining constraints in the FOL language and then a
> second language for manipulating relations.