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

原文链接:http://www.cqvip.com//QK/97969X/200403/9263933.html

送人玫瑰，手留余香~如您已下载到该资源，可在回帖当中上传与大家共享，欢迎来CDA社区交流学习。（仅供学术交流用。）