摘要： 以粗集理论为研究方法，针对粗关系数据库属性值非原子性的特点，从语义等价的角度改进了已有的粗关系数据库函数依赖定义，提出了其修正定义粗函数依赖，使之更客观地反映粗关系数据库中数据的语义联系，体现现实世界不确定性信息的粗糙性和不完备性。本文还给出了判断粗函数依赖是否成立的算法，并用粗关系实例验证了粗函数依赖的优越性，探讨了基于粗函数依赖的推理规则。

关键词: 函数依赖 关系数据库 库函数 粗集理论 原子性 属性值 算法 等价 正定 实例验证