下列数据模型中，具有坚实理论基础的是（ ）。