Re: Anybody for Automated Comparative Normal Form?

Kenneth Downs wrote:
>
> A choice quote is this by Date, in describing the original definition of
> DK/NF:
>
> "Fagin defines a relvar R to be in DK/NF if and only if every constraint on
> R is a logical consequence of what he (Fagin) calls the domain constraints
> and key constraints on R."
>
> Perhaps we can rephrase this into the vernacular as saying all biz rules are
> specified completely by primary and foreign keys?

Careful, careful. Fagin is talking only about candidates keys, which is more than primary keys and does not include foreign keys.

• Jan Hidders