The relational algebra is a many-sorted algebra, where the sorts are the natural numbers. The idea is that the elements of sort n are finite n-ary relations.
確定! 回上一頁