Data abstraction, views and updates in RIGEL

ABSTRACT

Language constructs to support the development of data base applications provided in the programming language rigel are described. First, the language type system includes relations, views, and tuples as built-in types. Tuple-values are introduced to provide more flexibility in writing procedures that update relations and views.Second, an expression that produces sequences of values, called a generator, is defined which integrates relational query expressions with other iteration constructs found in general-purpose programming languages. As a result, relational expressions can be used in new contexts (e.g., as parameters to procedures) to provide new capabilities (e.g., programmer-defined aggregate functions).Lastly, a data abstraction facility, unlike those proposed for other data base programming languages, is described. It provides a better notation to specify the interface between a program and a data base and to support the disciplined use of views.All of these constructs are integrated into a sophisticated programming environment to enhance the development of well-structured programs.

REFERENCES

• 1: Eric Allman , Michael Stonebraker , Gerald Held, Embedding a relational data sublanguage in a general purpose programming language, Proceedings of the 1976 conference on Data : Abstraction, definition and structure, p.25-35, March 22-24, 1976, Salt Lake City, Utah, United States
• 2: M. M. Astrahan , M. W. Blasgen , D. D. Chamberlin , K. P. Eswaran , J. N. Gray , P. P. Griffiths , W. F. King , R. A. Lorie , P. R. McJones , J. W. Mehl , G. R. Putzolu , I. L. Traiger , B. W. Wade , V. Watson, System R: relational approach to database management, ACM Transactions on Database Systems (TODS), v.1 n.2, p.97-137, June 1976 [doi>10.1145/320455.320457]
• 3: G.M. Birtwhistle , O.J. Dahl , B. Myhrhaug , K. Nygaard, Simula Begin, Chartwell-Bratt Ltd, 1979
• 4: {Bratsbergsengen 77} Bratsbergsengen, K. and Risnes, O., "ASTRAL --- A Structured Relational Applications Language," Proc. SIMULA Users Conf., (September 1977).
• 5: {Brodie 78} Brodie, M., and Schmidt, J., "What is the Use of Abstract Data Types in Data Bases?" Proc. 4th Int'l Conf. on Very Large Data Bases, West Berlin, (1978), pp. 140--141.
• 6: {Chamberlin 75} Chamberlin, D., et al, "Views Authorization and Locking in a Relational Database System," Proc. AFIPS 1975 NCC, Vol. 44, pp. 425--430.
• 7: {Chamberlin 76} Chamberlin, D. D., et al, "SEQUEL2: A Unified Approach to Data Definition, Manipulation, and Control," IBM Journal of Research and Development, 20, 6, (November 1976), pp. 560--575.
• 8: C. J. Date, An architecture for high-level language database extensions, Proceedings of the 1976 ACM SIGMOD international conference on Management of data, June 02-04, 1976, Washington, D.C.
• 9: {Dayal 78} Dayal, U., "On the Updatability of Relational Views," Proc. 4th Int'l Conf. on Very Large Data Bases, West Berlin, (1978), pp. 368--377.
• 10: {Furtado 78} Furtado, A. L., "A View construct for the Specification of External Schemas," Series: Monografias em Ciencia da Computacao (M. Challis, ed.), (1978).
• 11: {Goos 78} Goos, G., and Kastens, U., "Programming Languages and the Design of Modular Programs," in Constructing Quality Software, (P. Hibbard and A. Schuman, eds.), North-Holland Publishing Company, (1978).
• 12: Michael Hammer, Data abstractions for data bases, Proceedings of the 1976 conference on Data : Abstraction, definition and structure, p.58-59, March 22-24, 1976, Salt Lake City, Utah, United States
• 13: {Held 75} Held, G., Stonebraker, M, and Wong, E., "INGRES --- A Relational Data Base System," Proc. AFIPS 1975 NCC, Vol. 44, pp. 409--416.
• 14: Barbara Liskov , Alan Snyder , Russell Atkinson , Craig Schaffert, Abstraction mechanisms in CLU, Communications of the ACM, v.20 n.8, p.564-576, Aug. 1977 [doi>10.1145/359763.359789]
• 15: {Merrett 77} Merrett, T., "Aldat --- Augmenting the Relational Algebra for Programmers," Technical Report SOCS-78.1, School of Computer Science, McGill University, (November 1977).
• 16: {Mylopoulis 78} Mylopoulos, J., et al, "A Preliminary Specification of TAXIS: A Language for Designing Interactive Information Systems," Technical Report CCA-78-02, Computer Corporation of America, (January 1978).
• 17: {Prenner 77} Prenner, C., "A Uniform Notation for Expressing Queries," ERL Memorandum M77/80, Electronics Research Laboratory, U. C. Berkeley, (September 1977).
• 18: {Prenner 78} Prenner, C. and Rowe, L., "Programming Languages for Relational Data Base Systems," Proc. AFIPS 1978 NCC, vol. 47, pp. 849--855.
• 19: {Rowe 78} Rowe, L., and Shoens, K., "RIGEL: Preliminary Language Specification," Dept. Elec. Eng. and Comp. Sci., U. C. Berkeley, (December 1978).
• 20: Joachim W. Schmidt, Some high level language constructs for data of type relation, ACM Transactions on Database Systems (TODS), v.2 n.3, p.247-261, Sept. 1977 [doi>10.1145/320557.320568]
• 21: {Schmidt 78} Schmidt, J., "Type Concepts for Database Definition," Proc. Int'l Conf. on Data Bases, Haifa, Israel, (August 1978).
• 22: {Smith 77} Smith, J. and Smith, D., "Integrated Specifications for Abstract Systems," Technical Report UUCS-77-112, Computer Science Department, University of Utah, (September 1977).
• 23: Michael Stonebraker, Implementation of integrity constraints and views by query modification, Proceedings of the 1975 ACM SIGMOD international conference on Management of data, May 14-16, 1975, San Jose, California [doi>10.1145/500080.500091]
• 24: Michael Stonebraker , Gerald Held , Eugene Wong , Peter Kreps, The design and implementation of INGRES, ACM Transactions on Database Systems (TODS), v.1 n.3, p.189-222, Sept. 1976 [doi>10.1145/320473.320476]
• 25: D. Tsichritzis, Research directions in data base management systems, ACM SIGMOD Record, v.9 n.3, 1977 [doi>10.1145/984395.984399]
• 26: {Wasserman 78} Wasserman, A., et al, "Report on the Programming Language PLAIN," TR-34, U. C., San Francisco, (1978).
• 27: {Weber 78} Weber, H., "A Software Engineering View of Data Base Systems," Proc. 4th Int'l Conf. on Very Large Data Bases, (1978), pp. 36--51.
• 28: {Wegbreit 71} Wegbreit, B., "The ECL Programming System," Proc. AFIPS 1971 FJCC, Vol. 39, pp. 253--262.
• 29: {Wirth 77} Wirth, N., "Modula: A Language for Modular Multiprogramming," Software --- Practice and Experience, Vol. 7 (1977), pp. 3--35.
• 30: Eugene Wong , Karel Youssefi, Decomposition—a strategy for query processing, ACM Transactions on Database Systems (TODS), v.1 n.3, p.223-241, Sept. 1976 [doi>10.1145/320473.320479]

INDEX TERMS

Keywords:
data abstraction, generators, programming languages, relational data base systems, views