D- Mở rộng ràng buộc áp dụng lớp đối tượng tới chiều thời gia n 2 6-
B- Dữ liệu thời gian bên trong đối tượng 29
3.2.5.3 Thao tác mẫu không tính toán thời gian 5 1-
Trong việc xử lý truy vấn, các toán tử đại số dựa trên các thể hiện được sử dụng đầy đủ để xử lý các truy vấn thời gian chứa các mẫu thời gian phức tạp, không liên quan đến các sự kiện xảy ra có liên quan đến thời gian.
Ví dụ: “Tìm tất cả các kỹ sư những người vừa either làm việc trên dự án trong thời gian T[0, 20] hoặc or thuộc về một phòng ban trong khoảng thời gian T[25, n],” không thể xác định ngữ nghĩa của các thao tác giao, hợp, trừ phi biết thời gian tương ứng. Đại số TA nắm bắt tất các các ngữ nghĩa rõ ràng bằng các toán tử đại số phi thời gian.
1) NT-Intersect (D[W]). NT-Intersect xây dựng một TPS chứa tất cả các TPI, mà chúng có một mẫu con chung được mô tả trong W và các mẫu kết hợp của chúng xuất hiện trong cả hai toán hạng TPS, bỏ qua việc kiểm tra các khoảng thời gian của chúng.
Công thức:
|W| , { t k| k and k , P( )l P( )}k
α D β γ γ= = ∪ γ γ ∈α γ ∈ β ω ⊆ γ
Thông qua các thao tác không đánh giá các đặc tả thời gian của các TPI, các thể hiện được định danh mang trên nó thời gian của chính các đặc tả và các mẫu của chúng.
Hình 3. 17 Toán tử T- Difference
Hình 3. 18 Toán tử T-Divide(+)
Hình 3. 19 Các toán tử NT-Intersect, NT-Union và NT-Difference
Kết quả các TPI với các khoảng liền kề hoặc chồng lấp sau đó được kết hợp với nhau bằng ∪tγk để duy trì các tính chất ý nghĩa của khoảng được thảo luận trong mục 3.3.4. NT-Intersect có thể được thay thế và kết hợp các điều kiện (tham khảo lại phần T-Join với các điều kiện ).
2) NT-Union (⊕[W]). NT-Union xây dựng một TPS chứa tất cả các TPI mà chúng có một mẫu con được mô tả bởi W và chúng có các mẫu kết hợp xuất hiện trong một hoặc cả hai toán hạng TPS, không kiểm tra các khoảng thời gian của chúng.
Công thức:
|W | , { t k| k or k , P( l) P( k)}
Kết quả của các TPI với các khoảng liền kề hoặc chồng lấp sau đó được kết hợp bằng ∪tγk để duy trì tính chất ngữ nghĩa khoảng. NT-Union có thể được thay thế và kết hợp các điều kiện.
3) NT-Difference (Θ[W]). NT-Difference xây dựng một TPS chứa tất cả các TPI, mà chúng có một mẫu con chung được mô tả bởi W và các mẫu kết hợp của chúng xuất hiện trong toán hạng đầu tiên nhưng không xuất hiện trong toán hạng thứ hai, bỏ qua các kiểm tra về các khoảng thời gian.
Công thức:
|W| , { t k| k and k , P( )l P( )}k
αΘ β γ γ= = ∪ γ γ ∈α γ ∉β ω ⊆ γ
Các ví dụ sau đây minh hoạ cho các thao tác của 3 toán tử phi thời gian ở trên và Hình 3.18 minh hoạ chúng theo dạng đồ hoạ. Các quyền ưu tiên của các toán tử nhị phân được đưa ra theo thứ tự sau đây: ∗,|,!, ,〈〉 〈 〉• , , , ,• ÷ − +.
Bảng 3.2 thống kê các tính chất toán học của các toán tử đại số TA
Bảng 3. 2 Các tính chất của các toán tử đại số TA