+
DB03 SQL
+
+ + + 2024-02-05 23:44:12 + + + + + + + + # Database + + + + + +
+
+

其实有点无聊，不过俺还从来没写过SQL，所以记一记

+

Basics

+

常用的语法是

+
SELECT expr1, expr2 ...
+FROM table1, table2 ...
+WHERE SEL-predicate
+GROUP BY col1, col2 ...
+HAVING GB-predicate
+

语义写成伪代码是

+
product(tables) |> (eval exprs <$>) |> (filter SEL-predicate)
+                |> (toMap columns)  |> (filter GB-predicate)
+

注意两个 filter 的顺序

+

还有一些集合上的操作和类似let +binding的语法，以及一些表达副作用的更新操作

+

Others

+

上面感觉就已经足够cover绝大部分日常工作了

+

View

+

我的理解就是带 lazy evaluation 的全局 let binding，因为 SELECT +非常的纯真所以可以延迟求值的同时做一些优化

+

这里把 cached view 叫做 materialized view

+

Transaction

+

我的理解是副作用需要一个东西来管理，SQL 就提供了最简单的类似 TX-begin +TX-end 的结构来保证若干个副作用满足原子性和顺序

+

Constraints

+

书上说只有开销比较小的检查才支持，我感觉怪怪的.jpg

+
    +
  • not null 类似于类型修饰符，加在类型后面
    • +
  • unique 表达 super key 限制，和 primary 的区别在于可以 null
    • +
  • constraint check(Predicate) 相当于一些简单的 assertion
    • +
+

constraint 可以有自己的名字，并且可以随时添加/删除

+

Foreign key

+
    +
  • 可以用 +foreign key (col_name) references talbe_name(ref_col_name) +来表达引用的取值范围（也就是一个泛型 ref<T>）
    • +
  • 可以用 on delete/update cascade 来保证当被引用的 tuple +发生变更时，对应的引用也一起变更（也就是一个GC）
    • +
+

Cyclic reference

+

这个问题还挺常见的，办法有这么几个

+
    +
  • constraint 检查可以被推迟，例如出现相互引用的 foreign key +时可以在一个 transaction 内暂时不顾 referential integrity
    • +
  • foreign key 可以设置为 null，变成 mutable 的形状
    • +
+

User Defined Types

+

看关键字的意思是还可以 non final(有 subtype)。很裤，不说话

+

Domain 我的理解就是 duck typing，更裤了

+

Others

+

还有很多很多细碎的

+ +
+ +
+
+ + + + 上一页 + + +
+
+ + + 2024-02-05 23:44:12 + + + + + + + + # Database + + + + + +
+
+ +
+
+ +