Nontrivial DB is a deeply-theoretical graph database prototype (for now).