关于模板依赖TD及其公理系统的讨论

来源 :第五届全国数据库及第一届全国管理信息学术会 | 被引量 : 0次 | 上传用户:jiandancaozuo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
DSS以支持决策为系统的主要目标和主要特征。这一点明显表现在系统框架的构造上,DSS不但需要DBMS,而且还需要大量的模型及其相配套的求解算法软件。该文依据方法模型化、模型数
该文主要研究数据库的数学理论,提出一种比较适合于描述数据库系统的数学工具——扩充模型论,它以模型论为基础,能表示数据库的功能且又具有演绎功能。该文对这种扩充模型论的一
该文从数字化校园建设的需求出发,在分析现有的考试系统状况及Web交互技术的特点基础上,提出了基于BWD结构的网络考试系统平台的设计及实现方案。
提高处理的并行性是分布式数据库查询优化的重要问题之一。为了使整个系统性能最佳,需把通讯代价最小化、负载平衡(LoadBalancing)、Fragment的COPY分配(Materialization)、数据流
会议