Last published: September 16, 2008 5:43:56 AM PDT | Doc for 1.0 SourceForge.net Project Page | Stanford SUIF Group Documentation What is it? Links NEW! PLDI'06 tutorial PLDI'04 paper PODS'05 paper Datalog examples Download NEW! Applet version Download JAR file Project Documentation About Project Info Project Reports Development Process Legend External Link Opens in a new window bddbddb stands for BDD-Based Deductive DataBase. It is an implementation of Datalog, a declarative programming language similar to Prolog for talking about relations. What makes bddbddb unique is that it represents the relations using binary decision diagrams (BDDs). BDDs are a data structure that can efficiently represent large relations and provide efficient set operations. This allows bddbddb to efficient represent and operate on extremely larg...