论文部分内容阅读
本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言,应用谓词逻辑作为它的数学基础,使得对这些语言的研究成为对谓词逻辑的研究,优化数据子语言的表示成为对谓词逻辑的化简问题。
谓词逻辑在关系数据库中的应用
【摘 要】
：
本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言,应用谓词逻辑作为它的数学基础,使得对这些语言的研究成为对谓词逻辑的研究,优化数据子语言的表示成
【机 构】
：
上海社会科学院逻辑学研究室
【出 处】
：
电脑知识与技术(学术交流)
【发表日期】
：
2007年9期
其他文献
提出了组态软件现场应用时通信受干扰的问题.基于软件本身的功能特点,给出了一种多次校验发送的方法来减少通信干扰的影响.采用这种方法,保护了重要设备,减少了人工干预程度.
(一)整合现有农村金融机构,形成支农合力。一是明确金融机构在县及县以下机构、网点新增存款用于支持当地经济发展的比例,尤其是要重点改革现有的邮政储蓄机
英国特许管理会计师协会与美国注册会计师协会2014年联合发布了《全球特许管理会计师职业能力框架》，为管理会计人员在帮助组织决策时所需具备的核心能力提供指引。本文对全球
目的:对本州17家不同级别医院进行现状调查,分析院内放射护理管理情况现状,并针对放射管理存在的问题提出相应的解决措施,使提高放射护理的安全和质量能得到更好的保证。方法
为克服煤矿安全监控系统存在着升级维护不方便的缺点,使用ISP(在线可编程)技术,设计了分站单片机软件和中心站PC机软件.该方案可以实现远程在线更新程序.