延迟约束和触发器实现