Chương trình theo fdchecker.sf.net

Java Applet này được như đầu vào một tập hợp các phụ thuộc chức năng (FD) (lý thuyết cơ sở dữ liệu) và thêm một FD, để kiểm tra, nếu FD cuối cùng nhất định là trong tập hợp của FD hoặc có thể bắt nguồn từ các FD. Hơn nữa, một