Giáo trình Cơ sở dữ liệu 2 Phần 2 - ĐH Thái Nguyên

. P(Xl, X2, , Xn) ← Q1(x11, X 12, ,X1,mi), Q2(X21, X 22, ,X2,m2), , Qr(xr1 , Xr2, . . . ,Xr,mi), e P đúng nếu các biểu thức: Q1 (C11 ,C 12 , … ,C1 ,m1)^Q2(C21,C 22, … ,C2,m2)^ . . . ^Q1(Cr1, Cr2,…,Cr,mi). định là dạng đặc biệt của CSDL chuẩn hay tổng quát. 2. 2 .2. Lý thuyết mô hình đối với cơ sở dữ liệu quan hệ 2. 2 .2. 1. Nhìn nhận cơ sở dữ liệu theo quan điểm 1ogic Một CSDL có thể được nhìn nhận. lập trình logic. - Ngoài việc dùng logic để diễn tả các câu CSDL, người ta còn dùng logic để diễn tả những câu hỏi và các điều kiện toàn vẹn. 2. 2- Cơ sở dữ liệu suy diễn 2. 2.1. Mô hình cơ sở