https://intlibrary.ir/download/relational-and-algebraic-methods-in-computer-scien-35963/