HermitSun的博客

按照惯例，遇到Linux相关的问题先说系统版本，我用的是Ubuntu 16.04。事情的起因是这样的，把打了个jar包扔上服务器，然后nohup java -jar运行，本来一切正常（之前一直都很正常），但这次报了个没见过的错：The driver has not received any packets from the server。网上查了一下说是连接超时，然后我就想着打开MySQL去...

毕竟是语义化的查询，一切还是以语义为准。“由内而外”进行查询。也就是说，从修饰词（不仅仅是定语，还有可能是一些别的修饰）开始，一层一层深入到最终的对象。至少（at least）一般使用连接运算。目前我能想到的，大概有两个理由：“至少”表明了一种存在性，而连接运算表明了这种存在性（因为如果不存在，是不会出现在连接运算的结果里的）。“至少”隐含了对多于一个操作数（也就是不止一张表...

令人感到很奇怪的是，SQL居然没有提供除法，必须用NOT EXISTS手动实现。具体的原因不再赘述，这里我只是想说说我对用SELECT语句构建关系代数除法的理解。书上的除法构建过程是这样的：为查询对象命名寻找反例通过SELECT构建反例NOT EXISTS构建的反例得到最终结果事实上我不太认同这个过程，我觉得按照这个过程容易出现偏差；当然也可能是我太菜了。我的过程是这样的：写...