Program menurut dbdesigntools.sf.net

Perpustakaan dan aplikasi yang mengimplementasikan beberapa algoritma relatif terhadap teori database: penutupan atribut, perhitungan kunci utama, set dependensi minimal, normalisasi, dll.