... 2.3 Phụ thuộc hàm theo thời gian Định nghĩa 2.9 Một phụ thuộc hàm theo thời gian (TFD) lược đồ (C, ρ) có dạng c: X →α Y với c ∈ C, α quan hệ thời gian X, Y ⊆ [ρ(c)]λ X ≠ ∅ Cho T thể theo thời gian ... Wijsen dựa quan hệ hai gọi quan hệ thời gian với nhân thời gian cho trước biểu diễn tập N số nguyên dương {1, 2, 3, …} Định nghĩa 2.1 (Quan hệ thời gian) Một tập N ⊗ N gọi quan hệ thời gian Trong ... phức theo cách tiếp cận J Wijsen, bao gồm định nghĩa quan hệ hai dựa nhân thời gian, mô hình liệu quy ước, phụ thuộc hàm theo thời gian, số kết đáng quan tâm liên quan đến tính đắn tính đầy đủ hệ...