给出关系R（U，F），U={A，B，C，D，E} ，F ={A→BC，B→D，D→E} 。以下关于F说法正确的是（F蕴涵A→D、A→E、B→E，故F存在传递依赖）。若将关系R分解为ρ = {R1（U1，F1）， R2（U2，F2）}， 其中：U1={A，B，C} 、U2 = {B，D，E} ，则分解 ρ（无损连接并保持函数依赖）。
Armstrong公理系统是关系数据库中函数依赖推理的核心依据，包含自反律、增广律、传递律三条基本规则，还可派生出分解规则、合并规则等，借助它能从已知函数依赖集推导出所有隐含的函数依赖，比如可从A→BC推导出A→B、A→C，从A→B、B→D、D→E推导出A→D、A→E、B→E这类传递函数依赖，传递函数依赖指的是在X→Y、Y→Z且Y无法决定X的前提下，X对Z形成的间接函数依赖。在关系模式分解中，需重点关注无损连接性和函数依赖保持性两个核心属性：无损连接性可通过分解后两个属性集的交集是否能函数决定其中任一属性集与交集的差集来判断，比如分解为U1、U2时，若U1∩U2能决定U1-U2或U2-U1，则为无损分解；函数依赖保持性则要求分解后各子模式上的函数依赖集合的闭包能覆盖原模式的所有函数依赖，确保原有数据约束在分解后仍能得到维持。
此题考察Armstrong 公理系统 的相关概念。
本小问答案是 F蕴涵A→D、A→E、B→E，故F存在传递依赖。以下关于F说法正确的是F蕴涵A→D、A→E、B→E，故F存在传递依赖。
A. F蕴涵A→B、A→C，但 F 不存在传递依赖：与题干限定不匹配，错误。
B. F蕴涵E→A、A→C，故F存在传递依赖：与题干限定不匹配，错误。
C. F蕴涵A→D、E→A、A→C，但F不存在传递依赖：与题干限定不匹配，错误。
D. F蕴涵A→D、A→E、B→E，故F存在传递依赖：F蕴涵A→D、A→E、B→E，故F存在传递依赖与题干限定一致，正确。
因此，选项 D 正确。