Announcement

Collapse
No announcement yet.

[CSDL] Độ phụ thuộc hàm

Collapse
X
 
  • Filter
  • Time
  • Show
Clear All
new posts

  • [CSDL] Độ phụ thuộc hàm

    Em có bài tập như sau:
    Cho lược đồ quan hệ a=(u,F) và tập phụ thuộc hàm F={AB->C, B->D, CD->E,CE->GH,G->A} Chứng minh rằng AB->E và AB->G suy dẫn được từ F.

    Anh, chị và các bạn xem giúp em bài giải của em sai chỗ nào chỉ giúp em...

    Giải: AB->E
    AB->B (tính phản xạ)
    {AB->B,AB->C} ╞ AB->BC (tính kết hợp)
    {B->D} ╞ BC->CD (tính tăng trưởng)
    {AB->BC,BC->CD} ╞ AB->CD (tính bắc cầu)
    {AB->CD, CD->E} ╞ AB->E (tính chất bắc cầu)

    Giải: AB->G
    {CE->GH} ╞ CE->G (tính phân rã)
    CD->C (tính phản xạ)
    {CD->C,CD->E} ╞ CD->CE (tính kết hợp)
    AB->B (tính phản xạ)
    {AB->B,AB->C} ╞ AB->BC (tính kết hợp)
    {B->D} ╞ BC->CD (tính tăng trưởng)
    {AB->BC,BC->CD} ╞ AB->CD (tính bắc cầu)
    {AB->CD,CD->CE} ╞ AB->CE (tính bắc cầu)
    {AB->CE, CE->G} ╞ AB-> G (tính bắt cầu)

    Cảm ơn mọi người!

  • #2
    Bạn làm đúng rồi : mình nghĩ có cách gọn hơn như này ( ko bt đúng ko ) :
    a/ AB -> E
    CD -> E suy ra C -> E( đúng ko nhỉ,bạn xem đc ko ? ), mà AB -> C :từ 2 điều này suy ra AB -> E ( bắc cầu ) ( từ đây có AB -> C và AB -> E suy ra AB -> CE )

    b/ AB -> G
    CE -> GH suy ra CE -> G, từ câu a có AB -> CE : từ 2 điều này suy ra AB -> G

    Comment


    • #3
      Originally posted by ngoc vu quoc View Post
      Bạn làm đúng rồi : mình nghĩ có cách gọn hơn như này ( ko bt đúng ko ) :
      a/ AB -> E
      CD -> E suy ra C -> E( đúng ko nhỉ,bạn xem đc ko ? ), mà AB -> C :từ 2 điều này suy ra AB -> E ( bắc cầu ) ( từ đây có AB -> C và AB -> E suy ra AB -> CE )

      b/ AB -> G
      CE -> GH suy ra CE -> G, từ câu a có AB -> CE : từ 2 điều này suy ra AB -> G
      Phần tô đậm là sai, Câu b thì đúng.
      cách giải cho bài này
      a)
      AB ->C và B ->D thì AB -> CD (kết hợp)
      AB -> CD và CD -> E thì AB -> E (bắc cầu)
      b)
      AB -> E và AB -> C thì AB -> CE (kết hợp)
      AB -> CE và CE -> GH thì AB -> GH (bắc cầu)
      AB -> GH thì AB -> G (luật tách)

      Comment

      LHQC

      Collapse
      Working...
      X