课程文献中心 更多>>

关键词： 产业用地数据管理系统   系统设计   统计分析   专题制图  

摘要： 为了对海量产业用地数据进行有效管理,为国土相关部门提供科学有效的管理决策支持,依据产业用地综合数据库标准,获取产业用地的数量、规模、分布、结构、面积、投入、产出、税收、就业、土地利用状况和动态变化等信息,建立基础地理信息数据与产业用地专题数据无缝一体的合肥产业用地地理信息数据库,并开发合肥产业用地综合数据库管理系统。合肥产业用地综合数据库管理系统,不仅能直观、高效、多形式地展示产业用地大数据可视化分析结果,输出多种产业用地专题效果图,还能对历年产业用地监测结果提供监测分析报告等。

关键词： 数据库系统原理   线上线下混合式   一流课程   思政元素   混合式教学  

摘要： 通过完善数据库系统原理一流课程建设目标,优化课程理论与实验教学内容;深入挖掘课程中蕴含的思政元素;建立"以学生发展为中心"的线上线下混合式教学组织实施过程以及构建线上考核和线下考核相结合的考核评价体系五个方面进行数据库系统原理一流课程的建设与实践,实现专业知识的显性教育与课程思政的隐性教育有机统一,为其他一流课程的建设提供参考和借鉴。

关键词： Program Verification   Separation Logics   Database Management Systems  

摘要： Program verification consists in finding a formal proof that the program satisfies a given specification. This specification can be described as assertions about the input and output a correct program must satisfy. Assertions and programs are traditionally specified in terms of classical first order logic (FOL). FOL reasoners (inference systems) automatically find the correspondent program correctness proof, if any. However, verification of programs with mutable data structures, such as pointers, is currently a major challenge for the FOL assertion based approach. Mutable data structures are often written in terms of syntactically unrelated expressions, whose specification represents a significant defiance for FOL. Separation logics are a family of formal languages with specially-purposed constructors designed to model mutable data structures. In this paper, we formally verify a database management system using separation logics. We focused on the verification of libraries containing programs about heap manipulation. Several detected bugs are described in detail, respective solutions are also provided.

关键词： 数据库系统   高等学校   教材  

ISBN: (纸本)9787111695585

摘要： 本书基于达梦数据库（DM8）全面系统地讲述了数据库技术和应用。全书共15章，内容包括数据库系统概述，关系代数与关系数据库理论，数据库设计与实现，DM数据库体系结构，DM数据库创建与配置，DM数据库的表定义与完整性约束，数据的插入、修改与删除，DM数据库单表与多表查询，视图和索引定义与管理，DM数据库用户、权限与角色管理，DM数据库的事务管理，DM数据库的备份和还原，函数和游标，存储过程和触发器，DM JDBC编程与应用等内容。通过本书，读者可以充分利用DM数据库平台深刻理解数据库技术的原理，达到理论和实践紧密结合的目的。 本书既可作为本科计算机相关专业数据库课程的配套教材，也可以供参加数据库类考试的人员、数据库应用系统开发设计人员、工程技术人员及其他相关人员参阅。对于非计算机专业的本科院校，如果希望学生学到关键、实用的数据库技术，也可采用本书作为教材。

关键词： 民航   气象数据库系统   网络信息安全  

摘要： 近年来,我国的科技水平迅猛发展,尤其是网络信息技术领域的进步十分突出,民航事业的发展离不开网络信息技术的引领.由于网络的便捷性和开放性所导致的信息安全隐患,使各行各业的相关工作者对数据库网络安全越来越重视.以此为研究背景,本文探讨了保证民航气象数据库系统网络信息安全行之有效的安全管理措施,同时阐述了民航气象数据库系统的功能和结构.

关键词： 分布式数据库  

ISBN: (纸本)9787121422911

摘要： 本书从分布式数据库的背景与发展情况出发，详细、系统地介绍了国产分布式数据库SequoiaDB (巨杉数据库) 的基础知识、数据库实例、架构原理、运维管理等核心技术内容，提供了性能调优和问题诊断的基本思路。此外，书中还分享了SequoiaDB的行业应用、最佳实践、工具和生态等内容。

关键词： 计算机   数据库系统   信息管理  

摘要： 将数据库系统充分应用到信息管理中,能够提升信息管理的针对性与有效性,帮助人们更好地适应信息时代所提出的要求,提高数据挖掘、整合、传输及应用的质量和效率。对此结合数据库系统的基本特征和发展趋势,明确数据库系统在信息管理中的应用现状,提出了相应的应用及优化思路,以期为我国企业及机构优化信息管理体系,完善信息管理模式,提高信息管理的科学性,提供条件、奠定基础。

关键词： 实时数据库系统   人机交互   人定胜天   创业经历   重点实验室   创业过程   思源   志同道合  

摘要： "20多年前,我参与创办了一家软件公司。今年,我再次与中国科学院软件所(下称"软件所")合作,创办了第三家软件公司,多年的创业经历让我相信,人定胜天。"这是安捷中科(北京)数据科技有限公司(下称"安捷中科")CEO黄思源在接受媒体采访时说的话。黄思源说的"人定胜天"是指,志同道合、胸怀理想的初创团队可以战胜创业过程中遇到的困难。安捷中科的技术核心源自软件所人机交互北京重点实验室主导的安捷实时数据库系统,该系统经历了20多年的研发积累,最终实现落地转化。

关键词： 数据库系统   机器学习   参数调优  

摘要： 现代数据库管理系统有成百上千个配置参数,繁琐的参数配置工作已经超出数据库管理员的负荷能力。近年来,机器学习技术因具有较强的学习和泛化能力,为解决数据库调参问题提供了新思路。基于机器学习的数据库自动调参系统能利用已有调优数据训练模型自动推荐最优参数,进而提高数据库管理系统的性能,如降低延迟和增加吞吐量等。使用OtterTune系统对PostgreSQL关系数据库进行自动化调参实验,结果表明,基于机器学习的自动调参系统能将系统吞吐率从个位数提高到百位数,显著提高了数据库管理系统性能。

关键词： 数据库管理系统   思政案例   教学设计  

摘要： 在高等院校进行广泛课程思政建设的大背景下,本文通过梳理"数据库管理系统"的课程知识点,凝练出了多个不同的课程思政元素,然后设计了两个具体的课程思政教学案例。通过在"数据库管理系统"课程中有效嵌入思政教育,能够让专业性极强的课程也承担起育人的职责,从而实现立德树人的目标。