Đến nội dung

Hình ảnh

Xác định dạng chuẩn của $\mathcal{R}$


  • Please log in to reply
Chủ đề này có 2 trả lời

#1
DOTOANNANG

DOTOANNANG

    Đại úy

  • ĐHV Toán Cao cấp
  • 1609 Bài viết

Cho lược đồ quan hệ $\mathcal{R}\left ( \mathsf{HDACEW} \right )$ có tập phụ thuộc hàm $\mathcal{F}= \left \{ \mathsf{H}\rightarrow\mathsf{DACEW}, \mathsf{DAC}\rightarrow\mathsf{E}, \mathsf{CE}\rightarrow\mathsf{AD} \right \}$

Xác định dạng chuẩn của $\mathcal{R}$



#2
perfectstrong

perfectstrong

    $LOVE(x)|_{x =\alpha}^\Omega=+\infty$

  • Quản lý Toán Ứng dụng
  • 4991 Bài viết

Em muốn nói tới NF mấy?


Luôn yêu để sống, luôn sống để học toán, luôn học toán để yêu!!! :D
$$\text{LOVE}\left( x \right)|_{x = \alpha}^\Omega = + \infty $$
I'm still there everywhere.

#3
perfectstrong

perfectstrong

    $LOVE(x)|_{x =\alpha}^\Omega=+\infty$

  • Quản lý Toán Ứng dụng
  • 4991 Bài viết

https://en.wikipedia...e_normalization

Đầu tiên là đi tìm một CK. $H$ dẫn đến mọi CH khác nên ta chọn $H$ là PK. Vậy là có UNF.

Vì không có bảng giá trị nên coi như 1NF thỏa.

Để thỏa 3NF thì giờ ta phải giải trừ tính liên thông.

Vì $DAC \to E$ mà $H \to DAC$ nên ta phải tách ra: $\mathcal{R_1}(\underline{H}DACW)$ và $\mathcal{R_2}(\underline{DAC}E)$.

Tới đây anh thấy lạ vì:

$DAC \to E \Rightarrow DAC \to CE$. Mà $CE \to AC \Rightarrow CE \to ADC$. Do đó $DAC$ và $CE$ tương đương ?


Luôn yêu để sống, luôn sống để học toán, luôn học toán để yêu!!! :D
$$\text{LOVE}\left( x \right)|_{x = \alpha}^\Omega = + \infty $$
I'm still there everywhere.




1 người đang xem chủ đề

0 thành viên, 1 khách, 0 thành viên ẩn danh