Programy według fdchecker.sf.net

Ten aplet Java dostaje jako wejście zestaw zależności funkcjonalnych (FD) (teoria bazy danych) i jeszcze jeden FD, aby sprawdzić, czy ostatni podany FD jest w zestawie FD lub pochodną tych FD. Ponadto drzewo graficzne jest wy