The input of the procedure is a set

The input of the procedure is a set of integrity constraints to be maintained on the database as well as an update pattern describing a kind of updates that the database can receive; the produced output is the set of simplified integrity constraints that should be checked upon reception of an update matching the given pattern

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

Đầu vào của các thủ tục là một tập các ràng buộc toàn vẹn được duy trì trên cơ sở dữ liệu cũng như một mẫu Cập Nhật mô tả các loại thông tin Cập Nhật cơ sở dữ liệu có thể nhận được; sản lượng sản xuất là tập các ràng buộc toàn vẹn đơn giản nên được kiểm tra khi nhận một bản Cập Nhật phù hợp với các mô hình được đưa ra

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

Các đầu vào của thủ tục là một tập các ràng buộc toàn vẹn được duy trì trên cơ sở dữ liệu cũng như một mô hình cập nhật mô tả một loại cập nhật các cơ sở dữ liệu có thể nhận được; sản lượng sản xuất là tập hợp các ràng buộc toàn vẹn đơn giản mà cần được kiểm tra sau khi nhận được một bản cập nhật phù hợp với các mô hình cho