MySQL(predicate)

表常常被认为是行的集合，但从谓词逻辑的观点看，也可以认为是命题的集合（＝陈述句的集合）

---

1. MySQL谓词定义

谓词是一种特殊的函数，返回值是真值。每个谓词，返回值都是 true、 false 或者 unknown（一般的谓词逻辑里没有unknown，但是 SQL 采用的是三值逻辑，因此具有三种真值）

---

2. MySQL谓词分类及比较

3. MySQL谓词的阶层

---

EXISTS 因接受的参数是集合这样的一阶实体而被称为二阶谓词。（高阶函数）

---

零阶谓词=
一阶谓词= 等输入值为一行的谓词叫作“一阶谓词”（=或者 BETWEEEN）
二阶谓词=输入值为行的集合（EXISTS ）
三阶谓词＝输入值为“集合的集合”的谓词
四阶谓词＝输入值为“集合的集合的集合”的谓词

---

4. MySQL谓词的应用

未完待续…