Oracle FAQ Your Portal to the Oracle Knowledge Grid
HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US
 

Home -> Community -> Usenet -> comp.databases.theory -> Re: Constraints and Functional Dependencies

Re: Constraints and Functional Dependencies

From: Keith H Duggar <duggar_at_alum.mit.edu>
Date: 25 Feb 2007 08:23:04 -0800
Message-ID: <1172420584.795179.172160@m58g2000cwm.googlegroups.com>


mAsterdam wrote:
> A rephrase to (i) could be:
>
> <reference>
> (i a)
> A relation R with attribute a (written as R(a)) having
> a as a reference into S(b)
> is expressed as follows:
>
> forall R(a): exists S(b): a = b
>
> Note that b need not be a ck to S, hence 'into', not 'to'.
> </reference>

Does Marshall's notation S(b) mean that relation S has only one attribute b? If so then b is necessarily a ck (in fact the only key). If S(b) is actually a shorthand notation for S(b,b0...bn) then one can express that b is a ck by:

   forall b: exists c0,...cn: forall b0...bn:

      S(b,b0...bn): b0 = c0 ... bn = cn

Correct?

Keith - Fraud 6 Received on Sun Feb 25 2007 - 10:23:04 CST

Original text of this message

HOME | ASK QUESTION | ADD INFO | SEARCH | E-MAIL US