Database: spec db format rewriting