- SBD_R: Liên hệ ràng buộc giữa các thành phần kể trên.
2) Một tập hợp Attr các thuộc tính:
Thuộc tính là thành phần thể hiện tính đặc trưng cho lớp, mô tả cấu trúc bên trong của khái niệm. Trong đó, tên thuộc tính là tên của keyphrase hoặc là tên của lớp. Có nghĩa là chỉ xét những thuộc tính được xem như là một keyphrase hoặc là loại thuộc tính đối tượng.
Kiểu giá trị của thuộc tính:
Một số kiểu giá trị của thuộc tính như: String, Number, Boolean, Instance. Trong đó:
- String là kiểu giá trị đơn giản nhất được dùng cho những thuộc tính như tên gọi: giá trị là một chuỗi đơn giản.
- Number (Float và Integer là những kiểu giá trị cụ thể thường được sử dụng) mô tả những thuộc tính với kiểu giá trị số. Ví dụ, bậc của đỉnh trong đồ thị có giá trị kiểu Integer.
- Boolean thể hiện những thuộc tính đơn giản chỉ nhận giá trị “yes” hoặc “no”. Những thuộc tính thể hiện tính chất của đối tượng thường có kiểu giá trị boolean. Ví dụ: mỗi thuật toán cụ thể là một thực thể của lớp ALGORITHM có thuộc tính
heuristic thể hiện thuật toán đó có tính chất heuristic hay không. Nếu thuật toán có tính chất heuristic thì thuộc tính heuristic sẽ có giá trị là “true” (“yes”); ngược lại, thuộc tính heuristic sẽ có giá trị là “false” (“no”).
- Kiểu Instance: thể hiện mối quan hệ giữa các đối tượng (các lớp). Mỗi thuộc tính với kiểu giá trị Instance yêu cầu phải xác định một tập các lớp cụ thể. Và tập thể hiện của những lớp này chính là miền giá trị xác định của thuộc tính.
Ví dụ: Thuộc tính đối tượng data structure trong lớp ALGORITHM có giá trị kiểu Instance, xác định tập lớp {ARRAY, LIST, GRAPH, TREE} với miền giá trị xác định của thuộc tính là: {array, single linked list, double linked list, circular linked list, queue, stack, directed weighted graph, undirected weighted graph, directed unweighted graph, undirected unweighted graph, balanced tree, avl tree, b tree, black red tree, etc.}. Trong đó, miền giá trị xác định của thuộc tính data structure chính là tập thể hiện của các lớp {ARRAY, LIST, GRAPH, TREE}.
Như vậy, gọi Attr = {attr| attr là thuộc tính của lớp đang xét}, với tên của thuộc tính attr là tên cuả một keyphrase k ∈ K; trong đó K là tập các keyphrase của lĩnh vực đang xét. Gọi c là tập lớp thể hiện kiểu giá trị của một thuộc tính kiểu Instance trong lớp đang xét, c ⊂ C; trong đó C là tập các lớp của lĩnh vực đang xét.
Giả sử, ta có lớp B là lớp dẫn xuất của lớp A, khi đó: AttrA ⊂ AttrB
Trong đó:
- AttrA là tập thuộc tính của lớp A
- AttrB là tập thuộc tính của lớp B
Ví dụ: Xét lớp ALGORITHM có những thuộc tính như sau
ALGORITHM
{COMPLEXITY} complexity
{ARRAY, LIST, GRAPH, TREE} data structure Boolean heuristic
Boolean recursive Trong đó:
- Tập lớp được xác định cho thuộc tính complexity kiểu Instance là: {COMPLEXITY}. Và miền giá trị xác định của thuộc tính complexity là: {linear complexity, logarit complexity, exponential complexity, factorial complexity}
- Tập lớp được xác định cho thuộc tính data structure kiểu Instance là: {ARRAY, LIST, GRAPH, TREE}. Và miền giá trị xác định của thuộc tính data structure là: {array, single linked list, double linked list, circular linked list, queue, stack, directed weighted graph, undirected weighted graph, directed unweighted graph, undirected unweighted graph, balanced tree, avl tree, black red tree, etc.}
- Miền giá trị xác định của thuộc tính heuristic, recursive là:{true, false}