论文部分内容阅读
首先提出一种单限制变元Datalog^乛,sc的概念，并对单限制变元Datalog^乛,sc的评价（evaluation）及其元组识别问题做了分析．然后提出使用控制授权语言框架LUC，该框架基于具有单一稳态结构的单限制变元分层Active-U-Datalog^乛,sc语法和语义，具有逻辑上的一致性、完备性和可行性，最后对LUC框架的表达力、灵活性及其实现和应用做了说明．