半连接代数与受约束片段
数据库
2007-05-23 v1 计算机科学中的逻辑
摘要
半连接代数是通过用半连接算子替换连接算子而得到的关系代数变体。我们讨论了半连接代数与一阶逻辑受约束片段之间的一些有趣联系。我们还提供了一个 Ehrenfeucht-Fraisse 博弈，刻画了半连接代数的区分能力。该博弈提供了一种方法，用于证明某些查询无法在半连接代数中表达。
引用
@article{arxiv.cs/0407007,
title = {The semijoin algebra and the guarded fragment},
author = {Dirk Leinders and Jerzy Tyszkiewicz and Jan Van den Bussche},
journal= {arXiv preprint arXiv:cs/0407007},
year = {2007}
}
备注
11 pages, 2 figures