首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   5篇
  免费   0篇
  国内免费   1篇
自动化技术   6篇
  1998年   2篇
  1996年   3篇
  1994年   1篇
排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
xBASE家族的新成员——eBASE   总被引:2,自引:0,他引:2  
人们已经不再满足于对数据的简单管理、查询、统计等,还希望用已有的数据对未来的情况进行预测、决策,提出建议(专家系统);另一方面,人们希望数据库管理系统不但能够处理传统的可以用代码表示的数据,而且能够处理图象、声音等信息。  相似文献   
2.
面向对象程序设计语言EIFFEL的程序正确性验证工具   总被引:1,自引:0,他引:1  
本文简单介绍了国家八五科研重点攻关项目<<实用自动工具集的开发>>的专题<<自动验证工具>>的理论基础和开发成果。  相似文献   
3.
刘向民 《现代计算机》1996,(4):19-20,23
分布式数据库是目前引起广泛兴趣的一种应用系统实现方案,本文讨论了ORACLE7数据库管理系统的分布式处理技术以及如何使用这一技术,分析了ORACLE7分布式数据库系统的场地自治、位置透明和副本透明的方法,详细描述了保障全局数据库一致性的二阶段提交方法及恢复方法。  相似文献   
4.
在大部分基于数据库的应用系统中,大量的汉字输入是一个困难的问题,因此,能否减少用户输入汉字的难度及提高用户输入汉字的准确性可能对该系统能否成功产生直接的影响,本文提出了基于数据库技术的输入方法可以减少用户的输入量并提高用户输入汉字的准确性。  相似文献   
5.
文中讨论了计算机辅助接入网络规划中的主要问题及其解决方案,同时分析了在集成系统中内嵌式数据库的使用。最后,以一个具体的例子分析了计算机辅助接入网规划软件系统的体系结构。  相似文献   
6.
黄东斌  李磊 《软件学报》1996,7(12):728-734
纯Datalog的唯一模型定理在Datalog-Not程序中不成立,因此,在Datalog-Not程序的所有Herbrand模型中,必须有一种模型的选择标准来确定程序的语义.完美模型关系是一种合理的选择标准.然而,由于完美模型的复杂性阻止了它的发展.本文分析了完美模型,通过有向图,给出了有完美模型的充要条件,并且给出构造算法及其正确性证明.本文得到的结果是:对任一自反有向图G,都能构造一个Datalog-Not程序P,使得P的完美模型图与G同构.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号