LỜI NÓI ĐẦU
Trong thực tế cuộc sống thường có nhiều trường hợp mà tri thức có giá trị
là không hoàn chỉnh mà nó biểu diễn nhiều trạng thái có thể của thế giới bên
ngoài, chưa biết trạng thái nào tương ứng với tình huống thực tế của thế giới bên
ngoài. Tri thức không hoàn chỉnh có thể có hai loại khác nhau, như: Tri thức là
không đầy đủ nếu nó biểu diễn các trạng thái khác nhau, một trong những trạng
thái đó là đúng với thế giới bên ngoài. Ngược lại, tri thức là không chắc chắn
nếu nó biểu diễn các trạng thái khác nhau mà có thể được thoã mãn hay gần là
đúng với thế giới bên ngoài.
Tri thức không hoàn chỉnh có thể được xem xét dưới hai góc độ khác nhau,
đó là: Tiếp cận dựa theo đại số hoặc tiếp cận theo logic. Chúng ta đưa ra cả hai
cách tiếp cận trong quan hệ với mô hình quan hệ chuẩn, cung cấp cơ sở cho sự
phát triển tiếp theo.
Nghiên cứu tri thức không hoàn chỉnh đã là một lĩnh vực thực sự của việc
nghiên cứu, đặc biệt trong phạm vi của cơ sở dữ liệu quan hệ. Tuy nhiên, do sự
phức tạp của việc thao tác tri thức không hoàn chỉnh, cho nên cho đến nay có rất
ít kết quả thực tế được đưa ra. Trong luận văn này tôi chỉ đưa ra một cái nhìn
tổng quan về sự không đầy đủ và không chắc chắn trong cơ sở dữ liệu quan hệ.
Tập trung vào việc đưa ra một sự trình bày thống nhất cho các cách tiếp cận và
các kết quả khác nhau được tìm thấy trong tài liệu, như vậy cung cấp một trình
độ phát triển của khoa học kỹ thuật ở một giai đoạn cụ thể trong lĩnh vực nhất
định.
Trong luận văn này chúng ta tập trung nghiên cứu chi tiết kiểu của tri thức
không chắc chắn, hay thông tin xác suất trên cơ sở logic và đại số. Các phép toán
đại số quan hệ được đưa ra cho các quan hệ xác suất, và chúng ta chứng minh
tính đúng đắn của chúng. Thêm vào đó, cơ sở dữ liệu xác suất được chính thức
.PDF 
107 
571 
109 
