Chương 4: Phân tích và thiết kế logic hệ thống
4.3.2.2.2 xét các dạng chuẩn
- đơn hàng (orderID , orderPrice, createDate)
đặt orderID = A, orderPrice = B, createDate = CF = {A→B, A→C} F = {A→B, A→C}
=> Đạt 1NF vì khơng có thuộc tính đa trị
=> Đạt 2NF vì các thuộc tính khơng khóa phụ thuộc đầy đủ vào khóa chính A
=> Đạt 3NF vì các thuộc tính khơng khóa phụ thuộc trực tiếp vào khóa chính A
=> Đạt BCNF vì khơng có thuộc tính nào phụ thuộc vào thuộc tính khơng khóa
- đơn hàng (orderInID , orderInPrice, createDate)
đặt orderInID = A, orderInPrice = B, createDate = CF = {A→B, A→C} F = {A→B, A→C}
=> Đạt 1NF vì khơng có thuộc tính đa trị
=> Đạt 2NF vì các thuộc tính khơng khóa phụ thuộc đầy đủ vào khóa chính A
=> Đạt 3NF vì các thuộc tính khơng khóa phụ thuộc trực tiếp vào khóa chính A
=> Đạt BCNF vì khơng có thuộc tính nào phụ thuộc vào thuộc tính khơng khóa
- chi tiết đơn hàng (orderID , userID, Quantites)
đặt orderID = A, orderID = B, Quantites = CF={(A,B)→A,(A,B)→B,(A,B)→C} F={(A,B)→A,(A,B)→B,(A,B)→C}
=> Đạt 1NF vì khơng có thuộc tính đa trị
=> Đạt 2NF vì các thuộc tính khơng khóa phụ thuộc đầy đủ vào khóa chính AB
=> Đạt 3NF vì các thuộc tính khơng khóa phụ thuộc trực tiếp vào khóa chính AB
=> Đạt BCNF vì khơng có thuộc tính nào phụ thuộc vào thuộc tính khơng khóa
- chi tiết đơn nhập (orderInID , userID, Quantites)
đặt orderID = A, orderInID = B, Quantites = CF={(A,B)→A,(A,B)→B,(A,B)→C} F={(A,B)→A,(A,B)→B,(A,B)→C}
=> Đạt 1NF vì khơng có thuộc tính đa trị
=> Đạt 2NF vì các thuộc tính khơng khóa phụ thuộc đầy đủ vào khóa chính AB
=> Đạt 3NF vì các thuộc tính khơng khóa phụ thuộc trực tiếp vào khóa chính AB
=> Đạt BCNF vì khơng có thuộc tính nào phụ thuộc vào thuộc tính khơng khóa