The powerset algebra as a result of adding programming constructs to the nested relational algebra

In this paper, we discuss augmentations of the nested relational algebra with programming constructs, such as while-loops and for-loops. We show that the algebras obtained in this way are equivalent to a slight extension of the powerset algebra, thus emphasizing both the strength and the naturalness of the powerset algebra as a tool to manipulate nested relations, and, at the same time, indicating more direct ways to implement this algebra.

[1]  Catriel Beeri,et al.  On the power of languages for manipulation of complex objects , 1987, VLDB 1987.

[2]  Gultekin Özsoyoglu,et al.  Extending relational algebra and relational calculus with set-valued attributes and aggregate functions , 1987, TODS.

[3]  Van GuchtDirk,et al.  The powerset algebra as a result of adding programming constructs to the nested relational algebra , 1988 .

[4]  Mark A Roth,et al.  Theory of Non-First Norman Form Relational Databases , 1986 .

[5]  Gabriel M. Kuper,et al.  A new approach to database logic , 1984, PODS.

[6]  Akifumi Makinouchi,et al.  A Consideration on Normal Form of Not-Necessarily-Normalized Relation in the Relational Data Model , 1977, VLDB.

[7]  Alfred V. Aho,et al.  Universality of data retrieval languages , 1979, POPL.

[8]  E. F. CODD,et al.  A relational model of data for large shared data banks , 1970, CACM.

[9]  Patrick C. Fischer,et al.  Nested Relational Structures , 1986, Adv. Comput. Res..

[10]  David Harel,et al.  Horn Clauses Queries and Generalizations , 1985, J. Log. Program..

[11]  Hans-Jörg Schek,et al.  Remarks on the algebra of non first normal form relations , 1982, PODS.

[12]  Jianwen Su,et al.  On the expressive power of database queries with intermediate types , 1988, PODS '88.

[13]  David Harel,et al.  Computable Queries for Relational Data Bases , 1980, J. Comput. Syst. Sci..

[14]  A. Tarski.  A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .

[15]  Dirk Van Gucht,et al.  Possibilities and limitations of using flat operators in nested algebra expressions , 1988, PODS '88.

[16]  Dirk Van Gucht,et al.  On the expressive power of the extended relational algebra for the unnormalized relational model , 1987, PODS.