Dynamic conjunctive queries
Dynamic conjunctive queries
复制标题
动态连接查询
DOI：
10.1016/j.jcss.2017.03.014
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Thomas Schwentick
中科院分区：
文献类型：
--
作者：
Thomas Zeume;Thomas Schwentick
本文研究了在Patnaik和Immerman的动态复杂性框架中，由联合查询维护的查询类及其扩展和限制。从无量词的正原子连词的基本语言出发，研究了附加算子和特征（如并并、原子否定和量化）对动态表达性的影响，以及对标准语义和Δ-semantics的影响。本文确定了标准语义的五个主要片段的线性层次结构，其特征是(1)任意量化和原子否定，(2)存在量化和原子否定，(3)存在量化，(4)原子否定（但不量化），以及(5)根本不添加基本语言。片段(3)、(4)、(5)是可以分离的，片段(1)、(2)、(3)是否真的不同，还没有定论。由Δ-semantics产生的片段也包含在标准片段(1)、(2)和(4)中。dynfo的其他片段也符合这种线性层次结构。
The article investigates classes of queries maintainable by conjunctive queries and their extensions and restrictions in the dynamic complexity framework of Patnaik and Immerman. Starting from the basic language of quantifier-free conjunctions of positive atoms, it studies the impact of additional operators and features — such as union, atomic negation and quantification — on the dynamic expressiveness, for the standard semantics as well as for Δ-semantics. The article identifies a linear hierarchy of five main fragments for the standard semantics, characterized by the addition of (1) arbitrary quantification and atomic negation, (2) existential quantification and atomic negation, (3) existential quantification, (4) atomic negation (but no quantification), and by (5) no addition to the basic language at all. While fragments (3), (4) and (5) can be separated, it remains open whether fragments (1), (2) and (3) are actually different. The fragments arising from Δ-semantics are also subsumed by the standard fragments (1), (2) and (4). Other fragments ofDynFOalso fit into this linear hierarchy.
登录
查看更多内容
数据库环中的增量查询评估
DOI：
10.1145/1807085.1807100
发表时间：
2010
期刊：
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
影响因子：
--
作者：
Christoph E. Koch
通讯作者：
Christoph E. Koch
影响因子：
0.5
作者：
Gelade, Wouter;Marquardt, Marcel;Schwentick, Thomas
通讯作者：
Schwentick, Thomas
确定性 FOIES 较弱
影响因子：
1.2
作者：
Guozhu Dong;Jianwen Su
通讯作者：
Jianwen Su
关系演算和SQL中递归查询不可能递减重新计算的问题
DOI：
--
发表时间：
1995
期刊：
International Workshop/Symposium on Database Programming Languages
影响因子：
--
作者：
Guozhu Dong;L. Libkin;L. Wong
通讯作者：
L. Wong
关于可达性的无量词动态复杂性
影响因子：
1
作者：
T. Zeume;T. Schwentick
通讯作者：
T. Schwentick