豆荚

我们介绍并描述交替不动点带有否定的逻辑程序。其基本思想是单调地建立一组消极的得出结论，直到达到最小不动点，使用与。。。

我们引入了全局SLS-resolution，这是Van Gelder、Ross和Schlipf定义的一种有充分根据的否定的过程语义。全局SLS分辨率扩展了Prsymusinski的SLS分辨率，可以应用于所有程序，无论是本地分层的。。。

从经典逻辑的观点来看，逻辑程序设计的一些非常规特征可以用建构主义逻辑来解释。我们激励并提出了非Horn逻辑程序设计的建构主义证明理论。然后，我们申请。。。

如果地面析取事实被接纳到数据库中，则联合查询的数据复杂性将从PTIME增长到CoNP，并带有一些CoNP-完全联合查询的简单示例。在这种情况下出现的一个自然问题是，它是否。。。

更新可以指定为单个数据库状态转换，也可以指定为查询和数据库状态转换的序列。我们对Datalog进行了扩展，以在逻辑数据库上表示这两种类型的更新规范。扩展支持。。。

数据库更新最近比过去受到了更多的关注。在这种趋势下，通过基于弱实例模型的接口来更新数据库的问题提供了坚实的基础。元组的插入和删除是。。。

具有函数依赖的关系模式的几个决策问题在计算上很困难。这些问题包括确定一个属性是否是质数，以及测试一个模式是否是标准形式。。。

本文提出了一种判定两个连接查询表达式是否总是描述不相交元组集的算法。决策程序解决了Blakeley、Coburn和Larson发现的一个公开问题：如何检查一个显式。。。

我们表明，对于任何安全的数据日志程序P（P）₁和任何查询问（的谓词P（P）₁有一些绑定参数），还有另一个安全的数据日志程序P（P）₂产生答案的问并且在进行半原始评估时所花费的时间不会超过P（P）₁...

查询是安全的对于一组约束，如果对于满足约束的每个数据库，都保证查询产生有限的答案集。我们在这里研究数据日志程序的安全问题有限性。。。

对于某些逻辑规则集，可以证明对于每个证明树，都有另一棵树证明相同的事实并具有特殊的形式。检测这种机会的一种技术是将问题简化为联合查询。。。

用等效线性递归替换非线性递归是一种潜在有用的查询优化策略，因为它允许使用高效算法来评估线性逻辑程序。我们显示。。。

考虑扩展谓词上具有单调约束的数据日志（即无函数逻辑）程序。单调性约束表明，根据某些偏序，谓词的一个参数总是小于另一个参数。。。

我们认为，逻辑程序评估的适当并行化策略取决于被评估的程序。因此，本文关注程序分类和并行化策略的问题。我们建议五个。。。

本文描述了模块化在系统中的重要性，并列出了系统日益模块化的一些原因。它描述了系统和分布式数据库的两个吸管体系结构模型，以说明该模型的有效性。。。

近年来，多维数据的访问方法吸引了大量研究兴趣。通常，针对这个问题提出的数据结构将数据库划分为一组磁盘页（桶）。桶的入口由……提供。。。

B树节点的利用率决定了B树中的级别数，从而决定了其性能。到目前为止，确定B树利用率的唯一分析辅助工具是姚的分析和相关工作。。。

在本文中，我们建议使用分形，特别是希尔伯特曲线，以设计良好的距离-保护映射。这种映射提高了辅助密钥和空间访问方法的性能，其中多维点具有。。。

所研究的问题是在多个磁盘上分发二进制笛卡尔积文件，以最大化部分匹配查询的并行性。笛卡尔乘积文件是一些二级密钥访问方法的结果，例如多属性。。。

从业者普遍认为，事务系统的并发控制和恢复以微妙的方式交互。然而，在大多数理论工作中，并发控制和恢复被视为独立的问题。在…中。。。

本文提出了一种访问B树的嵌套事务的并发控制算法。它结合了B-link树的思想和弹性2相锁定的思想[Mos85b]。I/O自动机模型用于规范和证明。。。

本文研究了Horn逻辑的一个扩展，其中规则可以假设地向数据库添加条目。一些研究人员已经沿着这些路线开发了逻辑系统，但这种逻辑的复杂性和可表达性只是现在才。。。

作为基于逻辑的查询语言的递归查询的替代方法，我们正在研究一种图形查询语言，称为G公司⁺，它允许在有向图中简单路径的某些查询的简单公式化。这导致。。。