前不久的新发现

[zhang3]

我原来设想的那个原来并不是理想目标，因为我发现，如果一个形式系统可以做到在时间线上的推理，那么软件系统的第一步实现是在逻辑系统中完成的，完成之
后，再经过一个步骤才可以变成高效的执行程序。这个步骤是，逻辑系统把这个软件系统的运行所需要的逻辑过程剥离出来，并将其优化，才能变成一个理论上最
高效的在现有计算机体系上运行的执行程序。

如果实现了这个，才可以真正做到我之前所想象的，将数据也虚拟化，对于某一堆数据，你可以定义其访问方式，查询方式，但你不必定义其真正的实现，这个逻
辑系统会根据你的定义自动的构造出这一堆数据需要如何组织，是用连续内存，链表，XML或者其他复杂的复合方式来进行，查询算法应该如何实现，内存管理
应该如何实现。这些东西你就根本就不必考虑。在不同的应用场景中，可以优化为不同的方式来实现。例如某种查询非常多，或者需要做负载平衡，或者容错需
要。

这就涵盖了关于数据库实现的所有争论，将其变成一个优化策略问题，而不是一开始就要决定的内容。在某种查询下，系统会优化为关系数据库，另一些场合又可
以优化为key-value数据库，或者XML数据库，更可能的是，是一个复杂的复合方式，这样的复合方式，在人工编程的时候，由于算法复杂多变，是几
乎不可能采用的，但这个形式系统就可以做到最大程度的优化。

--
您收到此邮件是因为您订阅了 Google 网上论坛的“Zero programming language”论坛。
要向此网上论坛发帖，请发送电子邮件至 zero-program...@googlegroups.com。
要取消订阅此网上论坛，请发送电子邮件至 zero-programming-l...@googlegroups.com。
若有更多问题，请通过 http://groups.google.com/group/zero-programming-language?hl=zh-CN 访问此网上论坛。