- 发帖可能变空内容，邪门暂不知所以然
- 『稷下学宫』新认证方式，24年网站打算和努力目标
主题：【原创】浏览器是怎么变成操作系统的 -- 美人他爹
共:💬233 🌺560 新:
SQL就是一阶谓词逻辑First-Order Logic（FOL），如果你们的语言是FOL的超集，那么你们的语言只能是高阶逻辑Higher-Order Logic（HOL）。在数理逻辑里，HOL比FOL表达能力更强和更加有效，但是在系统的可靠性和完备性方面的限制会更多。通常的一个观点是，FOL能够有效地处理和表达绝大多数的问题，如果不能用FOL表达，只能用HOL，那么有相当大的可能是你的问题本身就有问题。
- 相关回复 上下关系8
🙂【原创】浏览器是怎么变成操作系统的 58 美人他爹 字809 2009-07-15 11:55:13
🙂【原创】浏览器是怎么变成操作系统的 6 云深不知处 11 美人他爹 字2859 2009-09-04 22:56:37
🙂还是拿SQL和数理逻辑进行对应吧
🙂【原创】我关心的是数据的组织方式 1 美人他爹 字685 2009-09-07 07:51:07
🙂呵呵，是我没说清楚。 1 唐家山 字271 2009-09-07 18:45:14
🙂你说的，不就是MS所提的LINQ的概念嘛 moniker 字124 2009-09-06 08:15:39
🙂能描述不代表高效阿 yueyu 字58 2009-09-05 09:48:49
🙂刚把问题抛出来，就草草收尾 1 邓侃 字529 2009-09-05 04:28:43