数据结构的形式定义为：
数据结构是一个二元组
Data_Structures = ( D,S )
其中：D是数据元素的有限集，
S是D上关系的有限集。
按关系或结构分，数据结构可归结为以下四类：线性结构、树形结构、图状结构和集合结构。
数据结构应该包括数据的"逻辑结构"和数据的"物理结构"两个方面（层次）。
数据逻辑结构是对数据元素之间存在的逻辑关系的描述，它可以用一个数据元素的集合和定义在此集合上的若干关系表示。
数据物理结构是数据逻辑结构在计算机中的表示和实现，故又称数据"存储结构"。
上述对数据结构的定义还只是数学上的抽象概念，并没有涉及计算机，完整的数据结构定义还应该包括它在计算机中的表示-即数据的存储结构。