设有关系模式R（A，B，C，D），F=｛A→BC，D→A｝，ρ＝｛R1（A，B，C），R2（A，D）｝是否无损连接分解。