... Để ý rằng vũ trụ Herbrand và cơ sở Herbrand của CSDL suy diễn xác định đều là những tập hữu hạn. 1.2 Cơ sở dữ liệu suy diễn 10 Định nghĩa 1.9 Cho P là CSDL suy diễn xỏc nh. ãV t IDB l v ... thức ti. 1.2 Cơ sở dữ liệu suy diễn 12 Định nghĩa 1.11 Cho P là CSDL suy diễn xác định. 1. Vũ trụ Herbrand của P, ký hiệu UP, là tập tất cả các hằng của P. 2. Cơ sở Herbrand của P, ... của P là duy nhất thì nó cũng được gọi là mô hình nhỏ nhất của P. 1.2 Cơ sở dữ liệu suy diễn 14 Ví dụ 1.1 Xét CSDL suy diễn xác định P gồm các quy tắc như sau: q(a,b) q(b,c) p(X,Y)...