D- Tập giai đoạn 6 0-
B- Chuyển đổi đơn vị 6 5-
4.1.8 Toán tử cấu trúc lại 8 1-
Toán tử cấu trúc lại là tiện ích cho hình thức hoá các biểu diễn tương đương khác nhau của dữ liệu thời gian. Hai toán tử cấu trúc lại được cung cấp, toán tử thứ nhất chuyển đổi period-timestamped tới các instant-timestamped, trong khi cấu trúc toán tử thứ hai cho phép chọn trục thời gian trên các nhãn thời gian cực đại được sinh ra. Các toán tử này được giới thiệu sau đây:
Chuyển đổi period-timestamped tới instant-timestamped Cú pháp đưa ra theo toán tử tổ chức lại là:
temporal_object(partition time_axis as instant)
Trong đó time_axis là trục thời gian hoặc là valid hoặc transaction. Áp dụng toán tử cấu trúc lại (phân hoạch hiệu lực như thời điểm) trên một đối tượng của kiểu T trạng thái hiệu lực G1 lịch biểu C1 (G1 đơn vị của timestamps hiệu lực) sinh ra một kết quả kiểu set<struct(Value: T, VT: Instant)>, với những thời điểm có đơn vị G1 và lịch biểu C1.
Một phần tử (vr, vtr) thuộc về tập kết quả nếu một phương án (vvar, vtvar) xuất hiện trong đối tượng thời gian hiệu lực và những điều kiện sau được thoả mãn :
vr = vvar vtvar chứa vtr
Tương tự, áp dụng toán tử Phân hoạch giao dịch như thời điểm trên một đối tượng kiểu giao dịch T, kết quả trong một set<struct(Value: T, TT: Instant)>. Một phần tử (vr, ttr) thuộc về tập kết quả nếu một phương án (vvar, ttvar) xuất hiện trong đối tượng thời gian giao dịch và những điều kiện sau được thoả :
vr = vvar ttvar chứa ttr
Nếu cùng toán tử đó áp dụng trên một đối tượng bitemporal, thì mô hình kết quả mở rộng đển những phần tử của tập kết quả bao gồm một thành phần mở rộng với tên VT.
Ví dụ, truy vấn: Cho nhà máy sở hữu “Delta Dairy S.A.” tại “St.Stefanos”, Liệt kê giám đốc của mỗi tháng:
select MonthInfo from Factories as f,
(valid f->Manager)(partition valid as instant) as MonthInfo where f->Owner = "Delta Dairy S.A"
and f->Location = "St.Stefanos"
Từ giá trị của thành phần Manager cho đối tượng chứa thông tin về nhà máy sở hữu “Delta Dairy S.A.” tại “ St.Stefanos” là đối tượng trạng thái hiệu lực
{(value: 'Stefanou', VT: [1994-01, 1995-01)), (value: 'Nikou', VT: [1995-01, 1996-09)}
(xem mục 4.1.3), kết quả của truy vấn này có thể tương ứng như sau:
{(Value: 'Stefanou', VT: 1994-01), (Value: 'Stefanou', VT: 1994- 02), ..., (Value: 'Stefanou', VT: 1994-12),
Sinh ra nhãn thời gian cực đại.
Mô hình dữ liệu có thể chọn bất kỳ kiểu biểu diễn nào để lưu giữ thông tin thời gian vào trong cơ sở dữ liệu, nhưng những truy vấn khác nhau có thể cần có sự trình bày khác nhau, để sinh ra các kết quả đúng.
Toán tử cấu trúc thứ hai, có cú pháp là:
temporal_object(partition time_axis as period)
trong đó time_axis có thể hoặc hiệu lực hoặc giao dịch.
Khi các toán tử được áp dụng tới một đối tượng của kiểu T trạng thái hiệu lực G1 và lịch biểu C1 (G1 là đơn vị của timestamps hiệu lực), nó sửa đổi những biến thể của đối tượng thời gian để sinh số lần cực đại trên trục xác định và sản sinh một kết quả kiểu set<struct(Value: T, VT: period, TT: Period)>. Một phần tử (vres, vtres, ttres) xuất hiện trong tập kết quả, nếu một phương án với cùng giá trị và bằng timestamps xuất hiện trong thể thức cấu chức lại của đối tượng thời gian.
Cú pháp chuyển đổi được giữ tối thiểu giữa thể thức ban đầu và thể thức cuối cùng của truy vấn.
đổi từ T trạng thái hiệu lực G1 lịch biểu C1 giao dịch set<struct(Value: T, VT: period, TT: period)> .