이행적 종속성 식별하기

전국 규모의 학교 데이터베이스가 있다고 가정해 볼게요. 데이터베이스 정규화를 잘 모르는 누군가가 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
)

이 테이블 정의로 인해 도입된 이행적 종속성을 식별하세요.