This thesis presents a general char

This thesis presents a general characterization of the simplification problem.

On one hand, simplification means to generate a set of integrity constraints whose satisfaction implies the satisfaction of the original constraints in the updated state

Kết quả (Việt) 1:

Luận án này thể hiện đặc tính chung của các vấn đề đơn giản hoá.Một mặt, đơn giản hóa có nghĩa là để tạo ra một tập các ràng buộc toàn vẹn sự hài lòng mà ngụ ý sự hài lòng của các khó khăn ban đầu tại tiểu bang Cập Nhật

Kết quả (Việt) 2:

Luận án này trình bày một đặc tính chung của các vấn đề đơn giản. Một mặt, đơn giản có nghĩa là để tạo ra một tập các ràng buộc toàn vẹn mà hài lòng ngụ ý sự hài lòng của những hạn chế ban đầu ở trạng thái được cập nhật