2.5.1. Cấu trúc đối tượng
Tập các cấu trúc đối tượng có thể định nghĩa trong mô Tập các cấu trúc đối tượng có thể định nghĩa trong mơ hình của chúng ta là rất gần với tập các sơ đồ có thể của các cơ hình của chúng ta là rất gần với tập các sơ đồ có thể của các cơ sở dữ liệu trong mơ hình phân cấp. Chúng ta có thể định nghĩa sở dữ liệu trong mơ hình phân cấp. Chúng ta có thể định nghĩa một tập các kiểu đối tượng cho phép cùng với sự cài đặt vật lý dự một tập các kiểu đối tượng cho phép cùng với sự cài đặt vật lý dự
định của chúng một cách đệ qui như sau: định của chúng một cách đệ qui như sau:
Kiểu dữ liệu nguyên tố, có nghĩa là số nguyên, số thực Kiểu dữ liệu nguyên tố, có nghĩa là số nguyên, số thực hay chuỗi ký tự có độ dài cố định hay độ dài thay đổi, là một kiểu hay chuỗi ký tự có độ dài cố định hay độ dài thay đổi, là một kiểu
đối tượng. đối tượng.
2828 28
Nếu T là một kiểu đối tượng thì SETOF(T) cũng là một Nếu T là một kiểu đối tượng thì SETOF(T) cũng là một kiểu đối tượng. Một đối tượng có kiểu là SETOF(T) là một tập kiểu đối tượng. Một đối tượng có kiểu là SETOF(T) là một tập hợp các đối tượng có kiểu T. Do vậy, SETOF(T) cịn được gọi là hợp các đối tượng có kiểu T. Do vậy, SETOF(T) cịn được gọi là
kiểu tập. kiểu tập.
Nếu T1, T2…., Tk là các kiểu đối tượng thì Nếu T1, T2…., Tk là các kiểu đối tượng thì TUPLEOF(T1, T2, ..Tk) là một kiểu đối tượng. Một kiểu đối tượng TUPLEOF(T1, T2, ..Tk) là một kiểu đối tượng. Một kiểu đối tượng này là một k-bộ, trong đó thành phần thứ i của k-bộ có kiểu Ti. Do này là một k-bộ, trong đó thành phần thứ i của k-bộ có kiểu Ti. Do
vậy, TUPLEOF(T1, T2, ..Tk) cịn được gọi là kiểu bộ. vậy, TUPLEOF(T1, T2, ..Tk) còn được gọi là kiểu bộ.
2929 29