The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
世上只有一件事比被人议论更糟糕,那就是没有人议论你。
如果我们认为可以将主动数据库系统中过程与数据的比率任意减小,甚至保持较小,那我们就是在开玩笑。