您好,读者!请
您好,{{userInfo.name}}
{{item.navigationName}} 退出
{{item.navigationName}}
新智慧门户上线公测 图书馆数字资源访问方法

课程文献中心 更多>>

数据库系统

作者: 沈敏
介绍:数据库系统(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 >  >>