Đến nội dung

Hình ảnh

Xác định tất cả các khóa của $\mathcal{R}$


  • Please log in to reply
Chủ đề này có 1 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{ABCDEG} \right )$ có tập phụ thuộc hàm $\mathcal{F}= \left \{ \mathsf{EC}\rightarrow\mathsf{B}, \mathsf{AB}\rightarrow\mathsf{C}, \mathsf{EB}\rightarrow\mathsf{D}, \mathsf{BG}\rightarrow\mathsf{A}, \mathsf{AE}\rightarrow\mathsf{G} \right \}$

Xác định tất cả các khóa 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

Phần này anh học lâu quá rồi nên không nhớ diễn đạt chính quy thì ra sao, nhưng đại để thì như sau :)

Trước hết thì để ý là không có FD nào dẫn đến $E$ nên mọi SK chắc chắn phải có $E$.

Chúng ta có 3 FD chứa $E$ là:

\[\begin{array}{l}
EC \to B\\
EB \to D\\
EA \to G
\end{array}\]

Dễ thấy nếu SK chỉ chứa thêm hoặc $A$ hoặc $B$ hoặc $C$ thì không thể phủ hết bảng. Như vậy mọi CK phải chứa thêm ít nhất hai trong số 3 FD này.

TH1: SK là $ECB$. Tuy nhiên, SK này không tìm được $A$ vì FD duy nhất tìm $A$ là $BG \to A$ lại yêu cầu có $G$, và muốn có $G$ thì phải có $EA \to G$: một vòng lặp. Trường hợp này bị loại.

TH2: SK là $ECA$. Ta tìm được $B$ vì $EC \to B$. Do $EB \to D$ nên ta tìm được $D$. $G$ có sẵn vì $EA \to G$. Vậy ta có $ECA$ là một SK thỏa đề.

TH3: SK là $EAB$. Nhờ $EB \to D$ mà ta tìm được $D$. Lại có $AB \to C$ nên ta có luôn $C$. Tương tự, $G$ xác định vì $EA \to G$. Vậy $EAB$ là một $SK$ thỏa đề.


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