论文部分内容阅读
函数项引入逻辑数据语言丰富了逻辑数据语言的语义，但是它也带来了问题。函数项的引入使得原Ｄａｔａｌｏｇ规则的安全性条件下不再有效。本文提出了含函数项规则的安全性条件。本文提出的充分条件易于判定，能够方便地在逻辑数据语言系统中实现。
含函数项规则的安全性条件
【摘 要】
：
函数项引入逻辑数据语言丰富了逻辑数据语言的语义，但是它也带来了问题。函数项的引入使得原Ｄａｔａｌｏｇ规则的安全性条件下不再有效。本文提出了含函数项规则的安全性条件。本文提出的充
【机 构】
：
东南大学计算机系
【出 处】
：
计算机研究与发展
【发表日期】
：
1996年5期
其他文献
目的观察关心丹参对心绞痛患者的临床疗效。方法将100例心绞痛患者随机分为治疗组和对照组各50例,两组均给予心机营养药物,硝脂类药物和调脂药物口服;治疗组在此基础上,给予
目的分析鼻咽癌放疗后鼻咽部大出血的抢救及护理措施。方法选取2014年8月至2015年8月在我院诊治的6例鼻咽癌病人放射治疗后并发鼻咽部大出血患者,就其呼吸道积血及时清除,辅
结合国内建筑市场的发展态势，深入分析了施工企业工程管理的现状和存在的主要问题。工程管理的内容广泛，贯穿于项目建设活动的全过程和每个方面，从项目中标、签约到施工准备、现
围绕船厂计划管理中的船舶生产标准时间的估计,设计、生产、物资采购等计划的建立,以及计划管理的动态控制及优化,对船舶建造的计划管理及优化进行了相应探讨。
农业综合开发作为我国政府支持和保护农业战略性措施,其项目资金的来源、分配、投入、使用和效益情况在农业综合开发的过程中起到了不可替代的重要作用,本文主要从农业综合开
说明 1、本年度高山、越野、跳台滑雪项目只有第八届冬运会一次竞赛活动,故八冬会的积分便是该年度的积分。 2、高山、越野滑雪本年度组织的集训测验赛因有较多的优秀运动员
目的分析新生儿缺氧缺血性脑病(HIE)患儿血清TNF-α、IL-6水平与脑损伤的相关性。方法选取HIE患儿54例作为HIE组,HIE患儿根据临床诊断分为轻、中、重度三组,选取正常足月出生
目的探讨依那普利叶酸片治疗H型高血压的临床效果,为H型高血压的临床治疗及用药提供更科学的依据和参考。方法选取2013年03月至2016年03月来我院治疗的200例H型高血压患者为
目的对临床急诊神经内科患者的主诉、年龄、诊断特点和规律、救治效果进行探讨和分析。方法回顾性分析2014年1月至2015年1月在我院就诊及治疗的急诊神经内科223例患者的临床
目的观察在非小细胞癌治疗中采用培美曲赛二钠与顺铂联合治疗的临床治疗效果。方法本研究选择我院收治的50例非小细胞肺癌患者进行分析,选取时段为2014年1月至2016年1月期间,