课程文献中心 更多>>

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

ISBN: (纸本)9787111695585

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

关键词： 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.

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

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

关键词： 非结构化数据   数据库系统   数据综合   数据挖掘   传感器数据   声纳系统   智能化应用   海洋探测  

摘要： 声纳系统在当今社会的捕鱼业、海洋探测等方面有着广泛的应用,随着使用范围的扩大化,功能的复杂化,提升声纳系统产生的种类繁多、数量巨大的的非结构化数据的管理水平,最大化数据效益,是必须解决的一个问题,本文针对声纳系统使用时产生的各种非结构化数据,包括传感器数据、探测目标数据、听纹数据等提出一种基于数据库系统的声纳数据综合管理方法,该方法利用数据库系统将各类声纳数据进行组态关联存储,使得数据能够有效累积,并针对数据挖掘和智能化应用设计高效访问接口,将数据效益最大化。

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

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

关键词： 网络数据库   系统运行   安全  

摘要： 随着现代社会科学技术的快速发展,大数据技术、互联网技术已经融入人们的生活中,逐渐改变着人们的工作方式、生活娱乐方法、社会交流活动手段。基于此种背景,网络数据库系统相继产生,其主要作用是在企业、学校等不同的场景中,对人们工作、生活活动中产生的大数据资料、数据信息进行管理与利用的系统。系统安全是保护数据信息安全,切实维护个人隐私、公司机密、行业内部资料的主要方法。本文简要分析了网络数据库系统安全及其现存问题,之后对网络数据库系统安全控制思路、网络数据库系统安全控制具体路径进行深入探究。

关键词： 分布式数据库  

ISBN: (纸本)9787121422911

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

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

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

关键词： Graphics processing units   Nonvolatile memory   Bandwidth   Central Processing Unit   Engines   Database systems   Database architectures   high performance computing   LSM-tree   query processing  

摘要： The log structured merge (LSM) tree has been widely adopted by database systems owing to its superior write performance. However, LSM-tree based databases face vulnerabilities when processing analytical queries due to the read amplification caused by its architecture and the limited use of storage devices with high bandwidth. To flexibly handle transactional and analytical workloads, we proposed and implemented OurRocks taking full advantage of NVMe SSD and GPU devices, which improves scan performance. Although the NVMe SSD serves multi GB/s I/O rates, it is necessary to solve the data transfer overhead which limits the benefits of the GPU processing. The primary idea is to offload the scan operation to the GPU with filtering predicate pushdown and resolve the bottleneck from the data transfer between devices with direct memory access (DMA). OurRocks benefits from all the features of write-optimized database systems, in addition to accelerating the analytic queries using the aforementioned idea. Experimental results indicate that OurRocks effectively leverages resources of the NVMe SSD and GPU and significantly improves the execution of queries in the YCSB and TPC-H benchmarks, compared to the conventional write-optimized database. Our research demonstrates that the proposed approach can speed up the handling of the data-intensive workloads.

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

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