Định nghĩa 3 (Datatype Biểu hiện hữu). Pression Một tài sản Ex- datatype là một tài sản datatype hoặc bất kỳ biểu hiện phức tạp giữa các đối tượng và kiểu dữ liệu thuộc tính bằng cách sử dụng các thành phần hoạt động, hoặc giữa hai hoặc nhiều tài sản datatype, sử dụng công đoàn hoặc giao lộ hoạt động. Một biểu thức sở hữu kiểu dữ liệu được ký hiệu là DP E và được định nghĩa đệ quy trong (3). Bất kỳ biểu hiện sở hữu kiểu dữ liệu có thể được hạn chế trên các giá trị phạm vi của nó bằng cách sử dụng một biểu hiện sion lớp để xác định các hạn chế áp dụng. Ngoài ra, các giá trị phạm vi của một biểu thức sở hữu kiểu dữ liệu có thể bị hạn chế về nhiều giá trị dữ liệu VDP, bằng cách sử dụng một đồng
parator cp ∈ {6 =, =, ≤, ≥, <,>}.
đang được dịch, vui lòng đợi..
