algebra | Algebra | Lie algebra | Relational database management system | linear algebra | Abstract algebra | Linear Algebra | relational database | Lie Algebra | Hopf algebra | Clifford algebra | Virasoro algebra | relational database management system | Clifford Algebra | relational (grammar) | Relational database | Relational | Kac-Moody algebra | Hecke algebra | Filtered algebra | Elementary algebra | Computer algebra system | Boolean algebra | Banach algebra | Affine Lie algebra | abstract algebra | spacetime algebra | Ringel–Hall algebra | ring (algebra) | Relational psychoanalysis |
Lacroix and Pirotte proposed domain calculus, which is closer to first-order logic and which showed that both of these calculi (as well as relational algebra) are equivalent in expressive power.