Định nghĩa một tập hợp các toán tử để thao tác ASRs trong việc xử lý truy vấn. Các toán tử được mô tả như dưới đây.
Toán tử I/O
• NewAsr : Đây là toán tử được sử dụng để tạo ra một chuẩn mở rộng mới của ASRs (ký hiệu là ASRcan). Điều này mở rộng kinh điển được khởi tạo bằng cách điền vào mức độ của lớp được chỉ định. Định dạng của toán tử này là
ASRcan = NewAsr(initial class).
• SetAttrToAsr : Toán tử này tạo ra một mở rộng kinh điển ASRcan1để lưu trữ các
oid của oi.A, mà oi là các đối tượng quy định tại ASRcan [S0,...,Si,...,Sn] có thể và A là một tập thuộc tính của oi. Định dạng của toán tử này là
ASRcan1 = SetAttrToASR(ASRcan, oi.A) nơi ASRcan1 là một ASR tạm thời
• AsrToCIs : Đây là toán tử save [S0, ... ,Sn]can để một lớp tạm thời qua quản lý đối tượng. Các [S0, ... ,Sn]can hình thức thể hiện của một lớp mà thuộc tính đặc điểm kỹ thuật được quyết định bởi S0, ... ,Sn. Các định dạng của toán tử này là
- 60 - Các toán tử cơ bản
• Select : Toán tử select được sử dụng để chọn một tập hợp các bộ dữ liệu trong ASR một đáp ứng một điều kiện lựa chọn. Định dạng của toán tử này như sau: ASRcan = Select(ASRcan , selection condition),
hoặc [S0, ... ,Sn]can = δ<cond>( [S0, ... ,Sn]can).
• Navigate: Nếu biểu thức đường dẫn [tn-1.An] là một đường dẫn con của biểu thức đường dẫn [t0.A1…An] và có đã tồn tại một mở rộng kinh điển của ARScan[S0,…,Sn-
1]can. Ngoài ra, các miền của tn-1 cũng giống như của Sn-1. Toán tử sẽ mở rộng lý thuyết ASRcan[S0,…,Sn-1]can để ASRcan[S0,…,Sn-1, Sn]can, nơi mà Sn là miền của thuộc tính An. Định dạng của toán tử này như sau.
ASRcan2 = Navigate(ASRcan1 , tn-1.An), hoặc [S0,…,Sn]can2 = Vtn-1.An ([S0,...,Sn-1]canl ).
• Join : Toán tử này được sử dụng để nối hai ASRs theo các điều kiện join. Định
dạng của toán tử này như sau :
ASRcan3=Join(ASRcan1, ASRcan2, join condition), Hoặc
[S0,…,S2n+1]can3 = [S0,…,Sn]can1 <join condition>[S0,…,Sn]can2
• Union: Toán tử này được sử dụng để kết hợp hai ASRs có lĩnh vực phù hợp. Định
dạng của toán tử này như sau :
ASRcan3=Union(ASRcan1, ASRcan2 ), Hoặc
[S0,…,Sn]can3 = [S0,…,Sn]can1 [S0,…,Sn]can2
• Difference : Toán tử này được sử dụng để khác biệt hai ASRs có lĩnh vực phù hợp. Định dạng của toán tử này như sau :
ASRcan3= Difference (ASRcan1, ASRcan2 ), Hoặc
- 61 -
• Project : Toán tử select lựa chọn một số cột từ ASR quy định và loại bỏ các cột
khác. Định dạng của toán tử này là :
ASRcan2= Project (ASRcan, projection-list), Hoặc
[S0,…,Si]can2 = Π<projection-list>([S0,…,Sn]can) (0 ≤ i ≤ n) nơi project-list là danh sách các thuộc tính của ASRcan quy định Các toán tử mở rộng
• All: Toán tử được sử dụng để thực hiện All-Link
• Exist: Tương tự như vậy, toán tử được sử dụng để thực hiện các Exist-Link.