Skip to main content
SpringerLink
Log in

A SQL-like query calculus for object-oriented database systems

  • Conference paper
  • First Online:
Object-Oriented Methodologies and Systems (ISOOMS 1994)

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

Included in the following conference series:

Abstract

Currently much effort is being spent on providing object-oriented databases with ad hoc query facilities. In this paper we present a SQL-like query calculus whose major contribution lies in its inherent orthogonality and rigorous mathematical foundation. The calculus is essentially a calculus of complex values but it is defined independently of any concrete database model. The calculus can be used to formulate queries in value-based and object-based data models. Moreover it provides a general facility for the manipulation of complex values.

Work reported here has been partially supported by the CEC under Grant No. 6112 (COMPASS) and BMFT under Grant No. 01 IS 203 D (Korso).

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.

References

  1. S. Abiteboul and C. Beeri, On the Power of Languages for the Manipulation of Complex Objects, Research report 846, INRIA France, 1988.

    Google Scholar 

  2. S. Abiteboul, C. Beeri, M. Gyssens, and D. Van Gucht, An Introduction to the Completeness of Languages for Complex Objects and Nested Relations, In Abiteboul et al. [3], pp. 117–138.

    Google Scholar 

  3. S. Abiteboul, P.C. Fischer, and H.J. Schek (eds.), Nested Relations and Complex Objects in Databases, Springer, Berlin, LNCS 361, 1989.

    MATH  Google Scholar 

  4. S. Abiteboul and P. Kanellakis, Object Identity as a Query Language Primitive, Proc. ACM Int. Conf. on Management of Data (SIGMOD) (J. Clifford, B. Lindsay, and D. Maier, eds.), ACM SIGMOD Record 18:2, 1989, pp. 159–173.

    Google Scholar 

  5. S. Abiteboul and V. Vianu, Datalog Extensions for Database Updates and Queries, Research report 715, INRIA France, 1988.

    Google Scholar 

  6. -, Expressive Power of Query Languages, Research report 1587, INRIA France, 1992.

    Google Scholar 

  7. A.V. Aho and J.D. Ullman, Universality of Data Retrieval Languages, Proc. 6th ACM Symp. Principles of Programming Languages (POPL), 1979, pp. 110–120.

    Google Scholar 

  8. F. Bancilhon, S. Cluet, and C. Delobel, A Query Language for the O 2 Object-Oriented Database System, Proc. 2nd Int. Workshop on Database Programming Languages (R. Hull, R. Morrison, and D. Stemple, eds.), Morgan-Kaufmann, San Mateo (CA), 1989, pp. 122–138.

    Google Scholar 

  9. F. Bancilhon, C. Delobel, and P. Kanellakis (eds.), Building an Object-Oriented Database System — The Story of O 2, Morgan-Kaufmann, San Mateo (CA), 1992.

    Google Scholar 

  10. F. Bancilhon and S. Khoshafian, A Calculus of Complex Objects, Proc. 5th ACM Symp. Principles of Database Systems (PODS), 1986, pp. 53–60.

    Google Scholar 

  11. D. Beech, A Foundation for Evolution from Relational to Object Databases, Advances in Database Technology, Proc. Int. Conf. on Extending Database Technology (EDBT) (J.W. Schmidt, S. Ceri, and M. Missikoff, eds.), Springer, Berlin, LNCS 303, 1988, pp. 256–270.

    Google Scholar 

  12. C. Beeri, A Formal Approach to Object-Oriented Databases, Data & Knowledge Engineering 5 (1990), no. 4, 353–382.

    Article  Google Scholar 

  13. E. Bertino, M. Negri, G. Pelagatti, and L. Sbattella, Object-Oriented Query Languages: The Notion and the Issues, IEEE Trans. on Knowledge and Data Engineering 4 (1992), no. 3, 223–237.

    Article  Google Scholar 

  14. J. Van den Bussche and A. Heuer, Using SQL with Object-Oriented Databases, Information Systems 18 (1993), no. 7, 461–487.

    Article  Google Scholar 

  15. R. Cattell, The Object Database Standard: ODMG-93, Morgan-Kaufmann, San Mateo (CA), 1994.

    Google Scholar 

  16. S. Cluet, C. Delobel, G. Lécluse, and P. Richard, RELOOP, an Algebra Based Query Language for an Object-Oriented Database System, Data & Knowledge Engineering 5 (1990), no. 4, 333–352.

    Article  Google Scholar 

  17. E.F. Codd, A Relational Model of Data for Large Shared Data Banks, Communications of the ACM 13 (1970), no. 6, 377–387.

    Article  MATH  Google Scholar 

  18. S. Conrad, M. Gogolla, and R. Herzig, TROLL light: A Core Language for Specifying Objects, Informatik-Bericht 92-02, Technische Universität Braunschweig, 1992.

    Google Scholar 

  19. S. Dar, N.H. Gehani, and H.V. Jagadish, CQL++: A SQL for the Ode Object-Oriented DBMS, Advances in Database Technology, Proc. Int. Conf. on Extending Database Technology (EDBT) (A. Pirotte, C. Delobel, and G. Gottlob, eds.), Springer, Berlin, LNCS 580, 1992, pp. 201–216.

    Chapter  Google Scholar 

  20. C. Date, A Critique of the SQL Database Language, ACM SIGMOD Record 14 (1984), no. 3, 8–54.

    Article  Google Scholar 

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

    MATH  Google Scholar 

  22. G. Gardarin and P. Valduriez, ESQL2: An Object-Oriented SQL with F-Logic Semantics, Proc. 8th Int. Conf. on Data Engineering (ICDE), IEEE Computer Society Press, 1992, pp. 320–327.

    Google Scholar 

  23. M. Gogolla, An Extended Entity-Relationship Model — Fundamentals and Pragmatics, Springer, Berlin, LNCS 767, 1994.

    Google Scholar 

  24. M. Gogolla, S. Conrad, and R. Herzig, Sketching Concepts and Computational Model of TROLL light, Proc. 3rd Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO) (A. Miola, ed.), Springer, Berlin, LNCS 722, 1993, pp. 17–32.

    Google Scholar 

  25. M. Gogolla and U. Hohenstein, Towards a Semantic View of an Extended Entity-Relationship Model, ACM Trans. on Database Systems 16 (1991), no. 3, 369–416.

    Article  MathSciNet  Google Scholar 

  26. C. Harris and J. Duhl, Object SQL, Object-Oriented Databases with Applications to CASE, Networks, and VLSI CAD (R. Gupta and E. Horowitz, eds.), Prentice-Hall, 1991, pp. 199–215.

    Google Scholar 

  27. R. Herzig, Zur Spezifikation von Objektgesellschaften mit TROLL light, Ph.D. thesis, Technische Universität Braunschweig, 1994.

    Google Scholar 

  28. R. Herzig, S. Conrad, and M. Gogolla, Compositional Description of Object Communities with TROLL light, Proc. Basque Int. Workshop on Information Technology (BIWIT): Information Systems Design and Hypermedia (C. Chrisment, ed.), Cépaduès-Éditions, Toulouse, 1994, pp. 183–194.

    Google Scholar 

  29. R. Herzig and M. Gogolla, An Animator for the Object Specification Language TROLL light, Proc. Colloquium on Object Orientation in Databases and Software Engineering (V.S. Alagar and R. Missaoui, eds.), Université du Quebéc à Montréal, 1994, pp. 4–17.

    Google Scholar 

  30. U. Hohenstein and G. Engels, SQL/EER — Syntax and Semantics of an Entity-Relationship-Based Query Language, Information Systems 17 (1992), no. 3, 209–242.

    Article  Google Scholar 

  31. R. Hull, Four Views of Complex Objects: A Sophisticate's Introduction, In Abiteboul et al. [3], pp. 87–116.

    Google Scholar 

  32. R. Hull and R. King, Semantic Database Modelling: Survey, Applications, and Research Issues, ACM Computing Surveys 19 (1987), no. 3, 201–260.

    Article  Google Scholar 

  33. M. Jarke and J. Koch, Query Optimization in Database Systems, ACM Computing Surveys 16 (1984), no. 2, 111–152.

    Article  MATH  MathSciNet  Google Scholar 

  34. M. Kifer, W. Kim, and Y. Sagiv, Querying Object-Oriented Databases, Proc. ACM Int. Conf. on Management of Data (SIGMOD) (M. Stonebreaker, ed.), ACM SIGMOD Record 21:2, 1992.

    Google Scholar 

  35. W. Kim, Observations on the ODMG-93 Proposal for an Object-Oriented Database Language, ACM SIGMOD Record 23 (1994), no. 1, 4–9.

    Article  Google Scholar 

  36. K. Koymen and Q. Cai, SQL *: A Recursive SQL, Information Systems 18 (1993), no. 2, 121–128.

    Article  Google Scholar 

  37. G.M. Kuper and M.Y. Vardi, A New Approach to Database Logic, Proc. 3th ACM Symp. Principles of Database Systems (PODS), 1984, pp. 86–96.

    Google Scholar 

  38. C. Lamb, G. Landis, J. Orenstein, and D. Weinreib, The ObjectStore Database System, Communications of the ACM 34 (1991), no. 10, 50–63.

    Article  Google Scholar 

  39. C. Lécluse and P. Richard, Modeling Complex Structures in Object-Oriented Databases, Proc. 8th ACM Symp. Principles of Database Systems (PODS), 1989, pp. 360–368.

    Google Scholar 

  40. B.J. MacLennan, Values and Objects in Programming Languages, ACM SIGPLAN Notices 17 (1982), no. 12, 70–79.

    Article  MathSciNet  Google Scholar 

  41. A. Makinouchi, A Consideration on Normal Form of Not Necessarily Normalized Relation in the Relational Data Model, Proc. 3rd Int. Conf. on Very Large Data Bases (VLDB), 1977, pp. 447–453.

    Google Scholar 

  42. M. Negri, G. Pelagatti, and L. Sbattella, Formal Semantics of SQL Queries, ACM Trans. on Database Systems 16 (1991), no. 3, 513–534.

    Article  MathSciNet  Google Scholar 

  43. M.A. Roth, H.F. Korth, and A. Silberschatz, Extended Algebra and Calculus for Nested Relational Databases, ACM Trans. on Database Systems 13 (1988), no. 4, 389–417.

    Article  MATH  MathSciNet  Google Scholar 

  44. H.J. Schek and M.H. Scholl, The Relational Model with Relation-Valued Attributes, Information Systems 11 (1986), 137–147.

    Article  MATH  Google Scholar 

  45. J.D. Ullman, Principles of Database and Knowledge Base Systems, Vol. I, Computer Science Press, Rockville (MD), 1988.

    Google Scholar 

  46. N. Vlachantonis, R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H.-D. Ehrich, Towards Reliable Information Systems: The KORSO Approach, Advanced Information Systems Engineering, Proc. 5th CAiSE'93 (C. Rolland, F. Bodart, and C. Cauvet, eds.), Springer, Berlin, LNCS 685, 1993, pp. 463–482.

    Google Scholar 

  47. M. Wirsing, Algebraic Specification, Handbook of Theoretical Computer Science, Vol. B (J. Van Leeuwen, ed.), North-Holland, Amsterdam, 1990, pp. 677–788.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Abt. Datenbanken, TU Braunschweig Informatik, Postfach 3329, D-38023, Braunschweig, Germany

    Rudolf Herzig & Martin Gogolla

Authors
  1. Rudolf Herzig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Elisa Bertino Susan Urban

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Herzig, R., Gogolla, M. (1994). A SQL-like query calculus for object-oriented database systems. In: Bertino, E., Urban, S. (eds) Object-Oriented Methodologies and Systems. ISOOMS 1994. Lecture Notes in Computer Science, vol 858. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014014

Download citation

  • DOI: https://doi.org/10.1007/BFb0014014

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58451-3

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation