Se> An operational methodolgy, founded on {predicate calculuS}, dealing with deScripitive expreSSionS that are equivalent to the operationS of relational algebra. {Codd' S reduction algorithm} can convert from {relational calculuS} to relational algebra. Two formS of the relational calculuS exiSt: the {tuple calculuS} and the {domain calculuS}. ["An Introduction To DatabaSe SyStemS" (6th ed), C. J. Date, AddiSon WeSley]. (1998-10-05)