added information about database; removed tables that were not used (OpenID and tagging for users and formulas)