本书基于中国自动化大会2019的专题“智能自动化技术”撰写而成，系智能自动化发展前沿丛书的分册之一。丛书主编为孙优贤院士，本书由于海斌、邵之江主编，智能自动化技术领域多位专家参与各章节的撰写，主要介绍了网络集群与网络化控制、新能源控制与绿色制造技术、物流系统与自动化、车辆控制与电动化等前沿热点方向的新研究成果。

本书是由行业专家精心编写的SQL学习指南，内容涵盖数据库基础介绍、数据库表的管理、数据的增删改查、视图、索引、存储过程，以及基于不同业务场景的SQL查询实践。本书由浅入深地对SQL查询进行讲解，在实践方面，结合真实的业务场景，以互联网电商、投资理财、网络游戏、线下零售等为例，通过行业常用的查询案例帮助读者快速理解并掌握SQL查询技能。本书适合日常工作中需要使用数据库并对数据库表进行操作的业务和技术人员，包括数据分析、数据运营、数据产品、市场渠道等人员。

全书分为5篇：1.第1篇为入门部分，通过一个快速地上手实验让读者体验 GitOps 的强大之处，激起读者的学习欲望；2.第二篇为核心基础部分，将介绍组成 GitOps 的核心基础例如容器化、K8s、持续构建和应用定义；3.第三篇为进阶部分，将带领读者从零构建一个生产可用的 GitOps 工作流，并介绍高级发布策略、多环境管理、可观测性、分布式追踪以及云原生开发的相关内容；4.第四篇为实施指南，将介绍如何在不同规模的公司下实施新技术，在实施过程如何排除非技术因素；5.第五篇为行业认识部分，将介绍如何通过 CNCF 获取一手的云原生信息以及 GitOps 的历史发展。

本书是一本系统介绍MySQL性能优化相关技术、方法及实践的实用指南。在书中，作者首先详细解释了查询响应时间；然后介绍了直接查询优化（创建和编制索引）、间接查询优化（减少数据访问和存储）等提高MySQL性能的方法，还通过讲解数据访问模式、MySQL分片的基本机制、MySQL的服务器指标、复制延迟、MySQL的事务（涉及InnoDB行锁）等知识为优化MySQL性能提供思路；之后介绍了一些常见的MySQL挑战，以及应对方法；后讨论了在云中使用MySQL时需要知道的知识，拓展了读者的思维。

数字化转型是企业在数字经济时代面对的重大战略选择，其本质是通过有效地使用数据资源对业务进行全面的升级和优化，提高企业的综合产业竞争力。本书将数据科学作为出发点，结合大数据、人工智能技术，以数据分析的方法和理论为观察视角，介绍了企业数字化转型的核心知识概念及主要的应用实践策略。 本书共8章，分为数据科学原理、数据科学技术、数字化业务实践，以及数字化产业目标四个主要部分。 数据科学原理部分（第2章）主要讨论数据要素的核心价值体系及数据科学的基本理论范畴；数据科学技术部分（第3~6章）主要介绍数据获取及预处理方法、数据规律挖掘方法、数据建模方法，以及数据相关技术系统的建设方法；数字化业务实践部分（第7~8章）讨论企业数字化中的实施落地问题、数字化人才和组织架构，以及不同行业数字化应用的典型场景；数字化产业目标部分（第1章）介绍数字经济时代的产业特征和格局，以及企业数字化的业务本质和重大意义。 本书适合关注数字化转型话题的数据挖掘、数据分析、数据系统研发等相关行业技术人员，也适合对数据科学感兴趣的数字化转型管理人才和业务专家，并可作为数据产业创业者和研究人员的参考书籍。

本书系统地阐述了移动性数据建模、管理和分析的内容，从移动性数据建模与表达、移动性数据分析、移动性数据应用三个方面深入介绍了移动数据管理技术和应用。本书由四篇组成：第一篇涉及移动性数据处理的基本概念和术语、数据采集与存储管理的基本技术；第二篇涉及移动性知识的管理过程，具体包括移动性数据挖掘、知识发现的方法与系统、可视化知识提取的方法与系统等；第三篇展示了移动性数据在城市交通、海事、航空、动物移动、人群移动等各方面的具体应用；第四篇给出了移动性数据的**发展形势和用途。

本书是基于作者多年的教学与实践撰写的，重点介绍PostgreSQL的核心原理与体系架构，涉及开发、运维、管理与架构等内容。本书共12章，涉及以下几方面内容：PostgreSQL基础，安装与配置PostgreSQL，管理数据库与数据库实例，管理数据库对象，并行查询，事务与并发控制，应用程序开发，管理数据库安全，备份与恢复，监控、诊断与优化数据库，PostgreSQL的高可用架构，以及从Oracle迁移到PostgreSQL。

本书是中等职业学校《数据库应用技术——Visual FoxPro 6.0（第2版）》教材的配套上机指导与练习用书。书中详细介绍了数据库的基础知识、基本操作和基本程序设计方法。主要内容包括Visual FoxPro 6.0数据库系统的基本概念，项目管理器，数据库表的基本操作，创建查询和视图，使用结构化查询语言SQL，表单、报表、选单、工具栏的设计，以及应用程序设计等。章节安排紧扣原教材，形式活泼、内容生动。每个上机实习前都给出了本次操作的知识要点，既是对教材内容的复习和总结，又是对教材内容的补充。全书围绕同一个具体实例，给出了上机操作指导和部分思考题，初学者按照操作步骤就能较好地完成学习任务。每个上机任务之后，都给出了大量的练习题和操作题，以巩固所学知识和不断提高操作技能。本书是中等职业学校学生学习Visual FoxPro 6.0的配套教材，也可作为全国计算机等级考试（二级Visual FoxPro程序设计）辅导教材的配套用书，以及计算机应用培训班教材和初学者自学用书。

本书根据*和信息产业部颁布的《中等职业学校计算机应用与软件技术专业领域技能型紧缺人才培养培训指导方案》编写，是中等职业学校计算机技术专业教材。本书采用的数据库软件是目前应用广泛的Access 2003数据库。主要内容包括数据库设计概述，使用Access数据库进行应用程序开发的过程，创建、使用与维护数据库和表，建立查询、数据访问页、窗体、报表、宏和应用程序开发的方法。全书采用项目式教学法，围绕“图书借阅管理系统”组织教学内容，采用课堂操作和案例训练相结合的方式。课堂操作内容相对简单，学生可以根据给出的步骤或在教师指导下通过查阅资料独立完成。案例训练相对较深，但内容详实，操作步骤清晰、详细。书中第8章将前面所有章节的内容贯穿起来，生成一个完整的“图书借阅管理系统”，为学生以后利用Access进行数据库开发打下基础。本书适合中等职业学校计算机应用与软件技术专业学生使用，也可以作为数据库开发培训教材及计算机爱好者学习数据库的参考用书。本书还配有电子教学参考资料包，包括：教学指南、电子教案和习题答案，详见前言。

This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction， MPC 2006， held in Kuressaare， Estonia in July 2006， co-located with AMAST 2006， the 11th International Conference on Algebraic Methodology and Software Technology. The 22 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 45 submissions. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems， program analysis and transformation， programming language semantics， program logics.