基于逻辑的数据模型教学

作者：张胜

来源：电脑知识与技术, 2016, 12(31): 147.

DOI：10.14004/j.cnki.ckt.2016.4146

• 一阶谓词逻辑
• 数据模型
• 语法
• 语义

一阶谓词逻辑除了可用在关系演算中表示关系和关系代数,还能作为一种数据模型存在,本文将讨论如何在教学中介绍该模型的语义和语法问题

• 单位
  安庆师范大学