Can you summarize the following document?
        
  實體(英語:Entity)表示一個離散物件。實體可以被(粗略地)認為是名詞,如計算機、僱員、歌曲、數學定理。關聯描述了兩個或更多實體相互如何關聯。聯絡可以被(粗略地)認為是動詞,如:在公司和計算機之間的擁有關聯,在僱員和部門之間的管理關聯,在演員和歌曲之間的表演關聯,在數學家和定理之間的證明關聯。實體繪製為矩形,聯絡繪製為菱形。  實體和聯絡都可以有屬性,如僱員實體可以有一個社會保障號碼屬性(在美國);證明關聯可以有一個日期屬性。屬性繪製為橢圓形並通過一條線與所屬的實體相連。 每個實體(除非是弱實體)都必須有一個唯一標識屬性的最小化集合。這個集合叫做實體的主鍵。  實體聯絡圖不展示單一的實體或聯絡的單一的例項。它們展示實體集合和聯絡集合(分別顯示為矩形和菱形),如特定的歌曲是實體。在資料庫中所有歌曲的蒐集是一個實體集合。在安德魯·懷爾斯及費馬最後定理之間的證明聯絡是一個單一聯絡。所有這種數學家-定理聯絡的集合是一個聯絡集合。  線條繪製於實體集合和它們所參與的聯絡集合之間。如果在實體集合中所有實體都必須在聯絡集合中參與一個聯絡,則繪製粗線。這叫做參與約束。如果實體集合的每個實體可以在聯絡集合中參與最多一個聯絡,則繪製從這個實體集合到聯絡集合的一個箭頭。這叫做鍵約束。要指示在實體集合中每個實體都必須精確的參與一個聯絡,則繪製粗箭頭。  使用關聯實體來解決有多對多聯絡的兩個實體的問題 。  一元聯絡 - 一元聯絡是在一個單一的表格的行之間的聯絡。 這是個很方便的程式。

  弱實體是不能用它自己的屬性唯一標識的實體,所以必須用它自己的屬性和與之有關的實體的主鍵二者作為它的主鍵。弱實體集合指示為粗矩形(實體),透過一個粗箭頭把它連線到一個粗菱形(聯絡)上。  有時兩個實體是一個更一般的實體型別的更特殊化的子型別。例如,程式設計師和營銷員都是軟體公司的僱員的型別。要指示這種關聯,繪製其中帶有 "ISA" 的三角形。超類是連線到頂點上而兩個(或更多)子類連線到底邊上。  最後,透過聚集,一個聯絡和所有它的參與實體集合可以被當作一個單一的實體集合,目的是讓它可以參與另一個關聯。這可以指示為在所有聚集的實體和聯絡之外繪製一個虛矩形。

  實體聯絡的模型可以依據是否只允許二元聯絡而分類為 BERM(二元實體關聯模型)和 GERM(一般實體聯絡模型)。二元聯絡是在兩個實體之間的聯絡。所以,在 GERM 中在在三個或更多實體之間的聯絡也是允許的。
ER模型,全稱為實體聯絡模型、實體關係模型或實體聯絡模式圖(ERD)(英語:Entity-relationship model)由臺裔美籍電腦科學家陳品山發明,是概念資料模型的高層描述所使用的資料模型或模式圖。