谓词公式的分层及其模型和应用

• 作者: 闫林
• 来源期刊: 微机发展
• 学科: 工学
• 关键词: 分层公式 模型 n-层公式 ()n-层公式
• 年，卷（期）: 2004,（3）
• 所属期刊栏目: 理论研究与应用
• 页码范围: 83-86
• 页数: 4页
• 分类号: TP311
• 字数: 4515字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2004.03.029

摘要

通过形式化的方法描述数据库中数据的性质,从而进一步讨论这些形式化的性质如何能在数据库模型中得到满足.为此,将谓词公式作为形式化的工具,并根据谓词公式中量词的不同情况对谓词公式进行了分层.针对分层公式、模型的概念被定义,研究了分层公式在模型中的性质.这些性质表明了分层公式中量词的特性与模型之间的关系.在此基础上,讨论了分层公式及其模型在实际当中的应用.由此得到:数据性质的分层公式描述不仅便于从理论上弄清数据与模型之间的关系,而且对于应用也具有实际的指导意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	闫林	河南师范大学计算机科学系	25	116	7.0	8.0