论文部分内容阅读
数据库的闭世界假设（CWA）为完美解决数据库的查询提供了新的理论根据。逻辑是描述数据的有力工具。只有保证了数据定义的完备性，才能使在闭世界假设理论指导下得到的结果是数据库的逻辑推论，也才能完美体现数据库的语义。该文论述了以上问题，并且认为数据的逻辑描述可以用Prolog语言来实现。（本刊录）
闭世界假设下数据定义的描述
【摘 要】
：
数据库的闭世界假设（CWA）为完美解决数据库的查询提供了新的理论根据。逻辑是描述数据的有力工具。只有保证了数据定义的完备性，才能使在闭世界假设理论指导下得到的结果是数据
【机 构】
：
复旦大学
【出 处】
：
中国第八届数据库学术大会
【发表日期】
：
1989年期
其他文献
软件开发工具的研究是软件开发环境的一个重要方面，也是提高软件生产率的重要途径，dBASE是微机IBM-PC上广泛应用的关系型数据库管理系统，32位微机中也提供了dBASE的复型FOXBASE
尿酶是省《农业科技与信息》杂志社提供的一种高科技产品,其主要作用机理是提高尿素的利用率,减少尿素用量,从而达到增产、增收的目的。我场今年引用此项技术进行试验示范。
钻石是珍贵、美丽的，是财富的象征。然而，一些非洲国家领导人对它却有着切肤之痛。塞拉利昂总统称钻石是塞拉利昂的“灾难”；中非共和国安全总局长把它说成是非洲大陆的“万恶之
该文给出了在对DBF文件直接操作的基础上，用模拟域演算式语言QBE，实现DBASE-Ⅲ关系演算功能扩展的方法，并在IBM-PC机上实现，简化了DBASE-Ⅲ的检索操作，特别是多关系的检索操作，具有