Một hệ thống cơ sở dữ liệu dựa trên mô hình quan hệ phổ quát (UR) nhằm giải phóng người sử dụng từ chỉ định đường dẫn truy cập vào cả thể chất và về mức hợp lý. Tất cả thông tin về cấu trúc logic của các cơ sở dữ liệu (ví dụ, sơ đồ khái niệm của nó) được ẩn từ người sử dụng; họ chỉ cần biết tên thuộc tính, mà bây giờ mang theo tất cả các ngữ nghĩa của các cơ sở dữ liệu. Nghiên cứu trước đây về giao diện UR đã tập trung vào việc thiết kế và thực hiện các ngôn ngữ truy vấn mà phục vụ để tạo điều kiện thu hồi dữ liệu từ một cơ sở dữ liệu quan hệ. Mặt khác, bản cập nhật được luôn luôn xử lý như trước, có nghĩa là người dùng vẫn phải biết cấu trúc logic của các cơ sở dữ liệu trong trường hợp họ muốn chèn, xóa, hoặc sửa đổi các tuple. Trong bài báo này, các khái niệm cơ bản một giao diện UR, mà thực sự là "phổ quát", được trình bày; nó được dựa trên mô hình UR, và nó cho phép không chỉ truy vấn mà còn cập nhật: Kết hợp của các thuộc tính có thể tham gia vào một hoạt động update-("đối tượng") đã được xác định trong giai đoạn thiết kế cơ sở dữ liệu, và sau đó được thể hiện vào chương trình cơ sở dữ liệu bằng một thuật toán tổng hợp mở rộng. Chúng tạo thành cơ sở cho bất kỳ hoạt động chèn vào hoặc xóa. Một định nghĩa chính xác về "insertable" tuples, và các Insert và xóa tác trong bối cảnh mới này, được đưa ra. Sau đó nó được chứng minh rằng những hoạt động sửa đổi một trạng thái cơ sở dữ liệu trong một cách mà một trường hợp người đại diện luôn luôn tồn tại.
Điều này được thực hiện bằng cách cung cấp một phiên bản chi tiết hơn về tình trạng độc đáo Sagiv và bằng cách khám phá cấu trúc của các đối tượng nonunique. Từ cơ sở dữ liệu cơ bản luôn luôn có một người đại diện theo dụ, trường hợp này có thể được sử dụng để xác định các chức năng cửa sổ để thu hồi. Nó được thể hiện rằng nó vẫn còn có thể tính toán các cửa sổ bằng một liên minh mở rộng tối thiểu tham gia.
đang được dịch, vui lòng đợi..
