Lambda Calculus
Relational Calculus Ameetinder Singh CS 157A. Tuple Relational Calculus non-procedural query language as compared to relational algebra that is procedural.