��如何在给定函数依赖集F的情况下方便地计算它的闭包F呢？Armstrong公理就可以帮助我们完成这个任务。
��