German National Research Center for Information Technology

2 The " Arbeitspapiere der GMD – GMD Technical Reports " primarily comprise preliminary publications, specific partial results and complementary material. In the interest of a subsequent final publication the " Arbeitspapiere/Technical Reports " should not be copied. Critical comments would be appreciated by the authors. No part of this publication may be reproduced or further processed in any form or by any means without the prior permission of GMD. All rights reserved. Abstract Efficient evaluation strategies for declarative update queries have rarely been investigated. Due to possible dependencies between the resulting database state and the order in which records/ob-jects are processed, usually update queries are evaluated in a set-oriented way in order to ensure a deterministic evaluation. In this paper, we show that such dependencies can be detected by exploiting knowledge about conflicts between the operations that are used to access the database during the query evaluation. Thus most update queries can also be evaluated deterministically, and in some cases more efficiently, in a record-oriented way. We show that some of the detected conflicts can be relaxed or even be ignored, while a deterministic evaluation can still be guaranteed .

[1]  Michael Stonebraker,et al.  The design and implementation of INGRES , 1976, TODS.

[2]  Michael Stonebraker,et al.  Operating system support for database management , 1981, CACM.

[3]  Matthias Jarke,et al.  Query Optimization in Database Systems , 1984, CSUR.

[4]  Johann-Christoph Freytag Translating Relational Queries into Iterative Programs , 1987, Lecture Notes in Computer Science.

[5]  Michael Stonebraker,et al.  The POSTGRES Data Model , 1987, Research Foundations in Object-Oriented and Semantic Database Systems.

[6]  Nick Roussopoulos,et al.  Operational Specification of Update Dependencies. , 1987 .

[7]  William E. Weihl Commutativity-based concurrency control for abstract data types , 1988 .

[8]  Peter M. G. Apers,et al.  Parallel Query Execution in PRISMA/DB , 1990, PRISMA Workshop.

[9]  Sophie Cluet,et al.  RELOOP, an Algebra Based Query Language for an Object-Oriented Database System , 1990, Data Knowl. Eng..

[10]  Hamid Pirahesh,et al.  Parallelism in relational data base systems: architectural issues and design approaches , 1990, DPDS '90.

[11]  Andreas Heuer,et al.  Principles of Object-Oriented Query Languages , 1991, BTW.

[12]  Markus Tresch,et al.  Updatable Views in Object-Oriented Databases , 1991, DOOD.

[13]  William E. Weihl The Impact of Recovery on Concurrency Control , 1993, J. Comput. Syst. Sci..

[14]  Goetz Graefe,et al.  The Volcano optimizer generator: extensibility and efficient search , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[15]  Goetz Graefe,et al.  Query evaluation techniques for large databases , 1993, CSUR.

[16]  Gerhard Weikum,et al.  Semantic concurrency control in object-oriented database systems , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[17]  Jan Van den Bussche,et al.  Using SQL with object-oriented databases , 1993, Inf. Syst..

[18]  Marc H. Scholl,et al.  Deterministic semantics of set-oriented update sequences , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[19]  Karl Aberer,et al.  Semantic query optimization for methods in object-oriented database systems , 1995, Proceedings of the Eleventh International Conference on Data Engineering.

[20]  Marc Andries,et al.  Applying an update method to a set of receivers (extended abstract) , 1995, PODS '95.