SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics
SPES: A Symbolic Approach to Proving Query Equivalence Under Bag Semantics
复制标题
SPES：一种在包语义下证明查询等价性的符号方法
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Q. Zhou, J. Arulraj
中科院分区：
文献类型：
--
作者：
Q. Zhou, J. Arulraj
登录
查看更多内容
路径连接查询、约束和视图的方程追踪
DOI：
--
发表时间：
1999
期刊：
International Conference on Database Theory
影响因子：
--
作者：
Lucian Popa;V. Tannen
通讯作者：
V. Tannen
SQL 查询的形式语义
DOI：
--
发表时间：
1991
期刊：
TODS
影响因子：
--
作者：
Mauro Negri;G. Pelagatti;L. Sbattella
通讯作者：
L. Sbattella
Qex：符号 SQL 查询浏览器
DOI：
--
发表时间：
2010
期刊：
Logic Programming and Automated Reasoning
影响因子：
--
作者：
Margus Veanes;N. Tillmann;J. D. Halleux
通讯作者：
J. D. Halleux
DOI：
--
发表时间：
1999
期刊：
Very Large Data Bases Conference
影响因子：
--
作者：
Alin Deutsch;Lucian Popa;V. Tannen
通讯作者：
V. Tannen
验证 Spark 程序的等效性
影响因子：
2.5
作者：
Shelly Grossman;Sara Cohen;Shachar Itzhaky;N. Rinetzky;Shmuel Sagiv
通讯作者：
Shmuel Sagiv