75
правок
Изменения
→Построение замыкания атрибутов
<tex>X_S^* = X</tex> \\<tex>X_S^*</tex> исходно совпадает с множеством, замыкание атрибутов которого ищем
'''do'''
'''foreach''' <tex>A \gets to B \in S</tex>: \\<tex>S</tex> {{---}} множество ФЗ
'''if''' <tex>A \subset X_S^*</tex> then <tex> X_S^* = X_S^* \cup B</tex>
'''while''' есть изменения
