6, Cú pháp tổng quát của câu lệnh truy vấn SELECT của SQL

Selecl(tên QH) where (ĐK) giving (KQ)

7, Định nghĩa phụ thuộc hàm, Hệ tiên đề Amstrong, phát biều bài toán thành viên.

Cho RU là lược đồ quan hệ với U={A1,A2,…An} là tập các thuộc tính x và y là 2 tập con của U và ta nói rằng X xác định hàm Y or Y phụ thuộc hàm vào X (X->Y)

Nếu r là 1 QH xác định trên R(U) sao cho với bất kỳ 2 bộ  t1,t2 thộc r mà t1[x]=t2[x] thì t1[y]=t2[y]

-hệ tiên đề Amtrong

 Gọi F là tập  các phụ thuộc hàm đối với lược đồ qh RU và X->Y là 1 phụ thuộc hàm trong đó (X,Y thuộc U) ta nói rằng X->Y được suy diễn logic từ F, nếu mối qh r trên RU đều thỏa các phụ thuộc hàm của F thì cũng thỏa X->y

Tiên đề phản sạ

Nếu Y thuoc X thi X->y

Tăng trưởng

 Nếu x,y,z thuộc u

Nếu x->y thì xz->yz

Bắc cầu

Nếu x,y,z thuộc u

 Nếu x- >y và y->z thì x->z

Bài toán thành viên

Cho lược đồ qh r=(U,F)

 Trong đó U là tập các thuộc tính

F là tập các phụ thuọc hàm

Một phụ thuộc hàm f có được suy diễn ra tư F hay không (f thuoc F+)