โปรแกรมตาม fdchecker.sf.net

จาวาแอปเพล็ตนี้ได้รับเป็นอินพุตชุดของการอ้างอิงการทํางาน (FD's) (ทฤษฎีฐานข้อมูล) และอีกหนึ่ง FD เพื่อตรวจสอบว่า FD ที่ได้รับล่าสุดอยู่ในชุดของ FD หรือได้มาจาก FD เหล่านี้หรือไม่ นอกจากนี้ แผนภูมิรูปภาพจะแสดงพร้อมกับการสืบทอด