依關聯式資料庫理論，關聯（relation）是艾德加・柯德（E. F. Codd）定義的元組（tuple）集合：元組沒有順序，每個元素稱為屬性值（attribute value），屬性是「名稱」與「資料域（data domain，今日更常稱為資料型別）」的配對；同一個元組內不會有兩個同名元素。

• 關聯的主要性質：屬於同一關聯的所有元組共享同一份資料定義——相同的屬性清單，且每個屬性有特定的資料型別，其上還可以再疊加其他約束。
• 本部要看 PostgreSQL 提供哪些資料型別給應用程式開發者，以及如何用它們提升應用程式的正確性、簡潔性與效能。