3.2 Phương phỏp phõn mảnh ngang
3.2.5 Thuật toỏn xỏc định tập vị từ đầy đủ và cực tiểu từ tập Pr cho trước
Thuật toỏn COM_MIN tạo ra ra một tập đầy đủ và cực tiểu cỏc vị từ Pr’ từ một tập cỏc vị từ đơn giản Pr cho trước theo quy tắc: một quan hệ hoặc một mảnh “được phõn hoạch
Mảnh fi được định nghĩa theo một vị từ hội sơ cấp trờn Pr’, qui ước là fi của Pr’
Thuật toỏn 3.1. COM_MIN
Input: R là quan hệ cần phõn mảnh ngang cơ sở. Pr là tập cỏc vị từ đơn giản Output: Pr’ là tập cỏc vị từ đơn giản.
Khai bỏo: F là tập cỏc mảnh hội sơ cấp. Begin
Tỡm một vị từ pi ∈ Pr sao cho pi phõn hoạch R theo qui tắc Pr’ ← pi
Pr ← Pr – pi
F ← fi {fi là mảnh hội sơ cấp theo pi } do
begin
Tỡm một pj∈Pr sao cho pj phõn hoạch một mảnh fk của Pr’ theo qui tắc Pr’ ← Pr’ ∪ pj
Pr ← Pr - pj F ← F ∪ fi
If ∃pk ∈ Pr’, một vị từ khơng cú liờn đới then begin Pr’ ← Pr’ - pk F ← F - pk end-if end-begin until Pr đầy đủ End. { COM_MIN} Thuật toỏn thực hiện như sau:
• Bắt đầu bằng cỏch tỡm một vị từ cú liờn đới và phõn hoạch quan hệ đó chọ Vũng lặp do-until thờm cỏc vị từ vào tập Pr’, đảm bảo Pr’ là cực tiểu và đầy đủ.
• Bước thứ hai: Trong quỏ trỡnh phõn mảnh ngang cơ sở suy dẫn ra tập cỏc vị từ hội sơ cấp cú thể được định nghĩa trờn cỏc vị từ trong tập Pr’. Cỏc vị từ hội sơ cấp này xỏc định cỏc mảnh cấp phỏt.
• Bước thứ ba: Cỏc vị từ hội sơ cấp cú thể rất lớn, tỷ lệ hàm mũ theo số lượng cỏc vị từ đơn giản Vỡ vậy cần phải loại bỏ những mảnh khơng cú ý nghĩa, bằng cỏch xỏc định những vị từ mõu thuẫn với tập cỏc phộp kộo theo (Implication).