开发者 bddbddb.sf.net

bddbddb: BDD-Based Deductive Database 免费

基于 BDD 的演绎数据库，数据日志的实现，它使用二进制决策图作为基础数据结构。这允许它有效地表示指数级的关系。