1

依存関係理論をよく説明している優れたウェブサイト、本、またはその他のリソースを知っている人はいますか? 以下に示すものと同様の質問で立ち往生しています。

与えられた

R   < A = {P,Q,R,S,T,U,Y },


gamma = {Y->S   …(1)
       Q->ST….(2)  

U-> Y……(3)
       S->R  …...(4)

RS->T…….(5) }>.  

RTP U->T  holds

答えは：

U -> Y -> S -> RS -> T
aug (4) by S  S->R
4

1 に答える 1

2

従属理論ではなく、関数従属性を検索する必要があると思います。ウィキペディアには、関数従属性に関する紹介記事があります。「Y->S」という表現は

  • YはSを決定します、または
  • 'Y'の値が1つわかっている場合は、'S'の値が1つ（'S'の値が2つ、3つ、または7つではなく）、または
  • 2つのタプルの「Y」の値が同じである場合、「S」の値も同じになります。

私はあなたが投稿したすべての表記法に精通していません。しかし、参考のために、関係Rと1から4までのガンマ番号が付けられた関数従属性のセットから始めるように求められていると思います。

Relation R = {P,Q,R,S,T,U,Y }

FD gamma = {Y->S   (1)
            Q->ST  (2)  
            U-> Y  (3)
            S->R   (4) }

これは、いくつかの問題の「セットアップ」のようです。次に、この追加の機能依存性を想定するように求められます。

RS->T  (5)

セットアップとその追加のFDに基づいて、機能従属性U->Tが保持されていることを証明することになっています。講師の答えは「U->Y->S-> RS-> T」で、これは講師があなたにたどってほしい推論の連鎖だと思います。最初にU->YとY->Sが与えられているので、その特定の推論の連鎖は次のようになります。

  1. U->YおよびY->S、したがってU->S。（推移性、講師のU-> Y-> S）

  2. S-> R、したがってS->RS。（拡張、中間ステップ）

  3. U->SおよびS->RS、したがってU->RS。（推移性、講師のU-> Y-> S-> RS）

  4. U->RSおよびRS->T、したがってU->T。（推移性、講師のU-> Y-> S-> RS-> T）

于 2011-03-19T17:21:44.800 に答える