CAJ | 학술논문

提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义.提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法.最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例.
제출Datalog라집정서조용어의화조용위사,설명포함정서조용위사적가경신U-Datalog정서적조작어의급기고정점어의.제출재유한분층조용정황하U-Datalog정서적통용평개(evaluation)산법.최후대Datalog정서조용어의재수자판권어언중적응용주료설명병급출시례.
The paper firstly gave the call semantic and call predicates of datalog logic programs,and discussed the operational and fixpoint semantics of U-datalog programs with call predicates.Then the algorithms that evaluate U-Datalog programs with call predicates under definite stratified calls were presented.Finally,applications of the call semantic of datalog programs in digital rights management were explained and demonstrated.