... Horn 1 Datalog-Ngôn ngữ luật cho các CSDL Hồ CẩmHà - ĐHSPHN 14 Thủ tục đơngiản tính m ô hình nhỏ nhất Tr• Cho I là tậpsự kiện• Tính Tp(I) = {Q/ ∃ P 1 , P2, , Pn∈ I sao cho Q ← P 1 , ... ĐHSPHN 11 DatalogMộtmôhìnhcủamộtchương trình DATALOG là mộtthể hiệnthỏamãncáctínhchấtsau:a) Vớimọibộ (a 1 , , an) củamộtquanhệ B, B(a 1 , ,an) đúng trongthể hiệnb) VớimọiluậtQ(t 1 , t2, ... ẩn)Hồ CẩmHà - ĐHSPHN 18 Liên hệ DATALOG với ĐSQH DATALOG có sứcmạnh của ĐSQH vớisự cho phépđệ qui (ĐSQH không cho phép đệ qui) Phép hợp: 1 số luật cùng đầu Phép chiếu: mộtluậtcómộtsố biến...