数据库程序设计中的约束、触发器和存储过程