通常來說，一個數據結構DS 可以表示為一個二元組：
DS=(D,S), //i.e., data-structure=(data-part,logic-structure-part)
這里D是數據元素的集合（或者是“結點”，可能還含有“數據項”或“數據域”），S是定義在D（或其他集合）上的關系的集合，S = { R | R : D×D×...}，稱之為元素的邏輯結構。
邏輯結構有四種基本類型：
集合結構、線性結構、樹狀結構和網絡結構。
表和樹是最常用的兩種高效數據結構，許多高效的算法可以用這兩種數據結構來設計實現。
表是線性結構的（全序關系），樹(偏序或層次關系)和圖（局部有序(weak/local orders)）是非線性結構。