导出规则引理 5.1

根据数据库设计中的合并规则和分解规则,可以得出以下引理:

对于函数依赖关系 X→A1 A2…Ak,其成立的充分必要条件是 X→Ai 成立,其中 i = 1, 2, …, k。