极小函数依赖集的正确算法及其证明
겁소함수의뢰집적정학산법급기증명
A correct algorithm for the minimal set of functional dependencies and its proof
저자의 최근 논문