提升U-Datalog语言的表达能力
摘要：提供以集合为导向的逻辑更新语言U-Datalog，旨在在Datalog-like语言的上下文中保证更新并行性。在U-Datalog中，通过在Datalog规则中引入约束（+p(X)表示插入，[减号]p(X)表示删除）来表示更新。U-Datalog程序可以解释为CLP程序。在该框架中，如果一组更新（约束）是可满足的，则表示它不表示一个不一致的理论，即它不需要插入和删除相同的事实。这种方法类似于非常简单的否定形式。然而，另一方面，U-Datalog不提供处理负信息的机制，从而导致语言表达能力有限。在本文中，我们提供了一个基于分层的语义，处理U-Datalog程序中否定原子的使用，并展示了在定义组合语义时出现的问题。
作者：Elisa Bertino, Barbara Catania, Roberta Gori
论文ID：cs/0404003
分类：Databases
分类简称：cs.DB
提交时间：2007-05-23