開發者 bddbddb.sf.net

bddbddb: BDD-Based Deductive Database 免費

基於 BDD 的演繹資料庫，數據日誌的實現，它使用二進位決策圖作為基礎數據結構。這允許它有效地表示指數級的關係。