NEGATIVE RESULTS FOR EQUIVALENCE QUERIES

被引：91

|

作者：

ANGLUIN, D

机构：

来源：

MACHINE LEARNING | 1990年 / 5卷 / 02期

关键词：

D O I：

10.1007/BF00116034

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：121 / 150

页数：30

相关论文

共 50 条

[31] A subexponential exact learning algorithm for DNF using equivalence queries
Bshouty, NH
INFORMATION PROCESSING LETTERS, 1996, 59 (01) : 37 - 39
[32] Equivalence-Invariant Algebraic Provenance for Hyperplane Update Queries
Bourhis, Pierre
Deutch, Daniel
Moskovitch, Yuval
SIGMOD'20: PROCEEDINGS OF THE 2020 ACM SIGMOD INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2020, : 415 - 429
[33] Membership Testing in Markov Equivalence Classes via Independence Queries
Zhang, Jiaqi
Shiragur, Kirankumar
Uhler, Caroline
INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 238, 2024, 238
[34] From equivalence queries to PAC learning: The case of implication theories
Yarullin, Ramil
Obiedkov, Sergei
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2020, 127 : 1 - 16
[35] TRANSLATING SQL INTO RELATIONAL ALGEBRA - OPTIMIZATION, SEMANTICS, AND EQUIVALENCE OF SQL QUERIES
CERI, S
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (04) : 324 - 345
[36] VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
He, Yang
Zhao, Pinhan
Wang, Xinyu
Wang, Yuepeng
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (OOPSLA):
[37] On satisfiability, equivalence, and implication problems involving conjunctive queries in database systems
Guo, S
Sun, W
Weiss, MA
IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1996, 8 (04) : 604 - 616
[38] On Satisfiability, equivalence, and implication problems involving conjunctive queries in database systems
Florida Int Univ, Miami, United States
IEEE Trans Knowl Data Eng, 4 (604-616):
[39] Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries
Angela Bonifati
Werner Nutt
Riccardo Torlone
Jan Van den Bussche
The VLDB Journal, 2016, 25 : 381 - 397
[40] Mapping-equivalence and oid-equivalence of single-function object-creating conjunctive queries
Bonifati, Angela
Nutt, Werner
Torlone, Riccardo
Van den Bussche, Jan
VLDB JOURNAL, 2016, 25 (03): : 381 - 397

← 1 2 3 4 5 →