Hệ QTCSDL suy diễnTrước hết đó là một hệ QTCSDL: có ngôn ngữ DDL, DML Đem cho người dùng một giao diện có ngôn ngữ luật, cho phép: từ các quan hệ cơ sở (lưu trữ trong CSDL cài đặt) suy diễn ra những quan hệ mới (CSDL tiềm ẩn) | 1 Datalog- Ngôn ngữ luật cho các CSDL Hệ QTCSDL suy diên Trước hết đó là một hệ QTCSDL có ngôn ngữ DDL DML Đem cho người dùng một giao diện có ngôn ngữ luật cho phép từ các quan hệ cơ sở lưu trữ trong CSDL cài đặt suy diễn ra những quan hệ mới CSDL tiềm ẩn Hồ Cẩm Hà - ĐHSPHN 2 Các ngôn ngữ luật đối với các CSDL Một ngôn ngữ luật phải là tập hợp và phi thủ tục dễ giao diện với một hệ QTCSDL dễ dàng được dịch thành một chương trình của đại số quan hệ mở rộng Hồ Cẩm Hà - ĐHSPHN