一、Parquet的组成 Parquet仅仅是一种存储格式，它是语言、平台无关的，并且不需要和任何一种数据处理框架绑定，目前能够和Parquet适配的组件包括下面这些，可以看出基本上通常使用的查询引擎和计算框架都已适配，并且可以很方便的将其它序列化工具生成的数据转换成Parquet格式。 查询引擎: ...
分类：
其他好文 时间：
2018-07-18 23:13:28
阅读次数：
212
一、筛选和切片 1、用谓词筛选 Streams接口支持filter方法 ，该操作会接受一个谓词（一个返回boolean的函数）作为参数，并返回一个包括所有符合谓词的元素的流。 2、筛选各异的元素 流还支持一个叫作distinct的方法，它会返回一个元素各异（根据流所生成元素的hashCode和equ ...
分类：
其他好文 时间：
2018-07-18 15:15:17
阅读次数：
248
１.前束范式 一个公式，如果量词均在全式的开头，它们的作用域延伸到整个公式的末尾，则称为是前束范式。例如：(?x)(?y)(?z)（Q(x,y)→R(z)）?的地方是并或交。任何一个谓词公式都有一个前束范式等价。 ２.容斥原理 ｎ个集合的并集的元素的个数＝每个集合元素的个数和－两两集合交＋三三集合交 ...
分类：
其他好文 时间：
2018-07-15 11:17:40
阅读次数：
1006
1.oracle优化器 优化目标分为4种: choose (选择性) rule (基于规则) first rows(第一行) all rows(所有行) Description:描述sql的执行计划 Object owner:对象模式 Object name:对象名 Cost：花费（的时间） Car ...
分类：
数据库 时间：
2018-07-08 13:33:07
阅读次数：
200
在本节中将介绍Stream API支持的许多操作，这些操作可以完成更复杂的数据查询，如筛选、切片、映射、查找、匹配和归约。还有一些特殊的流如：数值流、来自文件和数组等多种来源的流。 筛选和切片 1.用谓词筛选 Streams接口支持filter方法，该操作会接受一个谓词作为参数，并返回一个包含所有符 ...
分类：
编程语言 时间：
2018-07-07 13:40:23
阅读次数：
143
1、 快递员的条件分页查询-noSession,条件查询 2、 快递员删除（逻辑删除） 3、 基于Apache POI实现批量导入区域数据 a) Jquery OCUpload上传文件插件使用 b) Apache POI读取excel文件数据 1.1 快递员的条件分页查询 --关键 需要将查询条件 ...
分类：
其他好文 时间：
2018-06-19 00:50:43
阅读次数：
287
Java8 函数式接口 复合lambda表达式 比较器复合 谓词复合 函数复合 流处理 流只能遍历一次。遍历完之后这个流就已经被消费掉了 流的Api 案例 构建流 ...
分类：
编程语言 时间：
2018-06-12 21:01:45
阅读次数：
227
链接：https://wenwen.sogou.com/z/q727183268.htm?g_f=113010261. 认识绑定变量： 绑定变量是为了减少解析的，比如你有个语句这样 select aaa,bbb from ccc where ddd=eee; 如果经常通过改变eee这个谓词赋值来查询 ...
分类：
数据库 时间：
2018-06-01 01:00:07
阅读次数：
232
规格化设计 软件工程的重要目标之一是实现软件开发过程各阶段的自动化，软件自动化的前提是形式化,包括软件需求规格的形式化、软件设计规格的形式化和 算法描述的形式化。 Z语言由牛津大学程序设计研究小组开发，是一种应用较为广泛的形式规格说明语言，它以一阶谓词逻辑和集合论为基础对软件系统的静态特征和动态特征 ...
分类：
其他好文 时间：
2018-05-29 13:59:08
阅读次数：
153
调研 软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究，即J.Backus提出BNF描述Algol60语言的语法，出现了各 种语法分析程序自动生成器以及语法制导的编译方法，使得编译系统的开发从“手工艺制作方式”发展成具有牢固理论基础的系统方法。 形式化方法的研究高潮始于2 ...
分类：
其他好文 时间：
2018-05-29 13:15:42
阅读次数：
153
