数据库中的约束和三大范式