约束和三大范式