@id:1116
$name:推移的関数従属性