Inheritance and persistence in database programming languages

ABSTRACT

In order to represent inheritance, several recent designs for database programming languages have made use of class construct, which can be thought of as a restricted data type with an associated set of instances. Moreover, these classes are persistent they survive from one program invocation to another. This paper examines whether it is necessary to the together type, extent and persistence in order to model inheritance and suggests that they may be separated to provide more general database programming languages. In particular we shall see that it is possible to assign a generic data type to a function that extracts all the objects of a given type in the database so that the class hierarchy can be derived from the type hierarchy. We shall also examine object-level inheritance and its relationship to data types for relational databases. A final section examines how the various forms of persistence interact with inheritance at both object and type level.

REFERENCES

• AitK84: Att-Kact, H. "A Lattice Theoreuc Approach to Computation based on a Cakuhts of Partialty Ordered Type Stmctmes", PhD. D#sertat#n, Depamnent of Computer and Infczmauon Science, Moore School/D2, Umverstty of Pennsylvama, Pluladelplua, PA 19104 (1984)
• Alba85: Antonio Albano , Luca Cardelli , Renzo Orsini, GALILEO: a strongly-typed, interactive conceptual language, ACM Transactions on Database Systems (TODS), v.10 n.2, p.230-260, June 1985 [doi>10.1145/3857.3859]
• Atki83: A#son, MJ#, Barley, P2, Chisholm, K J, Cockshott, W.P. and Momson, R, "An Approach to Persmtent Programnung", Computer Journal, 26, 4, November 1983
• Atki85a: Atlanson, M.P. and Buneman, O P. "Database Programmmg Language Deslgn", Techmcal Report 10-85, Umvers#ty of Pennsylvanm
• Atki85b: Atkmson, M.P and Momson, R., "Types, B m&ngs and Parameters m a Perststent Enwronment", Proceedmgs of the Appm Conference on Data Types and Persistence, Techmcal Report, Department of Compuung, Glasgow Umvers#ty, September 1985.
• Banç86: Francois Bancilhon , Setrag Khoshafian, A calculus for complex objects, Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems, p.53-60, March 24-26, 1986, Cambridge, Massachusetts, United States [doi>10.1145/6012.15404]
• Brac79: Brachman, RJ ""On the Eplstemologlcal Status of Semanttc Networks", Associative Net. works- The Representatwn of Knowledge m Computers, N V Fmdler, ed., Acadenuc Press, New York, 1979.
• Brac85: Brachman, RJ and Schmolze, J G," An Overview of the KL-One Knowledge Representatton System", Cognmve Science, 9,2, April 1985
• Burs84: R. Burstall , B. Lampson, A kernel language for abstract data types and modules., Proc. of the international symposium on Semantics of data types, p.1-50, July 1984, Sophia-Antipolis, France
• Borg85: Borglda, A' "Features of Languages for the Development of InformaUon Systems at the Conceptual Level", # Software, 2, 1, January 1985.
• Bune85: Beneman, O.P., "Data Types for Data Base programming', Proceedings of Appm Conference on Data Types and Persmtence, Technx:al Report, Ikpamnent of Computing, Glasgow Umver#ty, September 1985.
• Bune86: Buneman, O.P, "A Domain Theoretic Approach to Relattonal Databases", Techmcal Report, Umverslty of Pennsylvanla Department of Computer and Inf#on Sclence, January 1986
• Card84: Cardelh, L., "Amber", AT&T Bell Labs Techmcal Report, 1984.
• Card85a: Cardelh, L and Wegner, P, "On Understandmg Types, Data AbsWacuon, and Polymorphtsm", Techmcal Report, Brown Umverslty, Aug 1985
• Card85b: Cardelh, L and MacQueen, D.M, "Pers#- tence and Type Abstractmn", Proceechngs of the Appm Conference on Data Types and Persistence, Tec#mcal Report, Department of Compuung, Glasgow Umverslty, September 1985.
• Chan82: Arvola Chan , Sy Danberg , Stephen Fox , Wen-Te K. Lin , Anil Nori , Daniel R. Ries, Storage and Access Structures to Support a Semantic Data Model, Proceedings of the 8th International Conference on Very Large Data Bases, p.122-130, September 08-10, 1982
• Chen76: Peter Pin-Shan Chen, The entity-relationship model—toward a unified view of data, ACM Transactions on Database Systems (TODS), v.1 n.1, p.9-36, March 1976 [doi>10.1145/320434.320440]
• Cope84: George Copeland , David Maier, Making smalltalk a database system, Proceedings of the 1984 ACM SIGMOD international conference on Management of data, June 18-21, 1984, Boston, Massachusetts
• Falk73: Falkoff, A.D and Iverson, K.E, "The deslgn of APL', IBM journal of Research and Development, 10, July 1973.
• Gold80: Ira P. Goldstein , Daniel G. Bobrow, Extending object oriented programming in Smalltalk, Proceedings of the 1980 ACM conference on LISP and functional programming, p.75-81, August 25-27, 1980, Stanford University, California, United States [doi>10.1145/800087.802792]
• Gord79: Gcm#n, M J, Mdner, Aj.R.G, and Wadsworth, C P, Edinburgh LCF, Sprmger- Verlag, Lecture Notes m Computer Science, 1979
• Hamm81: Michael Hammer , Dennis Mc Leod, Database description with SDM: a semantic database model, ACM Transactions on Database Systems (TODS), v.6 n.3, p.351-386, Sept. 1981 [doi>10.1145/319587.319588]
• Hull83: Richard Hull , Chee K. Yap, The format model: a theory of database organization, Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems, March 29-31, 1982, Los Angeles, California [doi>10.1145/588111.588146]
• Ichb79: Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979 [doi>10.1145/956653.956654]
• Lisk83: L#,ov, B., Herlthy, M, Johnson, P, Leavens, G., Schelfler, R and Welhl W, "Prehmmary ARGUS reference manual", M1T LCS Memo 39, October 1983
• Matt85: Matthews, C J, "Poly Manual", Unlvermy of Cambridge, Computer Laboratory, Technical Report 63, February 1985
• Merr84: T H Merrett, Relational Information Systems, Reston Publishing Co., Reston, VA, 1984
• Meye86: Albert R. Meyer , Mark B. Reinhold, "Type" is not a type, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.287-295, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512671]
• Mylo80: John Mylopoulos , Philip A. Bernstein , Harry K. T. Wong, A language facility for designing database-intensive applications, ACM Transactions on Database Systems (TODS), v.5 n.2, p.185-207, June 1980 [doi>10.1145/320141.320150]
• Schm77: 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]
• Ship81: David W. Shipman, The functional data model and the data languages DAPLEX, ACM Transactions on Database Systems (TODS), v.6 n.1, p.140-173, March 1981 [doi>10.1145/319540.319561]
• Smit77: John Miles Smith , Diane C. P. Smith, Database abstractions: aggregation and generalization, ACM Transactions on Database Systems (TODS), v.2 n.2, p.105-133, June 1977 [doi>10.1145/320544.320546]
• Smit81: Snuth,J M, Fox,S and Landers,T., "Reference Manual for ADAPLEX", Computer Corporation of America, january 1981
• Wirt81: Wtrth, N, "The Programnung #guage PASCAL", Acta Informattca, I, 1971
• Zani84a: Zamolo, C, '#atabase Relations wlth Null Values", JCSS, 28 I, pp 142-166, February 1984
• Zani84b: C Zaniolo, Prolog: a database query language for all seasons, Proceedings from the first international workshop on Expert database systems, p.219-232, January 1986, Kiawah Island, South Carolina, United States

INDEX TERMS

Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Abstract data types

  H. Information Systems
  H.2 DATABASE MANAGEMENT

General Terms:
Design, Languages