数据库的三范式和约束