2008/04/16

Beautiful Formulation

Relational calculation 一開始很吸引我的一個特點是它能夠很簡潔地表現一些常見的性質。(現在還是很吸引我 XD。)給予以下的基本定義(in Rel

我們可以用 6 個以內的 tokens 表示以下的常見性質

而且都可以藉著把 relations 詮釋為 nondeterministic mappings 而讀出 operational meanings!

--
現在正在一條一條地證明 AoP 列出來的相關性質,modular law 有比較上手了 XD。

Labels:

<< 回到主頁