「推移的関数従属」の解消が行われるのは、どの正規化段階か。

トップダウンアプローチで作成された概念データモデルと、ボトムアップアプローチで作成されたモデルを突き合わせて検証するプロセスを何と呼ぶか。