Định nghĩa 2 (Ob ject biểu hiện bất động sản). Biểu thức tài sản đối tượng là một tài sản đối tượng hoặc bất kỳ biểu hiện phức tạp giữa hai hoặc nhiều đối tượng prop-erties, bằng cách sử dụng thành phần, liên minh hoặc giao lộ hoạt động. Một biểu hiện bất động sản đối tượng được ký hiệu là OP e và là đệ quy được xác định trong (2). Hoạt động nghịch đảo tài sản là có thể xuất hiện bên trong một biểu hiện thuộc tính đối tượng. Bất kỳ đối tượng biểu hiện bất động sản có thể được hạn chế trên tên miền của nó và/hoặc phạm vi bằng cách sử dụng một biểu thức lớp để xác định các giới hạn áp dụng.
đang được dịch, vui lòng đợi..
