¹ØÓÚsqlµÄһЩÀíÂÛÐÔµÄÎÊÌâ

ÓÐÒ»¸öattribute set R=abc
Óк¯ÊýÒÀÀµ¹Øϵ F = { AB -> C  AC -> B  BC -> A}
Òª¼ÆËãminimal cover

ÎÒÕâÑùËã¶Ô²»¶Ô

COPY¡¡Ò»¸öº¯ÊýÒÀÀµG

G¡¡= { AB -> C  AC -> B  BC -> A}

ÒÔΪAB -> AC ËùÒÔAB -> B ËùÒÔ A -> B
ËùÒÔAC -> B ¿ÉÒÔ¼òÂÔ³ÉΪ A -> B

ºóÃæÈç´ËÀàÍÆ

AC -> BC    AC -> A      C -> A

BC -> AB    BC -> C      B  -> C

ËùÒÔÕâ¸öµÄminimal cover ÊÇ  A -> B  B-> C  C-> A

ÇëÎÊ ÎÒÕâÑù¼ÆËãÓдíÎóÂð

---

º¹ ²»¶®°¡

---

ÒÔΪAB -> AC ËùÒÔAB -> B ËùÒÔ A -> B

Õâ¸ö²¢²»³ÉÁ¢£¬ÄãµÄÒÀ¾ÝÊÇ Armstrong µÄÄÄÒ»ÌõÍÆÀí¹æÔòÄØ£¿


{ AB -> C  AC -> B  BC -> A}

ÁôÏÂÆäÖÐÈκÎÁ½×é¾ÍÐÐÁË¡£

---

ÒýÓÃ

ÒÔΪAB -> AC ËùÒÔAB -> B ËùÒÔ A -> B

Õâ¸ö²¢²»³ÉÁ¢£¬ÄãµÄÒÀ¾ÝÊÇ Armstrong µÄÄÄÒ»ÌõÍÆÀí¹æÔòÄØ£¿


  { AB -> C  AC -> B  BC -> A}

ÁôÏÂÆäÖÐÈκÎÁ½×é¾ÍÐÐÁË¡£

ÒòΪÓÐAB -> C  È»ºóÓÃaugmentedÁ½±ß³ËA    AB -> AC  È»ºóÀûÓÃtransitivity  ÍƳö A-¡·B


ÈκÎÁ½×飿  µ«ÊÇÎÒÐèҪд³ö¸ö¹ý³ÌÀ´  ÕâÑùµÄ»°ÒªÔõôд

---

---

End_rbody_6