Datalog - Ngôn ngữ luật cho các cơ sở dữ liệu
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)