从零开始写一个契约测试工具——数据库设计