formal db example
Merge pull request #17 from ScottTZhang/cleandb

formal db example