Specifying a Database System to Itself

  • David Maier
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)


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.


Query Processing Relational Algebra Abstract Interpretation Query Optimization Query Plan 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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. [2]
    Daniels, S, Graefe, G, Keller, T, et al. Query optimization in Revelation, an overview. Data Engineering 14 (2), June 1991.Google Scholar
  3. [3]
    Vandenberg, SL and DeWitt, DJ. Algebraic query processing in EXTRA/ EXCESS. Data Engineering 14 (2), June 1991.Google Scholar
  4. [4]
    Elmasri, R and Navathe, SB. Fundamentals of Database Systems, Benjamin/ Cummings, 1989.Google Scholar
  5. [5]
    Maier, D. The Theory of Relational Databases, Computer Science Press, 1983.Google Scholar
  6. [6]
    Ullman, JD. Principles of Database and Knowledge-Base Systems, volume 1. Computer Science Press, 1988.Google Scholar
  7. [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. [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. [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. [10]
    Vance, B. Toward an object-oriented query algebra. Computer Science & Engineering report 91–08, Oregon Graduate Inst., May 1991.Google Scholar
  11. [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. [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. [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. [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.CrossRefGoogle Scholar
  15. [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. [16]
    Winograd, T. Language as a Cognitive Process, volume 1: Syntax, Addison-Wesley, 1983.Google Scholar
  17. [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. [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. [19]
    Wadler, PL. Comprehending monads. Proc. ACM Conf. on Lisp and Functional Programming:61–78, Nice, France, June 1990.Google Scholar
  20. [20]
    Abramsky, S and Hankin, C (eds.). Abstract Interpretation of Declarative Languages, Ellis Horwood, 1987.Google Scholar
  21. [21]
    Mycroft, A. Abstract Interpretation and Optimizing Transformations for Applicative Programs, PhD Thesis, Univ. of Edinburgh, 1981.Google Scholar
  22. [22]
    Snodgrass, R. The Interface Description Language: Definition and Use, Computer Science Press, 1989.Google Scholar
  23. [23]
    Thatte, SM. A modular and open object-oriented database system. SIGMOD Record 20 (1): 47–52, March 1991.Google Scholar

Copyright information

© Springer-Verlag London 1992

Authors and Affiliations

  • David Maier
    • 1
  1. 1.Dept. of Computer Science & EngineeringOregon Graduate InstituteBeavertonUSA

Personalised recommendations