语法：Type::=InfixTypeExistentialClausesExistentialClauses::=forSome{ExistentialDcl{semiExistentialDcl}}ExistentialDcl::=typeTypeDcl|valValDcl既存类型具有TforSome{Q}的形式，Q是一个类型声明的序列(§4.3)。设t1[tps1]>n<:Un是Q中声明的类型(任何类型参数部分..
分类：
其他好文 时间：
2015-06-02 20:19:13
阅读次数：
210
1. 使用unicode编码2. javascript有：函数类（Function)、数组类（Array）、错误类（Error）、正则类（RegExp）、日期类（Date）3. 显示系统时间的一段代码：var t = new Date();var t1 =t.getFullYear() +"年" +...
分类：
编程语言 时间：
2015-06-02 19:44:14
阅读次数：
154
--分组排序 select row_number() over(partition by C order by E DESC) no,a,b,c,d,e from t1--将分组排序的查询当作一张表查询，需要按照上面排序，可以自己修改，这里处理为所描述的降序，根据no判断，小于等于5的就是需要的数据...
分类：
其他好文 时间：
2015-06-02 12:53:36
阅读次数：
91
常规的运算符只能计算基本类型的变相，没办法将对象相加或者相减Timer t1;
Timer t2;
t1 + t2;//t1和t2是对象，不能相加要想能实现对象的运算，必须要重载运算符成员函数形式重载运算符重载运算符只需要把函数名换成operator+const Timer operator+(Timer t);//重载+号运算符，调用的时候默认有个this形参const Timer Timer::...
分类：
编程语言 时间：
2015-06-01 18:49:27
阅读次数：
151
update T1 set T1.NextKey = T2.Key from TableA T1, TableA T2 whereT2.Index = T1.Index + 1
分类：
其他好文 时间：
2015-06-01 14:38:12
阅读次数：
93
select tt1.LSH
from (select t1.zblsh,t1.lsh,
row_number() over(partition by t1.ZBLSH order by t1.XT_XGRQ desc) rn
from grjx_zbgl_bhgzl t1
WHERE t1.nf = '2015'
) tt1
where tt1...
分类：
数据库 时间：
2015-06-01 13:23:04
阅读次数：
243
昨天下午公司的短信发送服务挂掉，查日志发现有些短信服务提供商的服务器time out。马上联系对方，确认服务已经恢复正常，我们立马重启服务，恢复正常。我们的短信服务是起一个线程T1从redis list去拿消息，然后创建一个发送短信的任务线程扔到线程池里执行，每一个发送短信的任务都会连接服务商的服务...
分类：
其他好文 时间：
2015-05-30 23:57:29
阅读次数：
296
第一种select t1.id, t1.name, t1.age, (select count(1) from b t2 where t1.id = t2.id) filecount from a t1第二种select t1.id, t1.name, t1....
分类：
数据库 时间：
2015-05-30 12:06:15
阅读次数：
134
Access大数据高效分页语句oracle的分页查询可以利用rowid伪列。db2的分页查询可以利用row_number() over()聚合函数。mysql有limit。access仿佛先天缺陷，仅提供了top n。那如何利用top来实现分页查询呢？假设在access中有表t1 createtab...
分类：
数据库 时间：
2015-05-29 23:05:26
阅读次数：
210
ORDER BY Optimization 某些情况下，MYSQL可以使用index排序而避免额外的sorting. 即使order by语句列不能准确的匹配index,只要没有index中（不在order by的列）在where语句以常量形式出现。（最左前缀）SELECT * FROM t1...
分类：
数据库 时间：
2015-05-28 12:28:21
阅读次数：
150
