Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Abstract data type semantics for many-sorted object query algebras

  • Object-Oriented Databases
  • Conference paper
  • First Online:
MFDBS 91 (MFDBS 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 495))

Included in the following conference series:

Abstract

Traditional database query algebras usually have only one special sort to describe database and result structures, for example the sort ‘relation’ in relational algebra. For the new developments concerning object-oriented and extensible database systems, it seems to be more appropriate to define a many-sorted algebra based on several primitive domain algebras and type constructors like sets or lists. In this paper, we present the denotational semantics of QUAL expressions using an abstract data type framework. QUAL is a many-sorted query algebra defined as a query formalism for the structural part of the OBLOG object model. The abstract data type semantics of QUAL allows easy extension of the structural part of OBLOG models by new domain data types and new type constructors.

This work was partially supported by CEC under ESPRIT-II Basic Research Action Working Group No. 3023 IS-CORE (Information Systems — COrrectness and REusability). The work of Ralf Jungclaus is supported by Deutsche Forschungsgemeinschaft under 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Abiteboul, S., Bidoit, N.: Non First Normal Form Relations: An Algebra Allowing Data Restructuring. J. of Computer and System Science. Vol. 33, 1986, 361–393.

    Google Scholar 

  2. Atkinson, M., Bancilhon, F., DeWitt, D., Dittrich, K., Maier, D., Zdonik, S.: The Object-Oriented Database System Manifesto. Proc. DOOD'89 (W.Kim, J.-M.Nicolas, S.Nishio, eds.). Kyoto, 1989, 40–57.

    Google Scholar 

  3. Banerjee, J., Kim, W., Kim, K.-C.: Queries in Object-Oriented Databases. Proc. IEEE Data Engineering. Los Angeles, 1988, 31–38.

    Google Scholar 

  4. Beeri, C.: A Formal Approach to Object Oriented Databases. Data & Knowledge Engineering. Vol. 5, No. 4, 1990, 353–382.

    Google Scholar 

  5. Ceri, S., et al: The Algres Project. Proc. EDBT'88. Springer-Verlag, 1988, 551–555.

    Google Scholar 

  6. Cluet, S., Delobel, C., Lécluse, C., Richard, P.: Reloop, an Algebra Based Query Language for an Object-Oriented Database System. Data & Knowledge Engineering. Vol. 5, No. 4, 1990, 333–352.

    Google Scholar 

  7. Codd, E. F.: A Relational Model of Data for Large Shared Data Banks. Communications ACM. Vol. 13, No. 6, 67–89.

    Google Scholar 

  8. Codd, E. F.: Extending the Database Relational Model to Capture More Meaning. ACM Transactions on Database Systems. Vol. 4, No. 4, 1979, 397–434.

    Article  Google Scholar 

  9. Dadam, P., Küspert, K., et al: A DBMS Prototype to Support Extended NF2-Relations: An Integrated View on Flat Tables and Hierarchies. Proc. SIGMOD Conf. on Management of Data. Washington, D.C. 1986, 356–367.

    Google Scholar 

  10. Dadam, P., Linnemann, V.: Advanced Information Management (AIM): Advanced Database Technology for Integrated Applications. IBM Systems Journal. Vol. 28, No. 4, 1989, 661–681.

    Google Scholar 

  11. Deshpande, V., Larson, P.: An Algebra for Nested Relational Databases. Techn. Report CS-87-65, Univ. of Waterloo, 1987.

    Google Scholar 

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

    Google Scholar 

  13. Ehrich, H.-D., Sernadas, A., Sernadas, C.: From Data Types to Object Types. Journal on Information Processing and Cybernetics EIK. Vol. 26, No. 1/2, 1990, 33–48.

    Google Scholar 

  14. Fiadeiro, J., Sernadas, C., Maibaum, T., Saake, G.: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. In:

    Google Scholar 

  15. Fischer, P. C., Thomas, S. J.: Operators for Non First Normal Form Relations. Proc. IEEE Computer Software and Applications Conf. 1983. IEEE 1983, 464–475.

    Google Scholar 

  16. Güting, R. H.: Geo-Relational Algebra: A Model and Query Language for Geometric Database Systems. Proc. EDBT'88. Springer Verlag, 1988, 506–527.

    Google Scholar 

  17. Güting, R. H., Zicari, R., Choy, D. M.: An Algebra for Structured Office Documents. ACM Transactions on Information Systems. Vol. 7, Nr. 2, 1989, 123–157.

    Google Scholar 

  18. Gyssens, M., Van Gucht, D.: The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra. Proc. SIGMOD Conf. on Management of Data 1988. Chicago 1988, 225–232.

    Google Scholar 

  19. Heuer, A., Scholl, M.H.: Principles of Object-Oriented Query Languages. Proc. BTW'91, Kaiserslautern 1991. Springer-Verlag, 1991. (In print).

    Google Scholar 

  20. Hohenstein, U., Gogolla, M.: A Calculus for an Extended Entity-Relationship Model Incorporating Abitrary Data Operations and Aggregate Functions. Proc. 7th Int. Conf. on the ER Approach, Rome 1988. North-Holland, 1988, 129–148.

    Google Scholar 

  21. Jaeschke, G.: Nonrecursive Algebra for Relations with Relation Valued Attributes. TR 85.003.001, IBM Scientific Center Heidelberg, 1985.

    Google Scholar 

  22. Jaeschke, G., Schek, H.-J.: Remarks on the Algebra on Non First Normal Form Relations. Proc. Symp. on Princ. of Database Systems 1982. Los Angeles 1982, 124–138.

    Google Scholar 

  23. Jungclaus, R., Saake, G., Sernadas, C.: Using Active Objects for Query Processing. In:

    Google Scholar 

  24. Jungclaus, R., Saake, G., Sernadas, C.: Formal Specification of Object Systems. Proc. TAPSOFT'91. Brighton, 1991, Springer-Verlag (In print).

    Google Scholar 

  25. Khoshafian, S., Copeland, G. P.: Object Identity. Proc. OOPSLA'86. (ACM SIGPLAN Notices, Vol. 21, No. 11, 1986), 406–416.

    Google Scholar 

  26. Makinouchi, A.: A Consideration of Normal Form of Not-Necessarily-Normalized Relations. Proc. VLDB'77. Tokyo, 1977, 447–453.

    Google Scholar 

  27. Meersman, R., Kent, W. (eds.): Proc. IFIP TC2 Work. Conf. on Object-Oriented Databases (DS-4). Windermere 1990, North-Holland, Amsterdam (In print).

    Google Scholar 

  28. Milner, R.: A Theory of Type-Polymorphism in Programming. Journal of Computer and System Science. Vol. 17, 1978, 348–375.

    Google Scholar 

  29. Özsoyoğlu, G., Özsoyoğlu, Z. M., Matos, V.: Extending Relational Algebra and Relational Calculus with Set-Valued Attributes and Aggregate Functions. ACM Transactions on Database Systems. Vol. 12, No. 4, 1987, 566–592.

    Google Scholar 

  30. Pistor, P., Andersen, F.: Designing a Generalized NF2 Model with an SQL-Type Interface. Proc. VLDB'86. Kyoto, 1986, 278–288.

    Google Scholar 

  31. Pistor, P., Traunmüller, R.: A Database Language for Sets, Lists, and Tables. Information Systems. Vol. 11, 1986, 323–336.

    Google Scholar 

  32. Roth, M. A., Korth, H. F., Silberschatz, A.: Extended Algebra and Calculus for ¬1NF Relational Databases. ACM ToDS. Vol. 13, No. 4, 1988, 389–417.

    Google Scholar 

  33. Saake, G., Jungclaus, R.: Information about Objects versus Derived Objects. Proc. 2nd Workshop on Foundations of Models and Languages for Data and Objects, Aigen (J.Göers, A.Heuer, eds.). Informatik-Bericht 90/3, TU Clausthal, 1990, 59–70.

    Google Scholar 

  34. Schek, H.J., Scholl, M.: An Algebra for the Relational Model with Relation-Valued Attributes. Information Systems. Vol. 11, 1986, 137–147.

    Google Scholar 

  35. Sernadas, A., Ehrich, H.-D.: What is an Object, After All? In:

    Google Scholar 

  36. Sernadas, A., Sernadas, C., Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. VLDB'87. Brighton 1987, 107–116.

    Google Scholar 

  37. Sernadas, A., Fiadeiro, J., Sernadas, C., Ehrich, H.-D.: The Basic Building Blocks of Information Systems Information Systems Concepts: In-Depth Analysis (Falkenberg, E., Lindgreen, P. (eds.)). North-Holland, Amsterdam 1989, 225–246.

    Google Scholar 

  38. Shaw, G., Zdonik, S.: An Object-Oriented Query Algebra. Proc. 2nd Int. Workshop on Database Programming Languages. Portland, 1989.

    Google Scholar 

  39. Saake, G., Linnemann, V., Pistor, P., Wegner, L.: Sorting, Grouping, and Duplicate Elimination in the Advanced Information Management Prototype. Proc. VLDB'89 (P.M.G. Apers, G. Wiederhold, eds.). Amsterdam 1989, 307–316.

    Google Scholar 

  40. Zdonik, S. B., Maier, D. (eds.): Readings in Object-Oriented Database Systems. Morgan-Kaufmann, Palo Alto 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abt. Datenbanken, Techn. Universität Braunschweig, PF 3329, D-W3300, Braunschweig, F.R.G.

    Gunter Saake & Ralf Jungclaus

  2. INESC, Ap. 10105, Rua Alves Redol 9, 1096, Lisboa Codex, Portugal

    Cristina Sernadas

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

  3. Cristina Sernadas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bernhard Thalheim János Demetrovics H. -D. Gerhardt

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Saake, G., Jungclaus, R., Sernadas, C. (1991). Abstract data type semantics for many-sorted object query algebras. In: Thalheim, B., Demetrovics, J., Gerhardt, H.D. (eds) MFDBS 91. MFDBS 1991. Lecture Notes in Computer Science, vol 495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54009-1_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-54009-1_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54009-0

  • Online ISBN: 978-3-540-47348-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation