五千年(敝帚自珍)

主题:【原创】浏览器是怎么变成操作系统的 -- 美人他爹

共:💬233 🌺560
全看分页树展 · 主题 跟帖
家园 SQL就是一阶谓词逻辑

SQL是关系代数的具体实现,而关系代数又等价于一阶谓词逻辑,所以SQL的表示当然是比较抽象的。话说E.F.Codd当年捣鼓出关系代数时,他以为发现了一种新的数学,结果有好事者立刻给出了关系代数和一阶谓词逻辑的等价证明,当然E.F.Codd能弄出这个东东来仍然算是大牛。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河