Learn More
The calculus of relational algebra has its roots in the second half of the last century with the pioneering work on binary relations of G. Boole, A. The modern axiomatic development is due to A. Tarski and his co-workers. In the last two decades this formalization has been accepted by many mathematicians and computer scientists as a fruitful base for(More)
  • 1