论文部分内容阅读
闭世界假设是逻辑数据库中一类主要的隐含完备。本文给出了一种参数化ＣＷＡ的一般定义，使用这种参数化宝义，已知的以及新的ＣＷＡｓ可作为特殊情况推导出，并可对数据库完备的概念进行更有效的描述。
逻辑数据库中参数化CWAs问题研究
【摘 要】
：
闭世界假设是逻辑数据库中一类主要的隐含完备。本文给出了一种参数化ＣＷＡ的一般定义，使用这种参数化宝义，已知的以及新的ＣＷＡｓ可作为特殊情况推导出，并可对数据库完备的概念进行更有效的
【机 构】
：
山东财政学院经济信息管理系
【出 处】
：
软件学报
【发表日期】
：
1995年9期
其他文献
<正> 我们根据南城、宜黄两县开展初级卫生保健试点工作的实际,谈谈初级卫生保健的期前调查的意义、内容和方法,以及应注意的几个问题。一、期前调查的意义一是制定规划的基
无创呼吸机是治疗各种原因导致呼吸衰竭的有效方法，可以改善患者的呼吸困难，提高氧分压，促进二氧化碳的排除，随着面罩材料的改进，无创正压通气越来越被医生和患者欢迎。
《语文教学大纲》和《语文课程标准》都明确指出小学教育要重视朗读，将培养小学生的朗读能力放在了教学任务的重要位置。朗读是理解课文内容的重要方法，是培养语感的重要途径，也
目的研究阿奇霉素静脉滴注联合布地奈德混悬液雾吸治疗肺炎支原体肺炎（MPP）的疗效观察。方法 2007年1月至2008年3月在吴江市第一人民医院儿科病房住院并确诊为MPP的患儿150例为
情境教学能够清晰直观的阐述知识结构，从而便于培养学生学习兴趣。数学情境教学提倡让学生通过观察，不断积累相关的数学知识，以提高个人素质。本文则主要从问题角度着手，对中职数
本文首先回顾了经典粗集（roughset）、覆盖（cover）的一些概念和定理。然后，在诱导覆盖的基础上，提出了一种新的覆盖——扩展覆盖（The Extension Covering），并就同一论域上的两个扩展覆
目的评价对已有药物性肝损伤的耐药肺结核患者应用含莫西沙星（MXFX）多药联合治疗方案的效果及药物的副作用。方法采用前瞻性研究,将36例耐药肺结核患者随机分为两组,治疗组用含
<正> 为进一步了解农村饮用水的卫生质量现状,保证农村饮水卫生,我们对上虞县25座农村简易自来水设施水处理过程中水质的二次污染状况进行了调查分析。现将结果报告如下: 一
1990年我们设计建造的简易卫生厕所,定名为“双心套管式”卫生厕所,已在我县推广应用,取得了较好的效果,现将推广及使用情况作一介绍。一、构造原理“双心套管式”卫生厕所是