Định nghĩa (phụ thuộc vào thời gian). Hãy để R là một mối quan hệ thời gian khác nhau, K là khóa bất biến thời gian của nó, và để cho Xi, cho tôi [1, n], là TVAs của nó và TS và TE là thời gian hiển thị các thuộc tính của nó. Trong một lược đồ quan hệ R, cho bất kỳ TVAs Xi hai và Xj (tôi! = j), R được cho là có một thời gian phụ thuộc, Xi T Xj, iff có tồn tại một thể hiện của R như vậy mà nó chứa 2 tuples t1 và t2 sao cho:
đang được dịch, vui lòng đợi..