智能合约重构社会契约 智能合约的自动触发

Posted 2021-06-08 thefist11

1. 触发器

触发器（trigger）是SQL server 提供给程序员和数据分析员来保证数据完整性的一种方法，它是与表事件相关的特殊的存储过程，它的执行不是由程序调用，也不是手工启动，而是由事件来触发，比如当对一个表进行操作（ insert，delete， update）时就会激活它执行。触发器经常用于加强数据的完整性约束和业务规则等。 触发器可以从 DBA_TRIGGERS ，USER_TRIGGERS 数据字典中查到。

触发器有如下作用：

• 可在写入数据表前，强制检验或转换数据。
• 触发器发生错误时，异动的结果会被撤销。
• 部分数据库管理系统可以针对数据定义语言（DDL）使用触发器，称为DDL触发器。
• 可依照特定的情况，替换异动的指令 (INSTEAD OF)。
  

2. “基于规则的专家系统机制”

3. 服务计算的策略计算

策略是关于计算机系统的约束、规则或者声明，一般是指可以实现目标的方案集合。