The D-Day Invasion Schema
treaties to signatories: treaty_id -> treaty_id
signatories to country: country_id -> country_id
war to battle: war_id -> war_id
battle to casualty: battle_id -> battle_id
alliances to member: alliance_id -> alliance_id
member to country: country_id -> country_id
provide: country_id -> country_id, commander_id -> commander_id
1NF: Satisfied (atomic values, primary key present).
2NF: Satisfied (single attribute primary key, all columns depend on it).
3NF: Satisfied (no transitive dependencies).
1NF: Satisfied (atomic values, primary key present).
2NF: Satisfied (single attribute primary key, all columns depend on it).
3NF: Satisfied (no transitive dependencies).
1NF: Satisfied (atomic values, primary key present).
2NF: Satisfied (single attribute primary key, all columns depend on it).
3NF: Satisfied (no transitive dependencies).
1NF: Satisfied (atomic values, primary key present).
2NF: Satisfied (single attribute primary key, all columns depend on it).
3NF: Satisfied (no transitive dependencies).
1NF: Satisfied (atomic values, primary key present).
2NF: Satisfied (single attribute primary key, all columns depend on it).
3NF: Satisfied (no transitive dependencies).
1NF: Satisfied (atomic values, primary key present).
2NF: Satisfied (single attribute primary key, all columns depend on it).
3NF: Satisfied (no transitive dependencies).
1NF: Satisfied (atomic values, primary key present).
2NF: Satisfied (single attribute primary key, all columns depend on it).
3NF: Satisfied (no transitive dependencies).
1NF: Satisfied (atomic values, primary key present).
2NF: Satisfied (single attribute primary key, all columns depend on it).
3NF: Satisfied (no transitive dependencies).
1NF: Satisfied (atomic values, primary key present).
2NF: Satisfied (single attribute primary key, all columns depend on it).
3NF: Satisfied (no transitive dependencies).
1NF: Satisfied (atomic values, primary key present).
2NF: Satisfied (single attribute primary key, all columns depend on it).
3NF: Satisfied (no transitive dependencies).
1NF: Satisfied (atomic values, primary key present).
2NF: Satisfied (single attribute primary key, all columns depend on it).
3NF: Satisfied (no transitive dependencies).
1NF: Satisfied (atomic values, primary key present).
2NF: Satisfied (single attribute primary key, all columns depend on it).
3NF: Satisfied (no transitive dependencies).
1NF: Satisfied (atomic values, primary key present).
2NF: Satisfied (single attribute primary key, all columns depend on it).
3NF: Satisfied (no transitive dependencies).