MBase

MBase is a distributed database for based on::OMDoc, developed by Michael Kohlhase and author::Andreas Franke