Báo cáo được xem như một phần không thể thiếu được trong các ứng dụng, với một lượng lớn báo cá thì việc cài đặt, quản trị sẽ khó khăn và tốn kém. Vào năm 2004 MS SQL Server 2000 đã giới thiệu SSRS như một công cụ trong việc xây dựng, quản trị và phát triển báo cáo cho doanh nghiệp
B B ổ ổ đ đ ề ề 3 3 : : X X Y Y suy suy d d ẫ ẫ n n t t ừ ừ h h ệ ệ tiên tiên đ đ ề ề Amstrong Amstrong khi khi v v à à ch ch ỉ ỉ khi khi Y Y X X + + Như vậy : (1). X X + (2). f: XY F + <=> Y X + 2.3 2.3 Thu Thu ậ ậ t t to to á á n n t t ì ì m m bao bao đ đ ó ó ng ng c c ủ ủ a a t t ậ ậ p p thu thu ộ ộ c c t t í í nh nh Thu Thu ậ ậ t t to to á á n n CLOSURE. CLOSURE. Input : Input : T T ậ ậ p p thu thu ộ ộ c c t t í í nh nh X X v v à à t t ậ ậ p p ph ph ụ ụ thu thu ộ ộ c c h h à à m m F F Output : Output : Bao Bao đ đ ó ó ng ng X X c c ủ ủ a a F F CLOSURE (X,F) CLOSURE (X,F) Begin Begin olddep olddep := := ; ; newdep newdep := := olddep olddep While While newdep newdep <> <> olddep olddep do do Begin Begin olddep olddep := := newdep newdep For each W For each W Z Z F do F do if W if W newdep newdep then then newdep newdep := := newdep newdep Z Z End End Return ( Return ( newdep newdep ) ) End. End. VD: VD: Cho Cho U = ABCDEG U = ABCDEG F = { F = { AB AB C C (f1) (f1) D D EG EG (f2) (f2) C C A A (f3) (f3) BE BE C C (f4) (f4) BC BC D D (f5) (f5) CG CG BD BD (f6) (f6) ADC ADC B B (f7) (f7) CE CE AG (f8) AG (f8) } } Cho Cho X= BD. X= BD. T T í í nh nh ( BD) ( BD) + + F F Gi Gi ả ả i i : : X X (0) (0) : = BD : = BD X X (1) (1) : = BD : = BD EG ( do (f2) ) EG ( do (f2) ) X X (2) (2) : = BDEG : = BDEG C ( do (f4) ) C ( do (f4) ) X X (3) (3) : = BDEGC : = BDEGC { A { A ( do (f2) ) ( do (f2) ) C ( do (f4) ) C ( do (f4) ) D ( do ( f5) ) D ( do ( f5) ) BD ( do (f6) ) BD ( do (f6) ) AG ( do (f8)) AG ( do (f8)) } } X X (4) (4) : = BDEGCA = U => X : = BDEGCA = U => X + + F F = X = X (4) (4) 3. 3. T T ậ ậ p p ph ph ụ ụ thu thu ộ ộ c c h h à à m m tương tương đương đương 3.1 3.1 Đ Đ ị ị nh nh ngh ngh ĩ ĩ a a Hai Hai t t ậ ậ p p pth pth F F v v à à G G đư đư ợ ợ c c g g ọ ọ i i l l à à tương tương đương đương n n ế ế u u F F + + = G = G + + . . Khi Khi đ đ ó ó ta ta n n ó ó i i F F ph ph ủ ủ G ( hay G G ( hay G ph ph ủ ủ F). F). K K í í hi hi ệ ệ u u : : F F G G B B ổ ổ đ đ ề ề 1: 1: M M ỗ ỗ i i t t ậ ậ p p c c á á c c pth pth F F đ đ ề ề u u đư đư ợ ợ c c ph ph ủ ủ b b ằ ằ ng ng t t ậ ậ p p c c á á c c pth pth G G m m à à v v ế ế ph ph ả ả i i c c á á c c pth pth đ đ ó ó bao bao g g ồ ồ m m không không qu qu á á m m ộ ộ t t thu thu ộ ộ c c t t í í nh nh . . B B ổ ổ đ đ ề ề 2: 2: F F G <=> F G <=> F suy suy d d ẫ ẫ n n đư đư ợ ợ c c ra ra G G v v à à G G suy suy d d ẫ ẫ n n đư đư ợ ợ c c ra ra F F V V í í d d ụ ụ : : Cho Cho quan quan h h ệ ệ Q (ABCDE) Q (ABCDE) v v ớ ớ i i : : F = {A F = {A BC , A BC , A D,CD D,CD E } E } G = {A G = {A BCE , A BCE , A ABD, CD ABD, CD E} E} * F * F suy suy d d ẫ ẫ n n đư đư ợ ợ c c ra ra G G v v ì ì : : A A C, A C, A D => A D => A CD CD CD CD E E => A => A BCE. BCE. Tương Tương t t ự ự , , d d ễ ễ d d à à ng ng ch ch ứ ứ ng ng minh minh : A : A ABD. ABD. V V ậ ậ y y F F suy suy d d ẫ ẫ n n đư đư ợ ợ c c ra ra G. G. * * Ngư Ngư ợ ợ c c l l ạ ạ i i , , ta ta nh nh ậ ậ n n th th ấ ấ y y F F G , do G , do đ đ ó ó hi hi ể ể n n nhiên nhiên G G suy suy d d ẫ ẫ n n đư đư ợ ợ c c ra ra F. F. K K ế ế t t lu lu ậ ậ n n : F : F G G A A E E 3.2 3.2 Ph Ph ủ ủ t t ố ố i i thi thi ể ể u u Đ Đ ị ị nh nh ngh ngh ĩ ĩ a a : : M M ộ ộ t t t t ậ ậ p p ph ph ụ ụ thu thu ộ ộ c c h h à à m m F F đư đư ợ ợ c c g g ọ ọ i i l l à à t t ố ố i i thi thi ể ể u u n n ế ế u u : : M M ỗ ỗ i i v v ế ế ph ph ả ả i i c c ủ ủ a a m m ộ ộ t t ph ph ụ ụ thu thu ộ ộ c c h h à à m m F F ch ch ỉ ỉ c c ó ó m m ộ ộ t t thu thu ộ ộ c c t t í í nh nh . . F F g g ồ ồ m m to to à à n n nh nh ữ ữ ng ng pth pth đ đ ầ ầ y y đ đ ủ ủ , , ngh ngh ĩ ĩ a a l l à à không không t t ồ ồ n n t t ạ ạ i i m m ộ ộ t t ph ph ụ ụ thu thu ộ ộ c c h h à à m m X X A A thu thu ộ ộ c c F F v v à à m m ộ ộ t t t t ậ ậ p p con Z con Z c c ủ ủ a a X X m m à à : : F F + + = ( F = ( F - - { X { X A } A } { Z { Z A}) A}) + + Không Không t t ồ ồ n n t t ạ ạ i i m m ộ ộ t t ph ph ụ ụ thu thu ộ ộ c c h h à à m m X X A A thu thu ộ ộ c c F F m m à à : : F F + + = ( F = ( F - - { X { X A }) A }) + + 3.3 3.3 Thu Thu ậ ậ t t to to á á n n MINIMALCOVER MINIMALCOVER t t ì ì m m ph ph ủ ủ t t ố ố i i thi thi ể ể u u c c ủ ủ a a t t ậ ậ p p ph ph ụ ụ thu thu ộ ộ c c h h à à m m F F Input: Input: T T ậ ậ p p ph ph ụ ụ thu thu ộ ộ c c h h à à m m F F Output : Output : G G - - l l à à ph ph ủ ủ t t ố ố i i thi thi ể ể u u c c ủ ủ a a F F MINIMALCOVER (G, F) MINIMALCOVER (G, F) G:=F G:=F Thay Thay th th ế ế t t ừ ừ ng ng ph ph ụ ụ thu thu ộ ộ c c h h à à m m X X { A1, A2, ,An} { A1, A2, ,An} trong trong G G b b ằ ằ ng ng c c á á c c ph ph ụ ụ thu thu ộ ộ c c h h à à m m X X A1, X A1, X A2, , X A2, , X An An For each X For each X A A trong trong G G For each B For each B X X If ( G If ( G - - { X { X A }) A }) ( X ( X - - {B}) {B}) A) A) tương tương đương đương v v ớ ớ i i G Then G Then Thay Thay X X A A b b ằ ằ ng ng ( X ( X - - { B}) { B}) A A trong trong G G For each X For each X A A trong trong G G If ( G If ( G - - { X { X A }) A }) tương tương đương đương v v ớ ớ i i G Then G Then Lo Lo ạ ạ i i X X A A ra ra kh kh ỏ ỏ i i G G Return (G) Return (G) End. End. V V í í d d ụ ụ 1: 1: Cho Cho F = { A F = { A B , B B , B A, B A, B C, C, A A C, C C, C A}. A}. T T ì ì m m ph ph ủ ủ t t ố ố i i thi thi ể ể u u G G c c ủ ủ a a F F Gi Gi ả ả i i : : T T ấ ấ t t c c ả ả c c á á c c pth pth c c ủ ủ a a F F đ đ ề ề u u tho tho ả ả mãn mãn đi đi ề ề u u ki ki ệ ệ n n 1 1 v v ì ì v v ế ế tr tr á á i i ch ch ỉ ỉ c c ó ó m m ộ ộ t t thu thu ộ ộ c c t t í í nh nh . . V V ế ế ph ph ả ả i i c c ủ ủ a a m m ỗ ỗ i i pth pth ch ch ỉ ỉ c c ó ó m m ộ ộ t t thu thu ộ ộ c c t t í í nh nh nên nên không không c c ầ ầ n n x x é é t t đk đk 2. 2. X X é é t t đk đk 3, 3, ta ta th th ấ ấ y y : : N N ế ế u u ko ko ạ ạ i i b b ỏ ỏ pth pth B B A A v v à à A A C C ta ta đư đư ợ ợ c c m m ộ ộ t t t t ậ ậ p p pth pth G G G={A G={A B , B B , B C, A C, A C } C } F F Không Không th th ể ể lo lo ạ ạ i i b b ỏ ỏ thêm thêm m m ộ ộ t t pth pth n n à à o o n n ữ ữ a a v v ì ì t t ậ ậ p p pth pth còn còn l l ạ ạ i i s s ẽ ẽ không không tương tương đương đương v v ớ ớ i i F. F. V V ậ ậ y y G G l l à à t t ậ ậ p p pth pth t t ố ố i i thi thi ể ể u u c c ủ ủ a a F. F. . m m à à : : F F + + = ( F = ( F - - { X { X A }) A }) + + 3. 3 3. 3 Thu Thu ậ ậ t t to to á á n n MINIMALCOVER MINIMALCOVER t t ì ì m m ph ph ủ ủ t t ố ố i i thi thi ể ể u u c c ủ ủ a a t t ậ ậ p p ph ph ụ ụ thu thu ộ ộ c c h h à à m m F F Input: Input: T T ậ ậ p p ph ph ụ ụ thu thu ộ ộ c c h h à à m m F. => X : = BDEGCA = U => X + + F F = X = X (4) (4) 3. 3. T T ậ ậ p p ph ph ụ ụ thu thu ộ ộ c c h h à à m m tương tương đương đương 3. 1 3. 1 Đ Đ ị ị nh nh ngh ngh ĩ ĩ a a Hai Hai t t ậ ậ p p pth pth F. : Output : G G - - l l à à ph ph ủ ủ t t ố ố i i thi thi ể ể u u c c ủ ủ a a F F MINIMALCOVER (G, F) MINIMALCOVER (G, F) G:=F G:=F Thay Thay th th ế ế t t ừ ừ ng ng ph ph ụ ụ thu thu ộ ộ c c h h à à m m X X {