Types, Algebras, and Modelling

  • Stephen N. Zilles
Part of the Topics in Information Systems book series (TINF)

Abstract

Programming languages, database systems, and artificial intelligence systems all have the notion that entities can be classified into types. As might be expected, however, the usage of the notion of type is not the same among or even within these areas. This chapter presents a view of type that is based on work in programming languages. This view is then used to indicate how the programming languages and database systems can be integrated to produce a more powerful modelling environment.

Keywords

Programming Language Database System Data Entity Type Check Concrete Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [CODD79]
    Codd, E.F., “Extending the Database Relational Model to Capture More Meaning,”ACM Transactions on Database Systems, Vol. 4, No. 4, December 1979, pp. 397–434; IBM Research Report RJ2599, San Jose, Calif., August 1979.Google Scholar
  2. [DD80]
    Demers, A. J., and J. E. Donahue, “Data Types, Parameters, and Type Checking” Proc. ACM Symposium on Principles of Programming Languages, SIGACT and SIGPLAN, January 1980, pp. 12–23Google Scholar
  3. [DEUT81]
    Deutsch, L.P., “In Summary of Workshop Session on Types,”Proc. Workshop on Data Abstraction, Databases, and Conceptual Modelling, SIGPLAN Notices, Vol. 16, No. 1, January 1981, p. 49.Google Scholar
  4. [DMN68]
    Dahl, O.-J., B. Myrhaug, K. Nygaard,Simula 67 Common Base Language, Pub. S-22, Norwegian Computing Center, Oslo, 1968.Google Scholar
  5. [HL82]
    Haskin, R.L., R.A. Lorie, “On Extending the Functions of a Relational Database System,”Proc. 1982 ACM SIGMOD International Conference on the Management of Data, Orlando, Fla., 1982, pp. 207–212.Google Scholar
  6. [IKWL82]
    Ichbiah, J.D., B. Krieg- Brueckner, B.A. Wichmann, H.F. Ledgard, J.-C. Heliard, J.-L. Gailly, J.-R. Abrial, J.P.G. Barnes, M. Woodger, O. Roubine, P.N. Hilfinger, R. Firth,Reference Manual for the Ada Programming Language, Draft Revised MIL-STD 1815; Draft Proposed ANSI Standard Document for Editorial Review, US Department of Defense, Honeywell Inc., and Alsys, July 1982; also available from AdaTEC, ACM order no. 825820.Google Scholar
  7. [LZ74]
    Liskov, B., S. Zilles, “Programming With Abstract Data Types,” SIGPLAN Notices, Vol. 9, No. 4, April 1974, pp. 50–59.CrossRefGoogle Scholar
  8. [LZ75]
    Liskov, B., S. Zilles, “Specification Techniques for Data Abstractions,” IEEE Transactions on Software Engineering, Vol. SE-1, No. 1, March 1975, pp. 7–19.Google Scholar
  9. [RS79]
    Rowe, L.A., K.A. Schoens, “Data Abstraction, Views and Updates in RIGEL,” Proc. 1979 ACM SIGMOD International Conference on the Management of Data, Boston, Mass., May 1979, pp. 71–81.Google Scholar
  10. [SS77a]
    Smith, J.M., D.C.P. Smith, “Database Abstractions: Aggregation,” Communications of the ACM, Vol. 20, No. 6, June 1977.Google Scholar
  11. [SS77b]
    Smith, J. M., D.C.P. Smith, “Database Abstractions: Aggregation and Generalization,” ACM Transactions on Database Systems, Vol. 2, No. 2, June 1977, pp. 105–133CrossRefGoogle Scholar
  12. [SW80]
    Shaw, M., W.A. Wulf, “Toward Relaxing Assumptions in Languages and Their Implementations,” SIGPLAN Notices, Vol. 15, No. 3, March 1980, pp. 45–61.CrossRefGoogle Scholar
  13. [TWW78]
    Thatcher, J.W., E.G. Wagner, J.B. Wright, “Data Type Specifications: Parameterization and Power of Specification Techniques,” Proc. SIGACT 10th Symposium on Theory of Computing, May 1978, pp. 119–132.Google Scholar
  14. [WONG81]
    Wong, H.K.T., “Design and Verification of Interactive Information Systems Using TAXIS,” Technical Report CSRG-129, CSRG, Univ. of Toronto, April 1981.Google Scholar
  15. [ZILL80]
    Zilles, S.N., “An Introduction to Data Algebras,” in D. Bjoerner (ed.), Abstract Software Specifications, Lecture Notes in Computer Science, No. 86, Springer-Verlag, New York, 1980, pp. 248–272.Google Scholar
  16. [ZLT82]
    Zilles, S.N., P. Lucas, J.W. Thatcher, “A Look at Algebraic Specification,” submitted for publication.Google Scholar

Copyright information

© Springer-Verlag New York Inc. 1984

Authors and Affiliations

  • Stephen N. Zilles
    • 1
  1. 1.IBM Research LaboratoryGermany

Personalised recommendations