Xỏc định tập thực thể

Một phần của tài liệu Tìm hiểu các phụ thuộc bao hàm trong mô hình quan hệ và ứng dụng vào việc chuyển đổi sang mô hình EER (Trang 60 - 62)

Cỏc tập thực thể phải được xỏc định đầu tiờn, để sau đú cú thể xỏc định cỏc mối quan hệ giữa chỳng. Việc tồn tại một quan hệ tập thực thể chỉ ra sự tồn tại của một tập

thực thể. Quan hệ tập thực thể mạnh xỏc định tập thực thể mạnh, quan hệ tập thực thể yếu xỏc định tập thực thể yếu và mối quan hệ định danh tương ứng. Tờn của quan hệ tập thực thể được gỏn cho tập thực thể tương ứng. Cỏc quy tắc xỏc định được thảo luận chi tiết như sau.

3.3.3.1. Tập thực thể mạnh

Nếu: Một quan hệ được phõn loại như là một quan hệ tập thực thể mạnh

Thỡ: Xỏc định một tập thực thể mạnh cú khúa là khúa chớnh của quan hệ tập thực thể mạnh

Chứng minh: Theo Bảng 3, quan hệ tập thực thể mạnh cú thể được chuyển thành một trong hai cấu trỳc mụ hỡnh húa EER. Vỡ mối quan hệ cú khúa riờng cú thể được xem như một tập thực thể, nờn tất cả cỏc quan hệ tập thực thể mạnh được chuyển đổi và thể hiện như tập thực thể mạnh trong mụ hỡnh EER.

Employee SSN

EMPLOYEE: [SSN, name, salary, hired-date] (strong)

Hỡnh 3.3. Xỏc định một tập thực thể mạnh [8] 3.3.3.2. Tập thực thể yếu

Nếu: Một quan hệ được phõn loại là một quan hệ tập thực thể yếu

Thỡ: Xỏc định một tập thực thể yếu với khúa bộ phận của quan hệ này là khúa của tập thực thể.

Chứng minh: Trong Bảng 3, một quan hệ tập thực thể yếu chỉ cú thể được chuyển thành một tập thực thể yếu.

Thờm vào đú, một mối quan hệ định danh giữa tập thực thể yếu và cỏc tập thực thể chủ phải được xỏc định. Cỏc tập thực thể chủ được xỏc định bằng cỏch tham chiếu đến cỏc phụ thuộc bao hàm. Quy tắc sau được dựng để xỏc định mối quan hệ định danh cho tập thực thể yếu

Nếu:

(2) Thuộc tớnh khúa chớnh, X, của W xuất hiện như là khúa của một quan hệ tập thực thể (mạnh hoặc yếu), A, và

(3) Cú một phụ thuộc bao hàm, W.X A.X

Thỡ: tập thực thể định danh bởi A là tập thực thể chủ cho tập thực thể yếu W

Nếu: cú nhiều hơn một quan hệ tập thực thể thỏa cỏc điều kiện trờn

Thỡ: người dựng phải xỏc định chớnh xỏc tập thực thể chủ

Chứng minh: Điều kiện 1, 2 và 3 là cỏc điều kiện cần thiết cho tập thực thể định danh bởi A là tập thực thể chủ của tập thực thể yếu W. Cỏc điều kiện trờn sẽ hiệu quả khi A là duy nhất, ngược lại, người dựng phải cung cấp thờm thụng tin để xỏc định tập thực thể chủ.

Department DEPENDENT

DEPTNO PROJNAME

N

DEPARTMENT: [DEPTNO, dept-name, location] (strong) PROJECT: [PROJNAME, DEPTNO, budget] (weak) PROJECT.[DEPTNO] DEPARTMENT.[DEPTNO]

1

Project

Hỡnh 3.4. Xỏc định một tập thực thể yếu [8]

Một phần của tài liệu Tìm hiểu các phụ thuộc bao hàm trong mô hình quan hệ và ứng dụng vào việc chuyển đổi sang mô hình EER (Trang 60 - 62)

Tải bản đầy đủ (PDF)

(79 trang)