论文部分内容阅读
最近，嵌套关系模型语言及复杂对象语言的研究已引起人们的广泛重视。这些语言有些是代数结构的，有些是基于演算的，还有的是面向逻辑程序设计的。本文将介绍这些语言的发展概况、最新研究结果以及语言的表达能力，并就其完备性问题进行了讨论。
复杂对象及嵌套关系的语言完备性问题
【摘 要】
：
最近，嵌套关系模型语言及复杂对象语言的研究已引起人们的广泛重视。这些语言有些是代数结构的，有些是基于演算的，还有的是面向逻辑程序设计的。本文将介绍这些语言的发展概况、
【机 构】
：
山东财政学院信息管理系济南250014
【出 处】
：
计算机科学
【发表日期】
：
1994年6期
其他文献
目的探讨TACE术后患者下地活动的合适时间。方法运用观察和问卷调查法,对167例行TACE术的患者术后不同下地活动时间与术后并发症、不舒适感及第1次排尿时间的关系进行研究。
超声造影是近年来发展很快的新技术，对肝内病变特别是微小病灶的检出率较前明显提高。本研究应用新型造影剂SonoVue，探讨超声造影在肝脏各种局灶病变的诊断价值。现就54例进行
目的探讨辛伐他汀对不稳定型心绞痛患者纤溶活性的疗效。方法不稳定性心绞痛患者61例随机分为两组,常规组所有患者在无禁忌证的情况下均口服阿斯匹林、β受体阻滞剂、硝酸酯
本文从程序设计的实质开始，讨论了形式方法的实质、作用、困难、克服困难的途径及若干关键问题等系列问题，提出了我们的看法并且论述了形式方法的分类，结合若干典型例子，对各类方
阴道炎是育龄妇女常见生殖道感染性疾病，其中有些属于性传播性疾病。阴道分泌物检测是诊断阴道炎的主要依据。2006年4月-2011年8月，我科对447例普查体检妇女阴道分泌物进行检测
目的探讨手术治疗老年股骨转子间骨折的疗效。方法手术治疗65岁以上股骨转子间骨折患者52例，其中动力髋螺钉固定32例，外固定支架固定14例，经皮空心加压螺钉固定6例。结果48例随
本文给出一种支持程序验证的模块方法，并讨论了基于函数语义的模块验证，程序可划分为若干个模块，模块本身又可划分为若干个更小的子模块，其验证独立进行。将独立验证过的各子模块
<正>一、前言许多代表人类智能最高成就的重大科技发现源于类比学习。如果智能计算机具有模拟人类学习的功能,则可能让机器帮助人去发现新的科学规律和提出新的科学假说。
<正>1.引言对于计算机系统,传统的设计方法很少考虑用户的使用效率方面的问题.在人机界面的研究方面投入甚少.使设计出的系统功能复杂.普通用户不能