D- Tập giai đoạn 6 0-
B- Chuyển đổi đơn vị 6 5-
4.1.5 Tham chiếu đến các đối tượng thay đối 7 3-
Khi một biến được định nghĩa dưới dạng một đối tượng thời gian, nó có nhiều biến thể hiện thời gian được lưu trữ trong đối tượng thời gian. Tất cả các phương án đều được xem xét, cho dù nhãn thời gian của chúng là hiệu lực hay giao dịch.
Định nghĩa biến được sử dụng như tham số trong các hàm hiệu lực và giao dịch để trả lại nhãn thời gian tương ứng. Một đối tượng thời gian có thể được định nghĩa trong mệnh đề với cú pháp:
temporal_object as identifier.
Trong các cấu trúc định lượng phổ biến và các cấu trúc tồn tại, một biến được định nghĩa sử dụng trong từ khóa. Vì thế, một truy vấn định lượng tồn tại kéo theo một biến định nghĩa trên một đối tượng thời gian có thể thức như sau:
exists identifier in temporal_object: query
Trong khi mà một truy vấn định lượng phổ thông kéo theo một biến định nghĩa trên một đối tượng thời gian được viết :
for all identifier in temporal_object: query
Những đối tượng thời gian có thể được sử dụng trong không gian của một tập cho phép một truy vấn thành viên kiểm thử (một thành phần trong tập hợp). Ví dụ
1. Truy vấn: Lựa chọn những sản phẩm đã có một vòng đời bằng 15 ngày?
select p from Products as p
where exists l in valid p->LifeTime: l = INTERVAL '15' DAY
Truy vấn này có thể được công thức hóa sử dụng thành phần kiểm tra như sau:
select p from Products as p
where INTERVAL '15' DAY in valid p->LifeTime
Truy vấn này có thể được phát biểu sử dụng bằng một vị từ phức như sau:
select p from Products as p
where INTERVAL '15' DAY = any valid p->LifeTime
2. Truy vấn: Cho mỗi sản phẩm, danh sách thời gian tên và vòng đời của nó, cùng với giai đoạn tương ứng
select p->ProductName as ProductName, l as LifeTime,
valid(l) as LifeTimePeriod
from Products as p, valid p->LifeTime as l
3. Truy vấn: Cho mỗi sản phẩm, đưa ra danh sách tên và những thành phần của nó, nếu những thành phần chứa ' E210 '.
select p->ProductName as ProductName, p->Ingredients as Ingredients, transaction(Ingredients) as TT
where exists Ingredient in Ingredients: Ingredient = 'E210'