Phân tích cơ sở dữ liệu quản lí cho cửa hàng thuốc tân dược

Từ trước đến nay trong giới tin học người ta thường nhắc về định nghĩa cơ sở dữ liệu và hệ quản trị cơ sở dữ liệu là gì?

PHẦN I CƠ SỞ DỮ LIỆU CHƯƠNG 1: KHÁI QUÁT VỀ CƠ SỞ DỮ LIỆU

1.1 Khái niệm cơ bản về hệ quản trị cơ sở dữ liệu.

Từ trước đến nay trong giới tin học người ta thường nhắc về định nghĩa

cơ sở dữ liệu và hệ quản trị cơ sở dữ liệu là gì? Cơ sở dữ liệu bao gồm các

thông tin được lưu trữ trong máy theo một quy định nào đó Phần chương

trình để có thể xử lý, thay đổi dữ liệu được gọi là hệ quan trị dữ liệu nó có

nhiệm vụ rất quan trọng là một bộ diễn dịch với ngôn ngữ bậc cao nhằm giúp

người sử dụng có thể dùng được hệ thống mà không cần quan tâm đến thuật

toán chi tiết hoặc biểu diễn dữ liệu trong máy

1.2 Kiến trúc một hệ cơ sở dữ liệu

Một cơ sở dữ liệu được phân làm nhiều mức khác nhau Ta có thể phân

thành một cơ sở dữ liệu đơn giản và một hệ phần mềm QTCSDL

Phần CSDL vật lý: Là các tệp dữ liệu theo một cấu trúc nào đó được

lưu trên các thiết bị nhớ thứ cấp (như đĩa từ, băng từ…)

Phần CSDL mức khái niệm: Là một sự biểu diễn trừu tượng của CSDL

vật lý

Các khung nhìn: Là cách nhìn, là quan niệm của từng người sử dụng

đối với CSDL mức khái niệm Sự khác nhau giữa khung nhìn và mức khái

CSDL mức vật lý

Thể hiện (instance).

Khi CSDL đã được thiết kế, người ta thường quan tâm đến “bộ khung”hay còn gọi là “mẫu” của CSDL Dữ liệu hiện có trong CSDL gọi là thể hiệncủa CSDL, khi dữ liệu thay đổi trong một chu kỳ thời gian nào đó thì “bộkhung” của CSDL vẫn không thay đổi

Lược đồ (Scheme).

Thường “bộ khung” nêu trên bao gồm một số danh mục, hoặc chỉ tiêuhoặc một số kiểu của các thực thể trong CSDL Giữa các thực thể có thể cómối quan hệ nào đó với nhau Người ta sử dụng thuật ngữ “lược đồ” để thaythế cho khái niệm “bộ khung”

Lược đồ khái niệm là bộ khung của CSDL khái niệm, còn lược đồ vật

lý dùng cho bộ khung của CSDL mức vật lý, khung nhìn được gọi là lược đồcon

Cơ sở dữ liệu vật lý.

Mức thấp nhất của kiến trúc một hệ thống CSDL vật lý, CSDL vật lý

có thể được xem là tổ chức ở nhiều mức khác nhau như bản ghi (record) vàtệp (file)

Lược đồ khái niệm và mô hình dữ liệu.

Lược đồ khái niệm là sự biểu diễn thế giới thực bằng một loạt ngôngngữ phù hợp QTCSDL cung cấp ngôn ngữ định nghĩa dữ liệu để xác địnhlược đồ khái niệm Đây là ngôn ngữ bậc cao có khả năng mô tả lược đồ dữliệu bằng cách biểu diễn của mô hình dữ liệu

Hiện có nhiều loại mô hình dữ liệu Ba loại mô hình cơ bản đang được

sử dụng là:

1 Mô hình phân cấp (hierachical model): Mô hình dữ liệu là một cây,trong đó các nút biểu diễn các tập thực thể, giữa nút con và nút cha được liên

hệ theo một mối quan hệ xác định

2 Mô hình dưới (Network model): Mô hình được biểu diễn là một đồ t

3 Mô hình quan hệ (Relational model): Mô hình này dựa trên cơ sởkhái niệm lý thuyết tập hợp các quan hệ, tức là tập các k – bộ với k cố định.

Tính độc lập dữ liệu.

Tính độc lập dữ liệu là tính bất biến các hệ ứng dụng với các thay đổitrong cấu trúc truy nhập và chiến lược truy nhập

CHƯƠNG 2: MÔ HÌNH CƠ SỞ DỮ LIỆU QUAN HỆ.

2.1 Các khái niệm cơ bản.

Khái niệm toán học của mô hình quan hệ là quan hệ hiểu theo nghĩa lý thuyết tập hợp: Là tập con của tích Đề – Các của các miền Miền (domain) làmột tập các giá trị

Ví dụ: Tập các số nguyên, tập các xâu ký tự tạo thành tên người trongtiếng anh có độ dài không quá 30 ký tự, tập hai só {0,1} là một miền…

Gọi D1, D2…, Dn là n miền Tích Đề – Các của n miền là D1 x D2x…x

Dn là tập tất cả n – bộ (n – tuples v1, v2…, vn) sao cho viDi với i = 1…n, v.v

Ví dụ: n = 2, D1 = {0,1}, D2 = {a, b, c} khi đó

D1x D2 = {(0,a), (0,b), (0,c), (1,a),(1,b), (1,c)}

Quan hệ: Quan hệ là một tập hợp con của tích Đề – Các của một hoặcnhiều miền Như vậy mối quan hệ có thể là vô hạn Người ta giả thiết rằng,mối quan hệ là một tập hữu hạn

Mỗi hàng của quan hệ gọi là bộ Quan hệ là tập con của tích Đề – CácD1 x D2 x…xDn gọi là quan hệ n – ngôi Khi đó mỗi bộ của quan hệ có nthành phần (n cột) Các cột của quan hệ gọi là thuộc tính (attributes) Vậyngười ta định nghĩa quan hệ như sau:

Định nghĩa 2.1:

Gọi R = {A 1 ,…A n } là một tập hữu hạn các thuộc tính, mỗi thuộc tính A i

R=(A 1 ,…A n ) là tập con của tích Đề Các.

rdom (A 1 )x…xdom (A 2 ).

Khi đó ký hiệu là rđ hoặc r(A1,…,An)

Ví dụ: Quan hệ NHAN _ VIEN bao gồm các thuộc tính HO_TEN,NAM_SINH, NOI_LAM_VIEC và LUONG là quan hệ 4 ngôi

T1= (Le Van A, 1960, Vien CNTT, 425) là một quan hệ NHAN_ VIEN

Trong lược đồ quan hệ có thể có rất nhiều khoá Việc tìm tất cả cáckhoá của lược đồ quan hệ là rất khó khăn

Để có thể định nghĩa khoá ta cần lưu ý rằng, nếu K’ là khoá của quan hệ

r (A1,…, An) vì K’  K R, thì K cũng là khoá của r, nghĩa là bất kỳ t1, t2 r

từ t1 (K’)  t2 (K’) luôn có t1 (K)  t2 (K)

Định nghĩa 2.2:

Khoá của quan hệ r trên tập thuôc tính R= { A1,…,An}là tập con KRsao cho bất kỳ bộ khác nhau t1,t2r luôn thoả t1 (K)  t2 (K) bất kỳ tập conthực sự K’  K nào đó đều không có tính đó Tập K là siêu khoá của quan hệ

r nếu K là khoá của quan hệ r

Ví dụ: Quan hệ HANG _HOA

1 Bộ mới được thêm vào là không phù hợp với lược đồ quan hệ chotrước

2 Một số giá trị của một số thuộc tính nằm ngoài miền giá trị của thuộctính đó

3 Giá trị khoá của bộ mới có thể là giá trị đã cho trong quan hệ đanglưu trữ

Do vậy, tuỳ từng hệ cụ thể có những cách khắc phục riêng

b/ Phép loại bỏ (del)

Phép loại bỏ (del) là phép xoá một bộ ra khỏi quan hệ cho trước Phéploại bỏ có dạng như sau:

r = r – tDEL (r;A1= d1, A2= d2,…,An) hoặc DEL (r,d1, d2,…dn)

Ví dụ: Cần loại bỏ bộ t1 khỏi quan hệ NHAN _ VIEN

Tuy nhiên không phải lúc nào phép loại bỏ cũng cần đầy đủ thông tin

về cả bộ cần loại Nếu có giá trị về bộ đó tại các thuộc tính khoá K= {B1,B2,

…, B1} khi đó phép loại bỏ chỉ cần viết:

DEL (r; B1 = e1, B2 = e2,…, B1= e1)

Ví dụ: Cần loại bỏ sắt phi 6 ra khỏi quan hệ HANG _ HOA, khi đó chỉcần viết:

DEL (HANG _ HOA; MSSMH = 10101)

c/ Phép thay đổi (CH)

Gọi tập (C1,…Cp)  {A1, An} là tập các thuộc tính mà tại đó các giátrị của bộ cần thay đổi, khi đó phép thay đổi có dạng:

R = r \ t U t’ CH(r;A1d1…,A2 = D2,…,An = Dn; C1 = e1, C2 = e2,…,Cp = ep)

Nếu K = {B1,…Bm} là khoá của quan hệ khi đó cần viết:

CH(r; B1 = d1, B2 = d2,…,Bm= dm, C1= e1, C2 = e2,…,Cp = ep)

Ví dụ: Cần thay đổi số lượng của sắt phi 8 trong quan hệ HANG_HOAcòn 150 tấn Khi đó phép thay đổi có dạng:

CH (HANG _ HOA; MSMH = 10102; SOLUONg = 150)

Phép thay đổi là phép tính thuận lợi, hay dùng Cũng có thể không dùngphép thay đổi mà dùng tổ hợp của phép loại bỏ và phép chèn một bộ mới Dovậy những sai sót của phép thay đổi cũng sẽ xảy ra tương tự như phép chèn vàphép loại bỏ

CHƯƠNG 3: LÝ THUYẾT CƠ SỞ DỮ LIỆU QUAN HỆ

3.1 Phụ thuộc hàm.

Khái niệm về phụ thuộc hàm (trong một quan hệ) là một quan niệm cótầm quan trọng hết sức đối với việc thiết kế mô hình dữ liệu Năm 1970 EFCodd đã mô tả phụ thuộc hàm trong mô hình dữ liệu quan hệ, nhằm giải quyếtviệc phân rã không tổn thất thông tin Sau đây là khái niệm một cách hìnhthức

Định nghĩa 3.1:

Cho R(U) là một lược đồ quan hệ với U = {A1,…An} là tập thuộc tính

X và Y là tập con của U.

Nói rằng XY (X xác định hàm Y hay Y phụ thuộc hàm vào X) nếu r

= t2[X] thì t1[Y] = t2[Y].

Phụ thuộc hàm ký hiệu là FD

Chú ý: Phụ thuộc hàm chỉ xét các phụ thuộc hàm thoả mãn cho mọi

quan hệ trên lược đồ tương ứng của nó Không thể xem xét một phụ thuộchàm thoả một quan hệ r đặc biệt (ví dụ quan hệ rỗng) của lược đồ R rồi sau đóquy nạp rằng phụ thuộc đó là thoả trên R

Ví dụ: Trong quan hệ S của hãng cung ứng, một trong số các thuộc tínhSNAME, STATUS, CITY đều phụ thuộc vào thuộc tính S# Mỗi giá trị S#tồn tại vừa đúng một giá trị tương ứng đối với từng thuộc tính SNAME,STATUS và CITY Khi đó có thể viết:

S# SNAME, S# STATUS, S# CITY

3.1.1 Hệ tiên đề cho phụ thuộc hàm.

Gọi F là tập tất cả các phụ thuộc hàm đối với lược đồ quan hệ R (U) và

X Y là một phụ thuộc hàm, X, Y U Nói rằng X Y được suy diễn logic

từ F nếu mối quan hệ r trên R (U) đều thoả các phụ thuộc hàm của F thì cũng

Chẳng hạn F = {A B, BC] thì A C suy ra từ F Gọi F+ là bao đóngcủa F, tức là tất cả các phụ thuộc hàm được suy diễn logic từ F Nếu F = F+ thì

F là họ đầy đủ của các phụ thuộc hàm

Để có thể xác định khoá của một lược đồ quan hệ và các suy diễn logicgiữa các phụ thuộc hàm cần thiết phải tính được F+ từ F Do đó đòi hỏi phải

có các hệ tiền đề Tập các quy tắc của hệ tiền đề được Armstrong đưa ra vàđược gọi là hệ tiên đề Armstrong

Gọi R(U) là lược đồ quan hệ U = {A1…,An} là tập các thuộc tính X, Y,

Z, W R Hệ tiên đề Armstrong bao gồm:

1 Phản xạ: Nếu Y  X thì XY

2 Tăng trưởng: Nếu Z U và XY thì XZ YZ trong đó ký hiệu XZ

là hợp của hai tập X và Y thay cho ký hiệu X Y

3 Bắc cầu: Nếu X Y và Y Z thì X Z

a Luật hợp: Nếu X Y và X Z thì X YZ

b Luật tựa bắc cầu: Nếu X Y và WYZ thì XW ZX

c Luật tách: Nếu X Y và X Y thì X Z

3.1.2 Sơ đồ quan hệ.

Chúng ta gọi là sơ đồ quan hệ (SDQH)s là một cặp <R,F> , ở đây R làtập hợp các thuộc tính và F là tập các phụ thuộc hàm trên R Ký hiệu F+ là tậptất cả các phụ thuộc hàm dẫn xuất từ F bằng việc áp dụng các quy tắc trong hệtiên đề Armstrong

Đặt A+ = {a: A{a}F+ A+ được gọi là bao đóng của A trên s

Có thể thấy rằng A BF+ nếu và chỉ nếu B A+

Tương tự chúng ta có thể đặt Ar+ = {a: A{a}} Ar+ được gọi là baođóng của A trên r Theo định nghĩa trên chúng ta thấy nếu s=<R,F> là sơ đồquan hệ thì có quan hệ r trên R sao cho Fr = F+ Quan hệ r như vậy chúng tagọi là quan hệ Armstrong của s

Thuật toán tính bao đóng.

Việc tính toán bao đóng F+ của tập các phụ thuộc hàm trong trườnghợp tổng quát là rất khó khăn và tốn kém thời gian bởi vì các tập phụ thuộchàm thuộc F+ rất lớn cho dù F có thể là nhỏ Chẳng hạn F = {A B1, AB2,

…ABn} F+ khi đó cũng được tính cả những phụ thuộc hàm A B với Y

{B1,…,Bn} Như vậy sẽ có 2n tập con Y Nhưng việc tính X+, bao đóng củatập thuộc tính X lại không khó Theo bổ đề 3.3 việc kiểm tra (X Y) F+không khó hơn việc tính X+ Tính bao đóng X+ sẽ được thể hiện qua bao đóngsau:

Thuật toán: Tính bao đóng của tập các thuộc tính đối với một tập cácphụ thuộc hàm

Vào: Tập U hữu hạn các thuộc tính, Tập các phụ thuộc hàm F trên U và

X  U

Ra: X+, bao đóng của X đối với F

Phương pháp: Tính liên tiếp các thuộc tính X0,…, Xn theo quy tắc

1 X0 = X

2 Xi+1= X1  A sao cho  (Y Z) F, AZ,YXi

Vì rằng X= X0 …U, U là hữu hạn cho nên sẽ tồn tại một chỉ số inào đó mà Xi = X i+1 khi đó X+= Xi

3.1.3 Phủ của tập các phụ thuộc hàm

Gọi F là G là tập các phụ thuộc hàm Nói rằng F và G là tương đươngnếu F+ = G+ Nếu Fvà G là tương đương đôi khi còn nói F phủ G ( và G phủF) Nếu tồn tại một phụ thuộc hàm Y  Z mà thuộc F mà không thuộc G+ thìchắc chắn F+  G+

Nếu mỗi phụ thuộc hàm F cũng thuộc G+ thì mỗi phụ thuộc hàm V 

W thuộc F+ cũng thuộc G+

Để kiểm tra mỗi phụ thuộc G là phụ thuộc F+ quá trình làm hoàn toàntương tự Do đó F và G là tương đương khi và chỉ khi mỗi phụ thuộc hàm F làthuộc G+ và mỗi phụ thuộc G là thuộc F+

Bổ đề 3.4

Mỗi các phụ thuộc hàm F đều được phủ bằng tập các phụ thuộc hàm G

mà vế phải các phụ thuộc hàm đó không quá một thuộc tính

Định lý 3.2

Mỗi tập phụ thuộc hàm F đều tương đương với một tập F+ tối thiểu

3.2 Phép tách các lược đồ quan hệ

Phép tách lược đồ quan hệ R{A1,…,An} là việc thay thế lược đồ quan

hệ R bằng các tập lược đồ {R1,…,Rk }, trong đó Ri R,i=1,…, k và R= R1R2…Rk

Ở đây không đòi hỏi các lược đồ Ri phải là phân biệt Mục tiêu củaphép tách chủ yếu là loại bỏ các dị thường dữ liệu gây ra

Ví dụ: Cho lược đồ quan hệ giươì cung cấp

S(SMANE,AĐ,PRO,PRICE)

Và giả sử có các phụ thuộc hàm: SNAME  ADD; SNAME, PROPRICE

Lược đồ S có thể được thay bằng hai lược đồ khác

S1(SNAME,ADD) và S2 (SNAME,PRO, PRICE)

Kết nối không mất mát thông tin

Nếu R là lược đồ quan hệ được tách thành các lược đồ con R1,R2,…, Rk

và D là tập các phụ thuộc dữ liệu, nói rằng phép tách là - kết nối không mấtmát thông tin đối với D nếu với mỗi quan hệ r trên R thoả D:

R = R1 (r)* R2 (r)*… *Rk (r) tức là r được tạo nên từ phép kết nối

tự nhiên của các hình chiếu của nó trên các Ri,i = 1,…, K

Sau đây là một số tính chất của kết nối không mất mát thông tin

Tập các lược đồ:

P= (R1,…,Rk) được thay thế cho lược đồ R Gọi mp là ánh xạ xác địnhnhờ mp (r) = * Ri (r), có nghĩa là mp (r) là kết nối của các phép chiếu của rtrên các lược đồ con trong p Điều kiện để kết nối không mất mát thông tinđối với D được biểu diễn như sau:

Với mọi r thoả D, r = mp (r)

3.3 Chuẩn hoá lược đồ quan hệ

Chuẩn hoá là quan hệ trong đó mỗi miền của thuộc tính chỉ chứa nhữnggiá trị nguyên tố tức là không phân nhỏ được nữa và do đó giá trị trong quan

hệ cũng là nguyên tố

Chuẩn hoá là quan hệ trong đó mỗi miền của thuộc tính chỉ chứa nhữnggiá trị nguyên tố tức là không phân nhỏ được nữa và do đó mỗi giá trị trongquan hệ cũng là nguyên tố

Quan hệ có chứa các miền giá trị là không nguyên tố gọi là quan hệchuẩn hoá Mỗi quan hệ chuẩn hoá có thể thành một hoặc nhiều quan hệchuẩn hoá khác và không làm mất mát thông tin

1

200

2

300

2

400

5

00

1

Hình – 2: Quan hệ không chuẩn hoá

00

1

1 200

Trước khi mô tả chi tiết cac dạng chuẩn hoá cần thiết đưa ra một khái niệm sau đây

Cho một lược đồ quan hệ R trên tập thuộc tính U= {A1,…,} Thuộc tínhA U được gọi là thuộc tính khoá nếu A là thành phụ thuộc môt khoá nào đó của R, ngược lại A được gọi là thuộc tính không khoá

Định nghĩa:

Cho lược đồ quan hệ R(U) trên tập thuộc tính U= {A1,…, Ak) X và Y

là hai tập thuộc tính khác nhau X  U và Y  U

Y là phụ thuộc hàm đầy đủ vào X nếu Y là phụ thuộc hàm vào X nhữngkhông phụ vào bất kỳ một tập họp con thực sự nào của X

Trong lý thuyết ban đầu Codd đưa ra có ba dạng chuẩn của quan hệ:

Dạng không chuẩn hoá

Dạng chuẩn thứ nhất (First Normal Form, viết tắt là 1NF)

Dạng chuẩn thứ hai (2NF)Dạng chuẩn thứ ba (3NF)

3.3.1 Dạng chuẩn 1NF (First Normal Form)

Dạng chuẩn 1NF chỉ áp dụng cho file dữ liệu chứ không áp dụng cho

sơ đồ quan hệ hay nói cách khác chỉ liên quan đến dữ liệu chứ không liênquan đến cấu trúc Cụ thể là:

Lược đồ quan hệ R ở dạng chuẩn thứ hai nếu nó ở dạng chuẩn thứ nhất

và nếu mỗi thuộc tính không khoá của R là phụ thuộc hàm đầy đủ vào khoáchính

Như vậy dạng chuẩn hai đòi hỏi một lược đồ quan hệ R trước tiên phải

là dạng chuẩn 1NF và mọi thuộc tính thứ cấp đều phụ thuộc hàm hoàn toànvào bất kỳ một khoá tối tiểu nào, như vậy tính chất của dạng chuẩn hai phụthuộc vào 3 yếu tố;

1 Khoá tối tiểu

2 thuộc tính thứ cấp

3 Phụ thuộc hàm hoàn toàn

3.3.3 Dạng chuẩn thứ 3 (3NF)

Định nghĩa phụ thuộc bắc cầu

Để trình bày 3NF của các quan hệ, ở đây chúng ta đưa thêm vào kháiniệm về phụ thuộc bắc cầu

Cho một lược đồ quan hệ R(U); X là một tập con các thuộc tính X U,A là một thuộc tính thuộc U A được gọi là phụ thuộc bắc cầu X trên R nếu tồn tại một tập con Y của R sao cho X Y, Y  A

nhưngY  X (không xác định hàm) với A XY

Chúng ta có thể hiện tính bắc cầu qua sơ đồ:

Qua sơ đồ có thể thấy rằng A có thể xác định hàm Y Trong trườnghợp A  Y thì được gọi là tính bắc cầu chặt

 X tức là S Y là không thoả Chú ý rằng trong trường hợp này

XY và Y A không chỉ thoả trên R mà là nhưng phụ thuộc đã cho.Điều đó là đủ để nói rằng X  A suy ra từ tập các phụ thuộc hàm

Như vậy A là phụ thuộc vào khoá bắc cầu vào khoá chính SI

Ví dụ: Cho lược đồ quan hệ R (CSZ) với các phụ thuộc hàm CsZ,

X

Y

A

Trong lược đồ mọi thuộc tính đều là thuộc tính khoá Do vậy R là ở 3NF.

Ví dụ: cho lược đồ R (SIDM) và các phụ thuộc hàm SI  D, SD M

Ở đây chỉ có một khoá chính là SI Ro rằng R ở 2 Nf nhưng khôngphải ở 3NF

3.3.4 Dạng Chuẩn Boye- Codd

Định nghĩa

Lược đồ quan hệ R với tập các phụ thuộc hàm được gọi là ở dạngchuẩn Boey – Codd (Boey – Codd Normal Form, BCNF) nếu XA thoả trênR,A  X thì X là môt khoá của R

Ví dụ: Cho lược đồ quan hệ R (CRS) với các phụ hàm CSZ,ZC.Nhìn vào ví dụ trên, chúng ta nhận thấy rõ ràng R không là ở BCNF mà

là ở 3NF vì rằng Z C nhưng không phải là khoá của R

Từ ví dụ này chúng ta thấy rằng một lược đồ quan hệ có thể có 3Nfnhưng không là BCNF Do đó mỗi lược đồ ở BCNF là 3NF Để khảng địnhmột điều đó chúng ta có các định lý sau:

Định lý

Nếu một lược đồ quan hệ R với tập phụ thuộc hàm F là ở BCNF thì nó

là ở 3NF

3.4 Ngôn ngữ con dữ liệu DSL – ANPHA

Ngôn ngữ con dữ liệu SDL – ALPHA do E.F Codd đè xướng và được

sử dụng khá điển hình trong các hệ QTCSDL như INGRES, DAMAS, SQL

Để xác định ngôn ngữ, chúng ta xem rằng người sử dụng luôn cần mộtvùng làm việc, vùng nay tạo thành miền liên lạc giữa người sử dụng vàCSDL

Trong ngôn ngữ DSL- ALPHA người sử dụng được gả thiết là cóchiếm một số làm việc tuỳ ý

3.4.1 Biểu thức ALPHA

Định nghĩa

Biểu thức alpha đươc ký hiệu là

{<T1,t2,…, Tn> P},

Trong đó Ti,i= 1 n là tên các thuộc tính và P là tân từ

Biểu thức nhằm xác định quan hệ của những n – bộ dạng (v1,…,vn), vi

 dom (Ti),i=1, ,n sao cho bộ đó có thoả tân từ P

Danh sách < T1,…, Tn > gọi là danh sách đích, P còn gọi là biểu thứcđánh giá

Các phép tính dùng trong biểu thức alpha gồm các phép so sánh{=,>,>=,<,<=,} và các phép của đại số Boolean là and(và), or (hoặc) và not(không); và các dấu (,) để mô tả thứ tự thực hiện phép tính

Để hiểu rõ các câu lệch trong ngôn ngữ alpha chúng ta ví dụ một câulệnh tìm kiếm

GET W(NHAN_VIEN HO_TEN, NHAN _ VIEN LUONG): NHAN_VIEN LUONG >500

Câu lệnh DSL – ALPHA tương đương với biểu thức alpha

{ < NHAN VIEN HO_ TEN, NHAN _ VIEN LUONG>: NHAN _VIEN>500}

Trong đó W là vùng làm việc, GET là tên lệnh

Ví dụ về ba mối quan hệ S,PS và P

S1 P2200

S2 Jones 10 Paris S1 P3 400

S2 P1300

S3 Blacke 45 Paris S2 P2 400

S3 P2

P(P# Pname Color Weitght City

B.Phép tìm kiếm theo điều kiện.

Tìm số hiệu những hãng ở Paris có tình trạng lớn hơn 20

GETW (S.S#): S.CITY =’ PARIS’S STATUS>20

Kết quả: W (S#)

S3Trong ví dụ trước đó cũng như các ví dụ sau này dấu “:” có nghĩa “saocho”, biểu thức đi sau dấu “:” là biểu thức điều kiện hoặc tân từ; danh sáchđích chỉ rõ quan hệ S được chiếu trên các thuộc tính S# Kết quả chứa trongvùng W là một quan hệ chỉ còn một thuộc tính

Chú ý: Biểu thức điều kiện (tân từ) là một biểu thức có độ phức tạp bất

kỳ được viết theo nhưng quy tắc thông thường với các phép tính so sánh =,

,>, >=,<,<= và các phép tính của đại số Boolean là  (và), v(hoặc) và (không)

S3 30

Bình thường kết quả của GET là một quan hệ có thể chưa có thứ tự.Khi người sử dụng cần sắp xếp kết quả theo một các nào đó thì cần chỉ vàđưa vào vùng làm việc theo cách sau:

UP tên thuộc tính (tăng dần)

hoặc

DOWN tên thuộc tính (giảm dần),

Trong đó ưu tiên được tính từ trái qua phải

D Phép tìm kiếm bộ phận.

Tìm số hiệu của một hãng bất kỳ ở Paris

GET W (1) (S.S#): S.CITY = ‘Paris’