Một số khái niệm

1 2 CÁC HỆ THỐNG THÔNG TIN THÔNG DỤNG

4.3.1. Một số khái niệm

Domain - Miền

Domain là một tập hợp không rỗng D. Để biểu diễn một phần tử thuộc D, ta viết

ED. Miền (domain) là một tập các giá trị hoặc các đối tượng.

Gọi D1, D2, ...Dn, là n miền, khi đó D là tập hợp các phần tử của tích Đề các D1D2...Dn. Cũng cóthể số lượng các phần tử của D bị giảm đi bởi một điều kiện xác định cho trước.

Thuộc tính (Attribute)

Thuộc tínhlà một lớp dữ liệu mô tả hành vi, tính chất phát sinh trong CSDL, nghĩa là nó chỉ dựa vào tính chất của lớp dữ liệu này.

Mỗi thuộc tính được gắn với một và chỉ một domain.

Một mục dữ liệu (item) của một thuộc tính trong CSDL là một giá trị của domain của thuộc tính này.

Một thuộc tính gọi là có tính joined nếu nó được định nghĩa từ một vài các thuộc tính khác; do đó domain của nó là tập con của tích Đề các các domain của các thuộc tính này.

Ký hiệu:

- Gọi c là giá trị của thuộc tính C. Nếu C được tạo thành từ các thuộc tính C1, C2,...,Cn, khi đó ta ký hiệu c.C1 và c(C1) chỉ giá trị c đối với thuộc tính C1.

- Nếu thuộc tính C có các domain D1, D2, ...Dn thì c.D1 và c(D1) chỉ giá trị c trong domain D1.

Quan hệ

Một quan hệ (Relation) n-R là tập R+ các thuộc tính của R và một vị từ mô tả bởi

R chứa các biến số tự do (ví dụ ,) tương ứng các thuộc tính của R+ và nhận các giá trị trong các domain của các thuộc tính đó.

Một bộ (n-tuple) của R là một phần tử của tính Đề các của các domain tương ứng với n thuộc tính của R.

87

Một thực thể (entity)r của R là một bộ của R thoả mãn vị từ R (r)=true. Một cách đơn giản, quan hệ R là một bảng dữ liệu hai chiều.

Lược đồ quan hệ

Lược đồ quan hệ là sự hợp thành của hai yếu tố:

- Một cấu trúc, gồm tên quan hệ và danh sách các thuộc tính (mỗi thuộc tính gắn với một miền) thường cho dưới dạng R(A1A2…An)

- Một tập hợp các ràng buộc toàn vẹn, tức là các điều kiện mà mọi quan hệ trong lược đồ phải thoả mãn.

- Về mặt hình thức: Lược đồ quan hệ  cho bởi một cặp gồm hai thành phần =<U+, F> , trong đó:

U+: Là tập các thuộc tính

F: Là tập các phụ thuộc hàm trên U+.

- Cho R là một quan hệ trên tập thuộc tính U+, ta nói R thuộc lược đồ quan hệ =<U+, F> nếu R thoả mãn tất cả các phụ thuộc hàm của tập F.