国防科技大学学报2009，Vol.31Issue(5)：58-63,6.
内置谓词函数依赖及其推理规则
Functional Dependencies with Built-in Predicates and Its Axiomatization
摘要
Abstract
The increasing demand for data quality technology has motivated revisions of classical dependencies to capture more inconsistencies in real-life data. A class of integrity constraints, referred to as functional dependencies with built-in predicates (PFDs), is proposed for relational databases and their axiomatization is investigated. In contrast to traditional functional dependencies (FDs) developed mainly for schema design, PFDs generalize the notions of FDs to apply to subsets of relations specified by constraints in the context of interpreted data, and aim at capturing the consistency of data by enforcing bindings of ranges of semantically related values. For the implication analysis of PFDs, which is to decide whether or not a set of PFDs entails another PFD, we provide an inference system analogous to Armstrong's axioms for FDs, and prove the soundness and completeness of the inference system. This work is a step towards a practical constraint-based method for improving data quality since inconsistencies and errors in databases often emerge as violations of integrity constraints.关键词
函数依赖/内置谓词/推理规则/逻辑蕴涵/可靠性/完备性Key words
functional dependencies/built-in predicates/inference rule/logical implication/soundness/completeness分类
信息技术与安全科学引用本文复制引用
胡艳丽,张维明,肖卫东,汤大权,唐九阳..内置谓词函数依赖及其推理规则[J].国防科技大学学报,2009,31(5):58-63,6.基金项目
国家自然科学基金资助项目(60902094,60903225,70701038,60903206) （60902094,60903225,70701038,60903206）
