关于概念依赖下追逐过程对数据规模的依赖性
数据库
2013-12-10 v1
摘要
概念依赖（CDs）是特定类型的关键依赖（KDs）和包含依赖（IDs），它们精确刻画了根据实体 - 关系（ER）模型主要特征建模的关系模式。此类模式的实例可能是不一致的（数据违反依赖）或不完整的（数据构成一部分正确信息，但不一定包含所有相关信息）。虽然在一般 KDs 和 IDs 下是不可判定的，但在 CDs 下针对不完整数据的查询回答已知是可判定的。已知技术基于追逐（chase）——这是一种按深度层级组织的特殊实例，代表了所有满足依赖并包含初始实例的实例。尽管追逐通常具有无限规模，但可以通过在追逐的有限初始部分上提出查询（或其重写）来解决查询回答问题。与先前的主张相反，我们表明此类初始部分的最大层级不能由一个不依赖于初始实例规模的常数来界定。
引用
@article{arxiv.1312.2355,
title = {On the dependency on the size of the data when chasing under conceptual dependencies},
author = {Davide Martinenghi},
journal= {arXiv preprint arXiv:1312.2355},
year = {2013}
}
备注
22 pages, 2 figures (one of which with 5 subfigures). arXiv admin note: substantial text overlap with arXiv:1003.3139