D- Tập giai đoạn 6 0-
B- Chuyển đổi đơn vị 6 5-
4.1.4.6 Giải quyết vấn đề ngữ nghĩa nhập nhằng 7 2-
Trong các biểu thức thì việc xuất hiện sự nhập nhằng giữa các đối tượng thời gian có thể xuất hiện trong cách dùng các toán tử là thành viên anh em (. và ->), những bổ nghĩa thời gian (valid, transaction và bitemporal), các toán tử kịch bản con với những hàm đặc biệt (count, first, last), các toán tử có thể có ý nghĩa cho cả hai chiều thời gian và thông thường trong tham số.
Ví dụ với truy vấn
select count(p->Ingredients) from Products as p
where p->ProductName = "Life Orange Juice"
có thể được giải thích là “ Tìm số lượng những thành phần hiện thời được sử dụng cho sản phẩm Life Orange Juice” (Hàm áp dụng tới chiều thông thường của thuộc tính Ingredients) Hoặc “ Tìm số lần mà các thành phần của sản
phẩm Life Orange Juice được chuyển đổi” (Hàm áp dụng tới chiều thời gian của thuộc tính Ingredients).
Sự nhập nhằng này được giải quyết bởi việc cho một quy tắc ngữ nghĩa, bắt đầu theo thứ tự cho hàm hoặc các toán tử để áp dụng với chiều thời gian của tham số của nó, tham số phải được đặt trước với một từ bổ nghĩa thời gian; cách khác, hàm áp dụng đến chiều thông thường.
Quy tắc ngữ nghĩa này đảm bảo tính thông thường, một khi ngữ nghĩa của những truy vấn thông thường không chuyển đổi nếu mô hình cơ sở dữ liệu đã được làm giàu thêm bằng ngữ nghĩa thời gian.
Như vậy, để thực hiện liệt kê danh sách đầu tiên của các ingredients cho sản phẩm “Life Orange Juice” đã được ghi vào trong cơ sở dữ liệu, truy vấn phải được phát biểu như sau:
select (transaction p->Ingredients)[1] from Products as p
where p->productName = "Life Orange Juice"
Nếu dấu ngoặc bị bỏ qua từ truy vấn này, lựa chọn danh sách đọc transaction p->Ingredients[1] thuộc tính Ingredients được chuyển đổi tới giá trị thông thường của nó, các toán tử kịch bản con sau đó được áp dụng.
Cuối cùng, thực hiện ước lượng từ bổ nghĩa giao dịch trên kết quả chuỗi của các toán tử kịch bản con và như vậy kết quả có một lỗi ngữ nghĩa, một khi những từ bổ nghĩa thời gian không thích hợp trên chuỗi.