Mô hình dữ liệu hướng đối tượng hỗ trợ kế thừa bội, cho phép một lớp được kế thừa từ một hay nhiều lớp (kiểu). Chính cơ chế này sẽ dẫn đến nhiều những vấn đề nhập nhằng về kiển dữ liệu và các phương thức sử dụng.
Person + salary: int + readInfo() Employee + job: String + readInfo() Developer + project: String + readInfo() PartTimeWorker
Vấn đề đặt ra là một hệ thống hướng đối tượng phải có những tính chất gì để đảm bảo tính nhất quán dữ liệu và phi mâu thuẫn?
Trả lời cho câu hỏi này, trong bài báo “Tính đúng của lược đồ CSDL hướng đối tượng” (TC TH & ĐKH, T. 16, S.3, 2000), chúng tôi đã nghiên cứu các tính chất của quá trình kế thừa kiểu (lớp) trong lược đồ dữ liệu đối tượng và đã chỉ ra rằng
Quan hệ kế thừa sẽ tạo ra một thứ tự bộ phận
Phép hội kiểu của τ1 ↓ τ2 nếu nó xác định thì kết quả là kiểu con chung lớn nhất của τ1 và τ2
Một lược đồ đối tượng có thể xảy ra sự xung đột về kiểu khi có ít nhất một cặp kiểu cha của một kiểu con (được kế thừa bội) và không tương thích với nhau, nghĩa là phép hội của các kiểu cha không xác định.
Lược đồ đối tượng có thể biểu diễn dưới dạng s-đồ thị (đồ thị đặc trưng cho quan hệ kế thừa kiểu của lược đồ) đối tượng. Trên cơ sở nghiên cứu các tính chất đường đi trong s-đồ thị chúng khẳng định phụ thuộc dữ liệu trong CSDL ĐT là loại phụ đối tượng theo đường dẫn.
S-đồ thị có xung đột kiểu (có mâu thuẫn dữ liệu) khi và chỉ khi có ít nhất 2 đường đi tựa tương đẳng cùng bắt đầu từ một đỉnh và dẫn đến 2 đỉnh đích là 2 kiểu không tương thích với nhau (phép hội kiểu không xác định) .