「情報無損失分解」を確認するためのアルゴリズムあるいはテスト手法はどれか。

「派生データ（計算結果など）」を物理テーブルに保存すること（冗長化）が正当化される理由はどれか。