Skip to main content

Specifying a Database System to Itself

  • Conference paper
  • 34 Accesses

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

Abstract

Query processors have long been monolithic pieces of software that resist extension. Query capabilities are needed in many applications of persistent object bases, but object models and storage managers are evolving so rapidly that matching a monolithic query processor to each of them is infeasible. The EREQ project seeks to structure object query processors into well-defined software components that can be independently modified, extended and exchanged. This paper sets forth our initial ideas on what the major components will be and how we will specify the interfaces to each.

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

Buying options

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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Zdonik, SB and Mitchell, G. ENCORE: An object-oriented approach to database modeling and querying. Data Engineering 14 (2), June 1991.

    Google Scholar 

  2. Daniels, S, Graefe, G, Keller, T, et al. Query optimization in Revelation, an overview. Data Engineering 14 (2), June 1991.

    Google Scholar 

  3. Vandenberg, SL and DeWitt, DJ. Algebraic query processing in EXTRA/ EXCESS. Data Engineering 14 (2), June 1991.

    Google Scholar 

  4. Elmasri, R and Navathe, SB. Fundamentals of Database Systems, Benjamin/ Cummings, 1989.

    Google Scholar 

  5. Maier, D. The Theory of Relational Databases, Computer Science Press, 1983.

    Google Scholar 

  6. Ullman, JD. Principles of Database and Knowledge-Base Systems, volume 1. Computer Science Press, 1988.

    Google Scholar 

  7. Buneman, OP. Data types for database programming. Proc. of the Appin Conf. on Data Types and Persistence: 295–308, Dept. of Computing Science report PPRR 16, Univ. of Glasgow, August 1985.

    Google Scholar 

  8. Beeri, C and Kornatsky, Y. Algebraic optimization of object-oriented query languages. Proc. Third Intl. Conf. on Database Theory:72–88, Springer-Verlag LNCS 470, Paris, December 1990.

    Google Scholar 

  9. Osborn, SL. Identity, equality and query optimization. Advances in Object-Oriented Database Systems:346–351, Springer-Verlag LNCS 334, October 1988.

    Google Scholar 

  10. Vance, B. Toward an object-oriented query algebra. Computer Science & Engineering report 91–08, Oregon Graduate Inst., May 1991.

    Google Scholar 

  11. Vandenberg, SL and DeWitt, DJ. Algebraic support for complex objects with arrays, identity and inheritance. Proc. 1991 ACM SIGMOD Intl. Conf on Management of Data:158–167, Denver, May 1991.

    Google Scholar 

  12. Lieuwen, DF and DeWitt, DJ. Optimizing loops in database programming languages. To appear, Proc. of the Third Intl. Workshop on Database Programming Languages, Morgan Kaufmann, 1991.

    Google Scholar 

  13. Shaw, GM and Zdonik, SB. Object-oriented queries: Equivalence and optimization. In Deductive and Object-Oriented Databases:264–278, Elsevier Science Publishers, 1990.

    Google Scholar 

  14. Straube, DD and Özsu, MT. Queries and query processing in object-oriented database systems. ACM Trans. on Information Systems 8 (4): 387–430, October 1990.

    Article  Google Scholar 

  15. Mitchell, G, Zdonik, SB and Dayal, U. An architecture for query processing in persistent object stores. Dept. of Computer Science report 91–38, Brown Univ., June 1991.

    Google Scholar 

  16. Winograd, T. Language as a Cognitive Process, volume 1: Syntax, Addison-Wesley, 1983.

    Google Scholar 

  17. Wegner, P and Zdonik, SB. Models of Inheritance. In Database Programming Languages: Proceedings of the Second Intl. Workshop, Morgan Kaufmann, 1989.

    Google Scholar 

  18. Trinder, P. Comprehensions, a query notation for DBPLs. To appear, Proc. of the Third Intl. Workshop on Database Programming Languages, Morgan Kaufmann, 1991.

    Google Scholar 

  19. Wadler, PL. Comprehending monads. Proc. ACM Conf. on Lisp and Functional Programming:61–78, Nice, France, June 1990.

    Google Scholar 

  20. Abramsky, S and Hankin, C (eds.). Abstract Interpretation of Declarative Languages, Ellis Horwood, 1987.

    Google Scholar 

  21. Mycroft, A. Abstract Interpretation and Optimizing Transformations for Applicative Programs, PhD Thesis, Univ. of Edinburgh, 1981.

    Google Scholar 

  22. Snodgrass, R. The Interface Description Language: Definition and Use, Computer Science Press, 1989.

    Google Scholar 

  23. Thatte, SM. A modular and open object-oriented database system. SIGMOD Record 20 (1): 47–52, March 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag London

About this paper

Cite this paper

Maier, D. (1992). Specifying a Database System to Itself. 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_9

Download citation

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

  • 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