46. H畛 ti棚n 畛 Amstrong (1/4) Nm 1974, Amstrong 達 動a ra h畛 ti棚n 畛 (g畛i l h畛 lu畉t d畉n Amstrong) : Cho l動畛c 畛 quan h畛 Q v畛i t畉p thu畛c t鱈nh U. X, Y, Z, W U. PTH c坦 c叩c t鱈nh ch畉t c董 b畉n sau: A1: T鱈nh ph畉n x畉: N畉u Y X th狸 X -> Y A2: T鱈nh tng tr動畛ng: N畉u X -> Y th狸 XZ -> YZ (Z U) A3: T鱈nh b畉c c畉u: N畉u X -> Y v Y -> Z th狸 X -> Z
47. H畛 ti棚n 畛 Amstrong (2/4) V鱈 d畛 1: Cho F = {AB -> C, C -> A } CMR: BC -> ABC Ta c坦: (1) C -> A (gi畉 thi畉t)
52. H畛 ti棚n 畛 Amstrong (3/4) C叩c t鱈nh ch畉t b畛 sung: A4: Lu畉t gi畉 b畉c c畉u: N畉u X -> Y v YZ -> W th狸 XZ -> W A5: Lu畉t h畛p: N畉u X -> Y v X -> Z th狸 X -> YZ A6: Lu畉t t叩ch: N畉u X -> YZ th狸 X -> Y v X -> Z
98. Bi To叩n T狸m kh坦a (1/6) X叩c 畛nh t畉t c畉 c叩c kh坦a c畛a 1 l動畛c 畛 quan h畛.
99. Bi to叩n ny 動畛c gi畉i quy畉t qua 2 giai o畉n: Giai o畉n 1 : X但y d畛ng t畉p S ch畛a t畉t c畉 c叩c si棚u kh坦a c畛a R
100. Giai o畉n 2 : X但y d畛ng t畉p K ch畛a t畉t c畉 c叩c kh坦a c畛a R t畛 t畉p S b畉ng c叩ch lo畉i b畛 kh畛i S nh畛ng si棚u kh坦a kh担ng t畛i thi畛u.
101. Bi To叩n T狸m kh坦a (2/6) 畛 x叩c 畛nh t畉t c畉 c叩c si棚u kh坦a c畛a 1 l動畛c 畛 quan h畛 R, ta l畉n l動畛t x辿t (2 n -1) t畉p h畛p con c畛a R + : X 1 , X 2 , N畉u 1 t畉p con X i c畛a R + c坦 bao 坦ng b畉ng 炭ng R + th狸 t畉p con X i ch鱈nh l 1 si棚u kh坦a.
102. N畉u R ch畛 c坦 1 si棚u kh坦a S th狸 si棚u kh坦a 坦 c滴ng l kh坦a c畛a l動畛c 畛 quan h畛 R
103. Bi To叩n T狸m kh坦a (3/6) Trong tr動畛ng h畛p R c坦 nhi畛u h董n 1 si棚u kh坦a (h畛u h畉n), 畛 x叩c 畛nh t畉t c畉 c叩c kh坦a ch畛 畛nh, ta so s叩nh 1 c畉p si棚u kh坦a S i v S j . N畉u S i S j , ta lo畉i S j v gi畛 l畉i S i .
110. Bi to叩n t狸m kh坦a (5/6) T畉p h畛p c叩c thu畛c t鱈nh kh担ng ph畉i ngu畛n v kh担ng ph畉i 鱈ch g畛i l t畉p trung gian. K箪 hi畛u l L
111. C叩c t畉p h畛p N, D, L r畛i nhau t畛ng 担i m畛t v N D L = R + Nh畉n x辿t N畉u K l kh坦a c畛a R th狸 K ch畛a t畉t c畉 c叩c thu畛c t鱈nh ngu畛n v kh担ng ch畛a b畉t k畛 thu畛c t鱈nh 鱈ch no.
132. CG -> B l d動 th畛a (v狸 CG -> D, C -> A v ACD -> B)
133. ACD -> B thay b畉ng CD -> B v狸 C -> A Suy ra PTT = { AB -> C, C-> A, BC -> D, CD -> B, D -> E, D -> G, BE -> C, CG -> D, CE -> G }
134. Ph畛 t畛i thi畛u (4/4) V鱈 d畛 2: Cho F = { AB -> C, C-> A, BC -> D, ACD ->B,D -> E, D -> G, BE -> C, CG -> B, CG -> D, CE -> A, CE -> G } T狸m Ph畛 t畛i thi畛u . Lo畉i b畛 CE -> A, CG -> D v ACD -> B s畉 c坦 t畉p t畛i thi畛u:
135. Suy ra PTT = { AB -> C, C-> A, BC -> D, D -> E, D -> G, BE -> C, CG -> B, CE -> G }