【摘 要】
：
<正> 1.引言自七十年代末期,Gallair等人首先从一阶谓词逻辑角度给出了关系数据库的模型论和证明论模型,奠定了逻辑成为数据库的理论基础。根据模型论观点:查询和完整性限制
【机 构】
：
北京航空航天大学计算机系北京100083
论文部分内容阅读
<正> 1.引言自七十年代末期,Gallair等人首先从一阶谓词逻辑角度给出了关系数据库的模型论和证明论模型,奠定了逻辑成为数据库的理论基础。根据模型论观点:查询和完整性限制被视为在真值语义下的解释环境中的求值;根据证明论观点:查询和完整性限制均为待证明的定理。而且基于逻辑的数据库研究促进了人工智能与数据库的相互渗透,推动了数据处理与知识处理的统一。
其他文献
近年来,国有企业改革逐步深化,风险管理工作也得到改善,但仍存在不重视风险管理工作、机制不健全和重程序、轻实质等问题。在当前国资监管方式由"管资产"向"管资本"转变的背
通过对电脑音乐创作过程中的一些技术的论述,提出了电脑音乐创作是集音乐的三度创作为一体的综合性创作活动.随着科学技术的不断发展,电脑音乐技术已冲击了音乐的各个方面,引
本文主要探讨了供给侧改革与环保新政给山西省焦炭行业销售格局带来的影响。文章主要从山西焦炭行业供应量、销售量,以及销售价格及利润三个方面,详细分析了供给侧改革与环保
科学管理制度创新面临的困境是传统文化相对滞后的矛盾,"人治"和"集权"已是造成这种人文困境的深层原因,而取精去糟,进行文化创新是走出人文困境的途径.
从经济、社会、环境、技术四个方面研究陕西省农村基础设施项目可持续发展评价指标体系，包括生态、环保、社会、经济、节能、规划、防灾等系统．划分了9个评价因子和46个评价指
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
文章认为:房屋工程都需要应用精确的技术进行测绘,就目前看来,应用于房产测绘的技术主要是有GPS技术、数字化测绘技术、摄影测量技术等等。这一系列的工程测绘技术应用到房屋
<正>城市坐标:北纬13°37’,东经103°84’。地处柬埔寨西北方,暹粒省的省府,距离首都金边311公里,距离泰国边界只有152公里,位于东南亚最大淡水湖泊——洞里萨湖的北岸。吴
对某斜拉桥索塔锚固区节段建立有限元计算模型进行空间应力分析,并与足尺模型试验得出的结果相比较,对该桥塔锚固区工作性能及安全性进行评价。测试分析U形塑料波纹管孔道摩
国内关于全混式厌氧发酵反应器(CSTR)的研究较为匮乏,对其结构各方面的设计参数大多是参考国外设计。重点对CSTR的结构等应用进展进行综述,主要针对在沼气工程应用以及实验装