例如，这种理论模型允许用更有效的等价操作来代替关系代数操作同时不影响结果。
This theoretical model allows, for example, that relational algebra operations to be replaced by more efficient equivalent operations whereas not interfere with the result.
最初的版本(一个计算机代数系统)名为DOE Macsyma，它开辟了后来开发的更知名的应用程序(例如Mathematica)的道路。
The original version (a computer algebra system) was called DOE Macsyma and led the way for later development of more commonly known applications such as Mathematica.
例如，Clojure有一个友好的Set及Set操作实现，以及一些准关系代数实现。
For example, Clojure has a delightful implementation of sets and operations on sets, as well as some quasi-relational algebra thrown in for good measure.
应用推荐