BriefGPT.xyz
Aug, 2020
联结查询:独特特征和精确可学性
Conjunctive Queries: Unique Characterizations and Exact Learnability
HTML
PDF
Balder ten Cate, Victor Dalmau
TL;DR
研究了如何构造多项式多个正负示例唯一确定的不变式查询,提出了前沿算法并讨论其在描述逻辑和模式映射中的应用。
Abstract
We answer the question which
conjunctive queries
are uniquely characterized by polynomially many positive and negative examples, and how to construct such examples efficiently. As a consequence, we obtain a new efficient
→