什么是数据模型

2013年12月30日 作者： 来源：

现代计算机内部的数据都只以二元方式储存，即开-关模式(on-off)。现实世界中代表信息的各种数据，例如名字、银行账号、度量以及同样低端的二元数据，都经由程序设计语言整理，成为高端的概念。
一个程序中专门处理数据的那个系统被称为程序语言的型态系统(type system)；对型态系统的研究和设计被称为型态理论(type theory)。语言可以被分为静态型态系统(statically typed systems)，例如C++和Java，和动态型态系统(dynamically typed systems)，例如Lisp，JavaScript，Tcl和Prolog。前者可被进一步分为包含宣告型态(manifest type)的语言，即每一个变量和函数的型态都清楚地宣告，或type-inferred语言（例如MUMPS，ML）。
大多数语言还能够在内置的型态基础上组合出复杂的数据结构型态（使用数组，列表，堆栈，文件等等）。面向对象语言（Object Oriented Language，又译作“物件导向语言”）允许程序员定义新的数据型态，即“对象”或“物件”（objects），以及运行于该对象的函数（functions）和方法（methods）。
除了何时以及如何确定表达式和型态的联系，另外一个重要的问题就是语言到底定义了哪些型态，以及允许哪些型态作为表达式的值。诸如C编程语言之类的低端语言允许程序命名内存位置、内存区域以及编译时的常量；ANSI C甚至允许表达式返回结构值（struct values）。功能性的语言一般允许变量直接使用运行时计算出的值，而不是指出该值可能储存的内存地址。