Final report of the ANSI/X3/SPARC DBS-SG relational database task group
Michael L. Brodie, Joachim W. Schmidt · ACM SIGMOD Record · 1982
A standard reference for a definition of the relational algebra, the tuple relational calculus, and relational completeness.The paper also discusses the translation of calculus formulas into algebraic expressions.