10.3969/j.issn.1673-629X.2004.03.029
谓词公式的分层及其模型和应用
通过形式化的方法描述数据库中数据的性质,从而进一步讨论这些形式化的性质如何能在数据库模型中得到满足.为此,将谓词公式作为形式化的工具,并根据谓词公式中量词的不同情况对谓词公式进行了分层.针对分层公式、模型的概念被定义,研究了分层公式在模型中的性质.这些性质表明了分层公式中量词的特性与模型之间的关系.在此基础上,讨论了分层公式及其模型在实际当中的应用.由此得到:数据性质的分层公式描述不仅便于从理论上弄清数据与模型之间的关系,而且对于应用也具有实际的指导意义.
分层公式、模型、n-层公式、()n-层公式
14
TP311(计算技术、计算机技术)
2004-04-02(万方平台首次上网日期,不代表论文的发表时间)
共4页
83-86