wang1

EXISTS 谓词的用法 支撑 SQL 和关系数据库的基础理论主要有两个：一个是数学领域的集合论，另一个是作为现代逻辑学标准体系的谓词逻辑（predicate logic），准确地说是“一阶谓词逻辑”

HAVING 子句 始终要记得 SQL是一种基于“面向集合”思想设计的语言 。 1. 寻找缺失的编号 查询这张表里是否存在数据缺失。当前这张表的编号并不是连续的，缺少了 4 和 7（这里给出的列是有序

JMM 与 Volatile 1. JAVA 内存模型 (JMM) JMM是用来干嘛的？：《Java虚拟机规范》中曾试图定义一种“Java内存模型”（Java Memory Model，JMM）来屏蔽

SQL 中的三值逻辑 1. 前言 大多数编程语言都是基于二值逻辑的，即逻辑真值只有真和假两个。而 SQL 语言则采用一种特别的逻辑体系——三值逻辑，即逻辑真值除了真和假，而 SQL 语言里，除此之外还

Redis 中的持久化方式 1. 前言 为什么要进行持久化？：持久化功能有效地避免因进程退出造成的数据丢失问题，当下次重启时利用之前持久化的文件即可实现数据恢复。 持久化都有那些方式？：Redis支持