Some high-level language constructs for data of type relation

For the extension of high-level languages by data types of mode relation, three language constructs are proposed and discussed:- a repetition statement controlled by relations- predicates as a generalisation of boolean expressions- a constructor for relations using predicates.The language constructs are developed step by step starting with a set of elementary operations on relations. They are designed to fit into PASCAL without introducing too many additional concepts.

[1]  Per Brinch Hansen,et al.  The programming language Concurrent Pascal , 1975, IEEE Transactions on Software Engineering.

[2]  Joachim W. Schmidt,et al.  Some high level language constructs for data of type relation , 1977, TODS.

[3]  Jerome A. Feldman,et al.  Recent developments in SAIL: an ALGOL-based language for artificial intelligence , 1972, AFIPS '72 (Fall, part II).

[4]  Stephen N. Zilles,et al.  Programming with abstract data types , 1974, SIGPLAN Symposium on Very High Level Languages.

[5]  Frank P. Palermo,et al.  A Data Base Search Problem , 1974 .

[6]  Donald D. Chamberlin,et al.  SEQUEL: A structured English query language , 1974, SIGFIDET '74.

[7]  Hans-Hellmut Nagel,et al.  A PASCAL Compiler bootstrapped on a DEC-System 10 , 1974, Fachtagung über Programmiersprachen.

[8]  John F. Wakerly,et al.  The programming language PASCAL , 1979, Microprocessors and microsystems.

[9]  Michael Hammer,et al.  Specifying queries as relational expressions: the SQUARE data sublanguage , 1975, CACM.

[10]  Michael Stonebraker,et al.  Embedding a relational data sublanguage in a general purpose programming language , 1976, Conference on Data: Abstraction, Definition and Structure.

[11]  Hans Albrecht Schmid,et al.  On the semantics of the relational data model , 1975, SIGMOD '75.

[12]  E. F. Codd,et al.  A data base sublanguage founded on the relational calculus , 1971, SIGFIDET '71.

[13]  Jerome A. Feldman,et al.  The LEAP language and data structure , 1968, IFIP Congress.