关系代数

数据库理论中的形式化语言，用于描述对关系（表）的操作，此处被借用以形式化张量运算逻辑。