math

其中一种是基于锁 我之前一直对acid理解有问题，锁和事务的关系，其实是这样的：

1 read(x) 和write(x)是不可以交换顺序的 2 write(x) write(x) 是不可以交换顺序的 3 write(x) 和read(x) 也是不可以交换顺序的

我们的事务 t1和t2 如果完全按照先执行t1再执行t2 就一点问题都没有，就是有点慢，并发低。

那么我们就用一些等价的方法，尽量减少阻塞。我们不锁住整个事务，只对冲突的部分进行锁定，其他就因为等价所以顺序没有关系，因为其他部分没有顺序关系，所以不用上锁，所以并发会上去

---

类型是什么？ 类型描述了一个特别的集合

结构体是什么？

结构图本质是类型的组合，也就是关系

举个例子

struct{
    int a,
    int b
}

这个本质是 RXR 的关系 ，那一个结构体的变量又是什么？ 是这个关系的一个元素

递归是什么？ 递归是差分方程，递归是不动点，但是递归的内容还得看

什么是可扩展性？

BNF 或者类似的规则系统为什么是正确的？ 靠什么保证？是依赖范畴学或者其他数学的什么定理或者和数学的什么模型一致？ 我一直很好奇规则系统的约束怎么做到的？因为规则系统真的很神奇