推移的従属の特定

全国規模の学校データベースがあると想像してください。データベース正規化に不慣れな人が、schoolテーブルに対して次のような構造を提案しました。

CREATE TABLE school (
    id serial PRIMARY KEY,
    name VARCHAR(100) NOT NULL,
    street_address VARCHAR(100) NOT NULL,
    city VARCHAR(50) NOT NULL,
    state VARCHAR(50) NOT NULL,
    zip_code INTEGER NOT NULL
)

このテーブル定義によって導入される推移的従属を特定してください。