）和模型层级的想法，来解决实际中遇到的那种规模的问题。结果是IDEF1X的形式化，不能严格的只依据关系模型，而是直接使用一阶逻辑。为了增进形式化的能用性，只使用逻辑的有限子集，本质上为入门教程所涵盖。一部份的形式化依托于IDEF1X的元模型。形式化中解释（interpretation）所指定的关系，可以非正式的看作在IDEF1X中使用的常见的样本实例表。建模构造的形式句子，可以非正式的看作在这些实例表上的初步的查询语言。元模型、实例表和查询语言仅凭视角（points of view）自身就是有用的，不依