如何在类似 excel 的表中查找所有功能依赖项？

Question

下表是一个“类似 Excel ”的表格，表示大学研究人员进行的研究项目的信息。 （第 2 行与 Member_ID 列前的第 1 行合并，第 4 和第 5 行与 Member_ID 列前的第 3 行合并）（GFM 不支持单元格合并，查看图像格式的表格点击此处）。

项目_ID	项目名称	Leader_ID	Leader_Name	Leader_Budget	会员ID	成员名字	Member_Budget	Total_Budget
A001	人工智能	1001	J·史密斯	500万	1010	W.金。	1000000	6800000
					1011	S.田中。	800000
A002	物联网	1011	S·田中	400万	1001	J.史密斯。	500000	6300000
					1033	K.辛格。	120万
					1045	R。 棕色的。	600000

每个研究项目都由项目负责人和项目成员进行。 每个研究项目都有一名项目负责人。 多个研究成员参与一个研究项目。 一名研究人员可以只担任一个研究项目的项目负责人，而他或她可以是其他项目的研究成员。 研究预算分配给项目负责人和项目成员。 例如，项目“AI”的项目负责人是预算为 500 万日元的“J. Smith”。 “W. Kim”和“S. Tanaka”是“AI”的研究成员，预算分别为 1 和 80 万日元。 “AI”的总预算为 680 万日元，将分配给领导者和成员的个人预算相加。 项目负责人“J. Smith”也是另一个项目“IoT”的研究成员。

表示此信息的关系模式可以如下（未指示键）。

Projects(prj_id, prj_name, leader_id, leader_name, leader_budget, mem_id, mem_name, mem_budget, total_budget)

问题是：

• 查找所有功能依赖项。

我想出了FD

prj_id → prj_name, leader_id 
leader_id → leader_name, leader_budget 
mem_id → mem_name
prj_id, mem_id → mem_budget

但是，我对如何在 FD 中包含 total_budget 感到困惑。 通过查看定义，其中

依赖 FD: X → Y 表示 Y 的值由 X 的值决定。共享相同 X 值的两个元组必然具有相同的 Y 值。

考虑到total_budget 是由leader_budget 和mem_budget 与定义相加的，似乎我们不能说leader_budget，mem_budget → total_budget，因为mem_budget 包含多个值。

因此，我应该如何确定该表中的total_budget，还是隔离它更好？