一种最小函数依赖的增量计算方法

摘要

本发明公开了一种最小函数依赖的增量计算方法，该方法根据关系表变化前的最小非平凡函数依赖集、增量数据集、变化前的关系表的划分信息集，增量检测原有的最小函数依赖是否成立，最后确定关系表变化后的最小非平凡函数依赖集。该方法按照元组的操作类型(增加、删除或修改)，进行相应的最小函数依赖的增量计算。由于在实际应用中，数据库变化后，原数据集中的大多数最小函数依赖都是有效的，本发明提出的方法不需要重新计算新数据集的所有最小函数依赖，仅需要计算原最小函数依赖集的新增及删除的最小函数依赖，因此效率较高，且灵活性强，计算结果准确。

主权项

一种最小函数依赖的增量计算方法，其特征在于，已知关系表变化前的最小非平凡函数依赖集、增量元组集、变化前的关系表的划分信息集，首先根据增量元组集中所有元组的操作类型及属性值，修改划分信息集中的划分信息，然后增量检测原有的每条最小非平凡函数依赖在变化后的关系表中是否仍为最小非平凡函数依赖，如果是，则保留在最小非平凡函数依赖集中；如果不是，则从最小非平凡函数依赖集中删除，并计算关系表变化后新增的最小非平凡函数依赖。