Các phép toán mở rộng ontology

Cho (D S O1, 1, 1),...,(D S OK, K, K) là K nguồn dữ liệu mở rộng ontology và O là ontology tích hợp của O1,...,OK với tập các ánh xạ i |i1,K.

Định nghĩa 13 ([10]): (Các phép toán) Cho X là một tập dữ liệu (biểu diễn dưới dạng bảng) trong miền tích hợp. Ta định nghĩa  X O X S O, , 

 Phép chiếu: Nếu X là kết quả của phép chiếu (PROJECT) lên một tập dữ liệu X’, được biểu diễn là

i1 ik

A ,...,A j

X = Π (X'), (1 i n, 1 j k)  và nếu

 X'O D',(A1: ,...,1 An:n),O thì  X O ( , , )D S O trong đó D là kết quả của phép chiếu chuẩn của D trên các thuộc tính ' Ai1,....,A và ik

1 1

( : ,..., n: n)

 Phép chọn: Nếu X là kết quả của phép chọn (SELECT) trên một tập dữ liệu X’, được biểu diễn là X c(X') và nếu c là một điều kiện chọn trên  X'O ( ', , )D S O thì  X O ( , , )D S O , trong đó

 ' | ( ', , ), |: 

D t D D S O t c .

 Phép tích đề các: Nếu X là kết quả của phép tích đề các (CROSS PRODUCT) của hai tập dữ liệu X1 và X2, được biểu diễn dưới dạng

1 2

X  X X và  i ( i, , )i

O

X  D S O (với i = 1,2) thì  X O ( , , )D S O trong đó D là tích đề các chuẩn của D1 và D2; S được tính bằng việc ghép S1 và S2.

 Phép kết nối: Nếu X là kết quả của phép kết nối (JOIN) hai tập dữ liệu X1 và X2, chúng ta có thể biểu diễn phép kết nối là sự kết hợp của phép chọn và phép tích đề các, X X1X2 c(X1X2), bởi vậy ta có thể sử dụng các định nghĩa của phép chọn và phép tích đề các để định nghĩa

 X O.

 Các phép toán tập hợp: Nếu X  X op X1 2 trong đó op    , ,  và nếu  Xi O (D S Oi, , )i với i = 1,2 và S1, S2 có lược đồ chung nhỏ nhất S thì  X O ( , , )D S O , trong đó D là kết quả của S S D op S12 ( 1) 22 (S D .2) Các phép toán trên các nguồn dữ liệu mở rộng ontology được phát triển dựa trên những phép toán trên cơ sở dữ liệu quan hệ chuẩn [10]. Điều này cho phép việc thực thi trên các nguồn dữ liệu mở rộng vẫn giữ được sự đơn giản và tính hiệu quả.