Overview of relational programming
Bruce James MacLennan · ACM SIGPLAN Notices · 1983
This report provides a brief overview of the method of programming in a relational calculus. This is a style of programming in which entire relations are manipulated as data, and in which the program itself is represented as a relation. This report describes the use of the relational operators to manipulate both data and functions, and introduces an improved notation for relational programming. (Author)