切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
析取封闭世界假设的一种过程语义
析取封闭世界假设的一种过程语义
来源 :软件学报 | 被引量 : 0次 | 上传用户:Chunbo_Huang
【摘 要】
:
析取信息的表示是一个重要的研究问题.DCWA(析取封闭假设)为一般演绎数据库提供了一种谨慎语义,并且扩充了标准的良基语义.同时DCWA支持争论推理,为广义封闭世界假设提供了一
【作 者】
:
王克文
周立柱
冯建华
【机 构】
:
清华大学计算机科学与技术系
【出 处】
:
软件学报
【发表日期】
:
2001年9期
【关键词】
:
演绎数据库
封闭世界假设
过程语义
disjunctive deductive databases
closed world assumption
sema
【基金项目】
:
国家自然科学基金,国家重点基础研究发展计划(973计划)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
析取信息的表示是一个重要的研究问题.DCWA(析取封闭假设)为一般演绎数据库提供了一种谨慎语义,并且扩充了标准的良基语义.同时DCWA支持争论推理,为广义封闭世界假设提供了一种逼近.基于此,提出了DCWA的过程语义,并证明了它的可靠性和完备性.
其他文献
带时间约束的UML序列图的分析工具
统一建模语言(UML)是一种多用途的可视化建模语言,它可用于软件系统的规约、可视化的构造和建档.UML序列图描述了交互对象间的协作,如在实时和分布式系统中通讯实体间的信息
期刊
可视化建模语言
时间约束
UML
序列图
realtime systems
UML (unified modeling language)
sequence
《QBASIC语言》“随机函数”的情境教学
在《0BASIC语言》“随机函数”教学中运用情境教学可以提高学生的学习兴趣.增强教学效果。
期刊
QBASIC
随机函数
情境教学
靶控输注联合声门上喷射通气在老年无痛纤维支气管镜检查中的应用
目的评价声门上喷射通气联合靶控输注丙泊酚在老年无痛纤维支气管镜检查中的安全性与有效性。方法选择行无痛纤维支气管镜检查的老年患者60例,采用随机数字表法分为两组(n=30
期刊
支气管镜检查
气道管理
喷射通气
声门上
靶控输注
老年人
fiberoptic bronchoscopy
airway management
supraglo
浅谈《电视机原理与维修》课程教学模式改革
摘要:文章建立了在实际案例的实训中有机地融入电视工作原理必备理论的教学模式,并与传统“课堂讲授 实验”的教学模式加以对比,来探索中职学校电子电器类专业课程的教学改革。 关键词:电视机原理与维修;教学模式;实训 《电视机原理与维修》是中职学校“电子技术与应用”专业实践性和用性较强的一门传统专业主干课程,也是电子整机设备维修技术的代表性课程。该课程不但需要作纯理论分析,而且需要通过大量的综合实
期刊
电视机原理与维修
教学模式
实训
一种延时约束费用最小分布式动态组播路由算法
多媒体应用一般包含多个组播成员,它消耗大量的 网络资源且有严格的端端延时约束.针对这个问题,提出了一种延时约束费用最小的分布式动 态组播路由启发算法DDDDCLCMR(distrib
期刊
服务质量
组播
动态路由
分布式算法
DDDDCLCMR算法
多媒体
QoS
multicast
dynamic routing
distributed
论政府在构建资源节约型社会中的制度供给与政策优选
我国在资源投入体制上仍秉承“强国家,弱市场”理念,管理上则采用单一的“公权治理”模式。这种体制一旦出现产权“虚位”、“缺位”或政府代理失灵,必然出现资源利用负外部
期刊
资源节约型
制度
政策
如何预测天气
【正】 作为农民,既要有过硬的农技知识,还要会预测和识别天气。 一是看西边识天气 例如“早霞不出门,晚霞行千里”。早霞表示西边正有上升的云层移向本地,预示天气将转阴雨;
期刊
气象谚语
天气变化
测天
短期天气预报
中长期天气预报
阴雨天气
辐射雾
平流雾
鱼鳞天
早霞
高职院校“数困生”成因分析及转化初探
摘要:本文通过对高职“数困生”形成原因的调查分析,提出了实施以情感教育为核心的转化策略,同时根据不同类型的“数困生”展开了有针对性的转化尝试,并取得了初步成效。 关键词:高职院校;“数困生”;情感教育 问题的提出 由于高职院校生源素质总体不高、文化基础相对较差、学习积极性普遍不强等原因,使得学习困难的学生成为高职教育中的一个大问题,而数学学习困难的学生(以下简称“数困生”)又是其中的
期刊
高职院校:“数困生”
情感教育
中学篮球教学对中学生创新意识的培养
中学生往往对新事物特别感兴趣,教师就要抓住这一特点,对学生进行创新意识的培养,这是搞好体育教学的关键。针对篮球运动这一喜闻乐见的运动项目的教学特点,利用中学生对该项
期刊
创新意识
篮球课
篮球教学
中学生
中学体育教师
外伤性无名动脉瘤1例报告
无名动咏瘤少见,由外伤所致较大的无名动脉瘤更为少见。兹报告一例我院收治的外伤性无名动脉瘤。
期刊
外伤性无名动脉瘤
X线诊断
CT
胸部外伤
与本文相关的学术论文