规则语义相关论文
为突破IoT CapBAC规则时间间隔粗糙性分析瓶颈,提出了规则语义表示模型IoTACS以及粗糙性分析算法IoTRA。在IoTACS中,提出IoT CapBA......
该文旨在为计算机软件系统提供一个高可靠性的形式化方法,给出软件形式化的规则和步骤.文章首先简单介绍了面向对象技术和形式化方......
对象-关系数据库管理系统的主动性是通过灵活的规则机制来实现的,本文讨论了规则语义,包括规则的耦合模式、冲突处理、级联触发以......
主动规则触发执行的耦合方式通常分类为“立即”、“推迟”和“分离”耦合方式,但是,在支持并发规则的主动数据库中,由于规则触发......
讨论了对象 -关系数据库管理系统 ANGEL的规则机制的实现 ,主要包括 :规则语义、规则的耦合模式、冲突处理、级联触发以及继承等 ;......