Skip to main content
SpringerLink
Log in

Specification of Database Applications in the TROLL Language

  • Conference paper
Specifications of Database Systems

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

In the area of large database applications, i.e. complex interactive software systems with persistently stored information, suitable formalisms for specification are almost not present. Traditionally, the description of a database application consists of two parts, the database schema and a more or less formal description of the application functions. We present an object-oriented approach to integrate both aspects. A formal model is described that models objects as processes that can be observed through attributes. Based on this model, the language TROLL is introduced. It is a logical language for the abstract object-oriented description of information systems. Finally, we propose mechanisms for defining external views and for queries that fit in the framework.

This work was partially supported by CEC under ESPRIT BRA WG 3023 IS-CORE (Information Systems — COrrectness and REusability) and by Deutsche Forschungsgemeinschaft under grant no. Sa 465/1-1.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. L. Brodie and J. Mylopoulos, editors. On Knowledge Management Systems. Springer-Verlag, Berlin, 1986.

    MATH  Google Scholar 

  2. J. W. Schmidt and C. Thanos, editors. Foundations of Knowledge Base Management. Springer-Verlag, Berlin, 1989.

    MATH  Google Scholar 

  3. S. Greenspan, A. T. Borgida, and J. Mylopoulos. A Requirements Modelling Language and its Logic. In M. L. Brodie and J. Mylopoulos, editors, On Knowledge Base Management Systems, pages 471–502. Springer-Verlag, Berlin, 1986.

    Chapter  Google Scholar 

  4. J. Mylopoulos, P. A. Bernstein, and H. K. T. Wong. A Language Facility for Designing Interactive Database-Intensive Applications. ACM Transactions on Database Systems, 5 (2): 185–207, 1980.

    Article  Google Scholar 

  5. A. Borgida, E. Meirlaen, J. Mylopoulos, and J.W. Schmidt. Report on the Taxis Design Language. ESPRIT 892 ( DAIDA), FORTH-CRC, Iraklion, Greece, 1989.

    Google Scholar 

  6. J.W. Schmidt and F. Matthes. DBPL Language Report and User Manual. ESPRIT 892 ( DAIDA), Universität Hamburg, FRG, 1990.

    Google Scholar 

  7. A. Albano, L. Cardelli, and R. Orsini. Galileo: A Strongly Typed Interactive Conceptual Language. ACM Transactions on Database Systems, 10: 230–260, 1985.

    Article  Google Scholar 

  8. G. Booch. Object-Oriented Design. Benjamin/Cummings, Menlo Park, CA, 1990.

    MATH  Google Scholar 

  9. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1990.

    Google Scholar 

  10. P. Wegner. Concepts and Paradigms of Object-Oriented Programming. ACM SIGPLAN OOP Messenger, 1 (1): 7–87, 1990.

    Article  Google Scholar 

  11. A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P. Hammerslay, editor, Proc. 13th Int. Conf. on Very Large Databases VLDB’87, pages 107–116, Brighton (GB), 1987. Morgan-Kaufmann, Palo Alto, 1987.

    Google Scholar 

  12. G. Saake and R. Jungclaus. Konzeptionelle Modellierung von Objektgesellschaften. In 11.-J. Appelrath, editor, Proc. Datenbanksysteme fir Biro, Technik and Wissenschaft BTW’91. pages 327–343, IFB 270, Springer-Verlag, Berlin, 1991.

    Google Scholar 

  13. R. Jungclaus, G. Saake, and C. Sernadas. Formal Specification of Object Systems. In S. Abramsky and T. Maibaum, editors, Proc. TAPSOFT’91, pages 60–82, Brighton (UK), 1991. LNCS 494, Springer-Verlag, Berlin.

    Google Scholar 

  14. J. Fiadeiro, C. Sernadas, T. Maibaum, and G. Saake. Proof-Theoretic Semantics of Object-Oriented Specification Constructs. In R. Meersman and W. Kent, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2. 6 Working Conference DS-.ç), Windermere (UK ), 1990. North-Holland, Amsterdam. In print.

    Google Scholar 

  15. A. Sernadas and 11.-D. Ehrich. What Is an Object, After All? In R. Meers-man and W. Kent, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK ), 1990. North-Holland, Amsterdam.

    Google Scholar 

  16. -D. Ehrich, J. A. Goguen, and A. Sernadas. A Categorial Theory of Objects as Observed Processes. In J.W. de Bakker, W.P. de Roever and G. Rozenberg, editors, Foundations of Object-Oriented Languages (Proc. REX School/Workshop 1990, pages 203–228, LNCS 489, Springer-Verlag 1991.

    Google Scholar 

  17. R. Jungclaus, G. Saake, and T. Hartmann. Language Features for Object-Oriented Conceptual Modeling. In T. Teory, editor, Proc. 10th Int. Conf. on the ER-Approach, San Mateo (CA), 1991. To appear.

    Google Scholar 

  18. R. Jungclaus, G. Saake, and C. Sernadas. Object-Oriented Specification of Information Systems: The ROLL-Language. Informatik-Bericht, TU Braunschweig, 1991. To appear.

    Google Scholar 

  19. G Saake. Conceptual Modeling of Database Applications. In D. Karagiannis, editor, Proc. 1st Workshop Information Systems and Artificial Intelligence: Integration Aspects. Ulm 1990), pages 213–232, LNCS 474, Springer-Verlag, Berlin 1991.

    Google Scholar 

  20. H.-D. Ehrich and A. Sernadas. Algebraic Implementation of Objects over Objects. In W. deRoever, editor, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness (Proc. REX’89), pages 239–266, Mood (NL), 1989. LNCS 394, Springer Verlag, Berlin, 1989.

    Google Scholar 

  21. A. Sernadas. Temporal Aspects of Logical Procedure Definition. Information Systems, 5: 167–187, 1980.

    Article  MATH  Google Scholar 

  22. G. Saake. Descriptive Specification of Database Object Behaviour. Data and Knowledge Engineering, 6 (1): 47–74, 1991.

    Article  Google Scholar 

  23. R. Jungclaus, G. Saake, and C. Sernadas. Using Active Objects for Query Processing. In R. Meersman and W. Kent, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WG 2.6 Working Conference DS-4), Windermere (UK ), 1990. North-Holland, Amsterdam. In print.

    Google Scholar 

  24. C. Beeri. A Formal Approach to Object Oriented Databases. Data and Knowledge Engineering, 5 (4): 353–382, 1990.

    Article  Google Scholar 

  25. A. Heuer and M.H. Scholl. Principles of Object-Oriented Query Languages. In H.-J. Appelrath, editor, Proc. Datenbanksysteme fair Biro, Technik und Wissenschaft BTW’91, pages 178–197, Kaiserslautern, 1991. Springer-Verlag, Berlin.

    Chapter  Google Scholar 

  26. G. Saake, R. Jungclaus, and C. Sernadas. Abstract Data Type Semantics for Many-Sorted Object Query Algebras. In B. Tha1heim, J. Demetrovics and H.-D. Gerhardt, editors, Proc. 3rd Symp. on Mathematical Fundamentals of Database and Knowledge Base Systems MFDBS-91, pages 291–307, Rostock, FRG, 1991. LNCS 495, Springer-Verlag, Berlin, 1991.

    Google Scholar 

  27. S.N. Khoshafian and G.P. Copeland. Object identity. In Proc. OOPSLA Conference, pages 406–416, Portland, OR, 1986. ACM, New York, 1986. (Special Issue of SIGPLAN Notices, Vol. 21, No. 11, November 1986 ).

    Google Scholar 

  28. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification I: Equations and Initial Semantics. Springer-Verlag, Berlin, 1985.

    Book  MATH  Google Scholar 

  29. W. Kim. Object-Oriented Databases: Definition and Research Directions. IEEE Transactions on Knowledge and Data Engineering, 2 (3): 327–341, 1990.

    Article  Google Scholar 

  30. S. B. Zdonik and D. Maier, editors. Readings in Object-Oriented Database Systems. Morgan-Kaufmann, Palo Alto, CA, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abt. Datenbanken, Techn. Universität Braunschweig, Postfach 3329, 3300, Braunschweig, Germany

    Gunter Saake & Ralf Jungclaus

Authors
  1. Gunter Saake
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ralf Jungclaus
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Glasgow, 17 Lilybank Gardens, G12 8QQ, Glasgow, Scotland

    David J. Harper BSc, PhD  & Moira C. Norrie BSc, MSc  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag London

About this paper

Cite this paper

Saake, G., Jungclaus, R. (1992). Specification of Database Applications in the TROLL Language. In: Harper, D.J., Norrie, M.C. (eds) Specifications of Database Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3864-8_12

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3864-8_12

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19732-4

  • Online ISBN: 978-1-4471-3864-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation