2.3.1. Phụ thuộc hàm theo thời gian (TFD)
Thông thường, CSDL truyền thống sử dụng các thông tin “tĩnh”, thông tin được cất giữ trong CSDL chỉ mang tính chất “hiện thời”. Cho lược đồ quan hệ R = (A1,…., An), và X, Y là các tập con của {A1,…., An}. Cho r là một quan hệ trên R.
Theo lý thuyết phụ thuộc hàm truyền thống, r được gọi là thoả X xác định Y, ký hiệu X → Y, nếu với ∀ τ1, τ2 ∈ r :
τ1[X] = τ2[X] ⇒ τ1[Y] = τ2[Y].
Trong CSDL có yếu tố thời gian, các thơng tin được cất giữ mang tính chất “động”, được thay đổi theo thời gian. Vì vậy, ta cần có định nghĩa về TFD như sau:
Định nghĩa 2.15. (Phụ thuộc hàm theo thời gian)
Cho môđun thời gian M = (R, t, φ) và t’ là một kiểu thời gian. Cho X, Y ⊆ R. Khi đó, mơđun thời gian M được gọi là thoả TFD X →t’Y nếu với
∀τ1, τ2 ∈φM và i1, i2 ∈ * sao cho:
i. τ1 ∈φ(i1), và τ2 ∈φ(i2) ii. ∃j: t(i1) ∪ t(i2) ⊆ t’(j) iii. τ1[X] = τ2[X]
thì τ1[Y] = τ2[Y].
+ Ta có thể sử dụng t(i1,…, ik) để ký hiệu cho k
j
t
1
= (ij).
+ Môđun thời gian M = (R, t, φ) luôn thoả TFD X →t’ Y nếu t khơng có
hai thời điểm khác nhau nào chứa trong một thời điểm của t’. Vì nếu t có hai thời điểm khác nhau chứa trong một thời điểm của t’ thì τ1 và τ2 cùng chỉ một bộ, do
đó hiển nhiên τ1[Y] = τ2[Y].
Ví dụ 2.15. Xét mơđun thời gian M = (KHỐHỌC, ngày, φ ), với:
KHOÁHỌC = (Mã KH, Số ĐVHT, Họ tên GVGD, HS Lương, Số HV) φ(3/3/05) = {(TINA27, 3, Lê Hoàng, 1.82, 50)}
φ(8/3/05) = {(TINA27, 3, Lê Hoàng, 1.82, 45)} φ(5/4/05) = {(TINA27, 3, Lê Hoàng, 2.06, 50)} φ(3/10/05) = {(TINA27, 3, Nguyễn Huy, 1.82, 50)} φ(7/10/05) = {(TINA27, 3, Nguyễn Huy, 1.82, 50)} φ(17/10/05) = {(TINA27, 3, Nguyễn Huy, 1.82, 45)} Rõ ràng, M thoả TFD:
Mã KH →Ngày Số HV
Tuy nhiên, M cũng có thể thoả TFD được xác định dưới một kiểu thời gian khác. Chẳng hạn, M cho trong ví dụ 2.15 cũng thoả TFD:
Mã KH →Tuần Họ tên GVGD
Và M cho trong ví dụ 2.15 khơng thoả TFD:
Mã KH →Tháng Số HV
Vậy, với M và tập các TFD cho trước, làm thế nào để ta có thể nhận biết được các TFD hệ quả được suy ra từ tập các TFD cho trước đó mà M cũng thoả các TFD hệ quả. Vấn đề này có thể được giải quyết trong mục sau.