Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Tính đúng đắn của lược đồ cơ sở dữ liệu hướng đối tượng.Kết quả của đề tài chứng minh quan điểm cho rằng, trong Pliocen-Đệ Tứ hoạt động kiến tạo vẫn tiếp tục xảy ra trong khu vực nghiên cứu với xu thế tăng mạnh dọc theo các đứt gãy hoạt động, đặc biệt là tại ranh giới của các miền cấu trúc có chế độ địa động lực khác biệt nhau (đứt gãy Nũi Né-Côn Sơn, Mãng cầu Phú Quý và KT.1090) | Tạp chí Tin học và Điều khiền học T. 16 S.3 2000 7-15 TÍNH ĐÚNG ĐẮN CỦA Lược Đồ cơ SỜ DỮ LIỆU HƯỚNG ĐỐI TƯỢNG ĐOÀN VĂN BAN Abstract. Inheritance in object-oriented systems allows compact open and readable software to be constructed 2 4 5 6 Powerful object models adopt multiple inheritance allowing a type or class to inherit from more than one supertype. Unfortunately this powerful modeling mechanism can generate inheritance conflicts which arise when the same property or operation is defined in more than one supertype or a property or operation already present in one supertype is locally redefined in subtype overriding 1 . In this article a graph-theoretic approach for object-oriented database schema correctness checking has been presented. Schema correctness which depends on the inheritance hierarchy is twofold it requires the absence of unsolvable inheritance conflicts and the termination of the inhertance process. 1. TÓM TẮT Trong cách tiếp cận hướng đối tượng cơ chế thừa kế cho phép chúng ta xây dựng được những phần mềm cô đọng rõ ràng và có tính mở hơn 2 4 5 6 Những mô hình mạnh đều chấp nhận cơ chế thừa kế bội cho phép một kiểu hay lớp thừa kế tù nhiều hơn một kiểu cơ sờ. Nhưng cũng chính từ cơ chế mạnh này lại có thể tạo ra những xung đột giữa các kiểu thừa kế khi một tính chất thuộc tính được thừa ké từ một số nhĩều hơn một kiểu cha mà những kiểu này lại không tương thích vói nhau 1 . Tiếp theo những kết quả đã nêu ở 3 và dựa vào các tính chất cơ bản của quá trình thừa kế chúng tôi giới thiệu một cách tiếp cận theo lý thuyết dồ thị để kiểm tra tính đúng đắn cúa lược đồ cơ SỞ dữ liệu. Tính đúng đắn của lược đồ phụ thuộc vào tính phi mâu thuẫn và sự kết thúc ciỉa quá trình thừa kế kiểu trong hệ thống. 2. GIÓI THIỆU Trong bài báo này chúng ta sủ dụng một số ký hiệu khái niệm và nhiều tính chất thừa kế kiểu trong hệ thống đối tượng đã được giới thiệu trong 3 . Để tiện theo dõi chúng ta hãy nhắc lại một số khái niệm chính. Trong hệ thống kiểu ngưòi ta thường sử
