您好,读者!请
登录
您好,{{userInfo.name}}
{{item.navigationName}}
退出
{{item.navigationName}}
建议与咨询
留下您的常用邮箱和电话号码,以便我们向您反馈解决方案和替代方法
您的常用邮箱:
*
您的手机号码:
*
问题描述:
当前已输入0个字,您还可以输入200个字
课程文献中心
更多>>
数据库系统
作者:
沈敏
介绍:
数据库系统(DatabaseSystem),是由数据库及其管理软件组成的系统。数据库系统是为适应数据处理的需要而发展起来的一种较为理想的数据处理系统,也是一个为实际可运行的存储、维护和应用系统提供数据的软件系统,是存储介质、处理对象和管理系统的集合体。
主题:
数据库系统
数据库应用系统
并行数据库系统
数据库管理系统
实时数据库系统
数据库系统概论
分布式数据库系统
数据库系统原理
文献总量:
28320
篇
期刊文献:
22472
篇
学位论文:
2897
篇
图书:
2930
篇
标准:
21
篇
33
人关注课程
关注
教材教参
文献订阅
相关资料
交流讨论
关注成员
相关资料
面向无穷数据的形式模型综述
沈敏
2016年09月18日
无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面应用需求的推动,面向无穷数据的形式模型已经成为理论计算机科学的研究热点之一.对面向无穷数据的形式模型(逻辑与自动机)进行了相对全面而详细的总结.主要按照不同自动机模型对无穷数据的处理方式加以组织,并关注相关判定问题,即:自动机的非空性问题、语言包含问题以及逻辑的可满足性问题的可判定性与复杂性.
点赞
(0)
回复
(2)
回复
1
楼
2016年09月19日 11:22:50
回复
文章不错
2
楼
2016年09月19日 11:23:26
回复
确实很不错
回复:
笑嘟嘟
2016年09月19日 11:22:50
文章不错
共1页
<<
<
1
>
>>
发表评论
热门推荐
面向无穷数据的形式模型综述
阵列数据库系统FASTDB的研究与实现
基于Android平台的图书阅读推荐系统
基于索引视图实现动态数据仓库的实时数据加载