-- Rename a column from "Infra_Coode" to "Infra_Code"
ALTER TABLE "public"."Room" RENAME COLUMN "Infra_Coode" TO "Infra_Code";