一个函数式数据模型fm的完备性

模型完备性是衡量数据模型描述能力的一种重要特性。本文引入了一个函数式数据模型fm和查询语言fql,定义了一种新的模型蕴含和完备的概念,最后,根据关系模型的有关特性(如蕴含、完备等),讨论fm的完备性。