Atur cara mengikut dbdesigntools.sf.net

Perpustakaan dan aplikasi yang melaksanakan beberapa algoritma berbanding dengan teori pangkalan data: penutupan atribut, pengiraan kunci utama, pergantungan minimum yang ditetapkan, normalisasi, dll.