データベースを ANSI/SPARC の3層スキーマ構造によってモデル化した。このとき、アプリケーション プログラムを論理的なデータから切り離して、データの独立性を保証するために使用されるスキーマ はどれか。