A formal inference rule system (due to Armstrong) can compute the closure of a set of fds.
Ang isang pormal na hinuha panuntunan system (dahil sa Armstrong) maaaring kalkulahin ang pagsasara ng isang hanay ng mga FDS.