Active and Real-Time Database Systems (ARTDB-95): Proceedings of the First International Workshop on Active and Real-Time Database Systems, Skövde, Sweden, 9–11 June 1995 PDF
Preview Active and Real-Time Database Systems (ARTDB-95): Proceedings of the First International Workshop on Active and Real-Time Database Systems, Skövde, Sweden, 9–11 June 1995
WORKSHOPS IN COMPUTING Series edited by C. J. van Rijsbergen Springer London Berlin Heidelberg New York Barcelona Budapest Hong Kong Milan Paris Santa Clara Singapore Tokyo Also in this series Functional Programming. Glasgow 1993 Functional Programming. Glasgow 1994 Proceedings of the 1993 Glasgow Workshop on Proceedings of the 1994-Glasgow Workshop on Functional Programming. Ayr. Scotland, Functional Programming, Ayr, Scotland, 5-7 July 1993 12-14 September 1994 John T. O'Donnell and Kevin Hammond (Eds) Kevin Hammond, David N. Turner and Patrick M. Sansom (Eds) Z User Workshop, Cambridge 1994 Proceedings of the Eighth Z User Meeting, EastIWe st Database Workshop Cambridge, 29-30 June 1994 Proceedings of the Second International J.P. Bowen and J.A. Hall (Eds) East/West Database Workshop, Klagenfurt, Austria, 6th Refmement Workshop 25-28 September 1994 Proceedings of the 6th Refinement Workshop, J. Eder and L.A. Kalinichenko (Eds) organised by BCS-FACS, London, 5-7 January 1994 Asynchronous Digital Circuit Design David Till (Ed.) G. Birtwistle and A. Davis (Eds) Incompleteness and Uncertainty in Information Neural Computation and Psychology Systems Proceedings of the 3rd Neural Computation and Proceedings of the SOFTEKS Workshop on Psychology Workshop (NCPW3), Incompleteness and Uncertainty in Information Stirling, Scotland, Systems, Concordia University, Montreal, 31 August - 2 September 1994 Canada, 8-9 October 1993 Leslie S. Smith and Peter J.B. Hancock (Eds) V.S. Alagar, S. Bergier and F.Q. Dong (Eds) Image Processing for Broadcast and Video Rough Sets, Fuzzy Sets and Production Knowledge Discovery Proceedings of the European Workshop on Proceedings of the International Workshop on Combined Real and Synthetic Image Processing Rough Sets and Knowledge Discovery for Broadcast and Video Production, (RSKD'93), Banff, Alberta, Canada, Hamburg, 23-24 November 1994 12-15 October 1993 Yakup Paker and Sylvia Wilbur (Eds) Wojciech P. Ziarko (Ed.) Recent Advances in Temporal Databases Algebra of Communicating Processes Proceedings of the International Workshop on Proceeedings of ACP94, the First Workshop on Temporal Databases, Zurich, Switzerland, the Algebra of Communicating Processes, 17-18 September 1995 Utrecht, The Netherlands, James Clifford and Alexander Tuzhilin (Eds) 16-17 May 1994 A. Ponse, C. Verhoef and Structures in Concurrency Theory S.F.M. van V1ijmen (Eds) Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Interfaces to Database Systems (lDS94) Berlin, 11-13 May 1995 Proceedings of the Second International JOrg Desel (Ed.) Workshop on Interfaces to Database Systems, Lancaster University, 13-15 July 1994 Active and Real-Time Database Systems Pete Sawyer (Ed.) (ARTDB-9S) Proceedings of the First International Workshop Persistent Object Systems on Active and Real-Time Database Systems, Proceedings of the Sixth International Workshop SkOvde, Sweden, 9-11 June 1995 on Persistent Object Systems, Mikael Berndtsson and JOrgen Hansson (Eds) Tarascon, Provence, France, 5-9 September 1994 Malcolm Atkinson, David Maier and Recent Advances in Temporal Databases V4 !ronique Benzaken (Eds) Proceedings of the International Workshop on Temporal Databases, Zurich, Switzerland, 17-18 September 1995 James Clifford and Alexander Tuzhilin (Eds) continued on back page ... Mikael Berndtsson and Jorgen Hansson (Eds) Active and Real-Time Database Systems (ARTDB-95) Proceedings of the First International Workshop on Active and Real-Time Database Systems, Skovde, Sweden, 9-11 June 1995 In Cooperation with ACM - The First Society in Computing Published in collaboration with the British Computer Society , Springer Mikael Bemdtsson, MSc Jargen Hansson, MSc Department of Computer Science, University of Skovde, PO Box 408, S-541 28 Skovde, Sweden ISBN-13: 978-3-540-19983-0 e-ISBN-13: 978-1-4471-3080-2 001: 10.1007/978-1-4471-3080-2 British Library Cataloguing In Publication Data A catalogue record for this book is available from the British Library Library of Congress Cataloging-In-Publication Data International Workshop on Active and Real-Time Database Systems (1st: 1995: Sk6vde, Sweden) Active and real-time database systems (ARTDB-95) : proceedings of the First International Workshop on Active and Real-Time Database Systems: Sk6vde, Sweden, 9- 11 June 1995/ Mikael Bemdtsson and J6rgen Hansson. p. em. -(Workshops In computing) Includes bibliographical references. (pbk: aIk. paper) 1. Real-time data processing-Congresses. 2. Database management Congresses. I. Berndtsson, Mikael, 1967- • II. Hansson, J6rgen,1970- m British Computing Society. IV. Title. V. Series. QA76.54.I67 1995 95-37136 005.74-dc20 CIP Apart from anyfair dealing forthepurposes ofr esearch or private study, or criticism or review, as permitted under the Copyright, Designs and Patents Act 1988, this publication may only be reproduced, stored or transmitted. In any form. or by any means, with the prior permission In writing oft he publishers, or In the case of reprographic reproduction In accordance with the terms oflicencesissuedbythe Copyright Licensing Agency. Enquiriesconcemingreproduction outside those terms should be sent to the publishers. o British Computer Society 1996 Softcover reprint of the hardcover 1st edition 1996 The use of registered names, trademarks etc. In this publication does not imply, even In the absence of a specific statement, that such names are exempt from the relevant laws and regn1ations and therefore free for general use. The publisher makes no representation, express or implied, with regard to the accuracy oft he information contained In this book and cannot accept any legal responsibility or liability for any errors or omissions that may be made. Typesetting: Camera ready by contributors Printed by the AthelllleUDl Press Ltd., Gateshead 3413830-543210 Printed on acid-free paper Preface This book contains a collection of papers presented at the First International Workshop on Active and Real-Time Database Systems (ARTDB-95) held at the University of Skovde in June 1995. The areas of active and real-time databases have seen tremendous growth of interest in the last few years. Active functionality, rule based execution and real-time capability are all crucial aspects for the support of time-critical and embedded applications. A number of open issues need to be resolved in order to allow the combination of active and real time capabilities. ARTDB-95 therefore served as an important forum for these two research communities to identify and share research results as well as chart new directions. This volume opens with four invited papers. In the first of these, Dayal examines the current state of research on active database systems and their impact on commercial practice. Uirbat and Simon focus on how to optimize active database transac-tions. Stoyenko and Marlowe address a need for better language, compiler and tool support for real time databases. Ramamritham debates the origin of time constraints associated with data, events and actions. The volume continues with the papers that were accepted to ARTDB-95. In total, 22 papers were submitted and 11 papers were accepted. The papers appear in the same order as they were presented. The volume is concluded by two short summaries; the moderated session and closing session. In the former Son focuses on system issues in supporting active real-time databases. The latter contains the notes from the closing session which was chaired by Buchmann. The success of ARTDB-95 is a result of the help we received from several people and organizations: we are indebted to the program chairs, Professor Sharma Chakravarthy and Professor Sten Andler, for their management of the review process. Weare also indebted to the program committee which evaluated the 22 papers submitted to the workshop. At this stage we would also like to thank all authors who submitted papers to the workshop. Our special thanks go to Stig Emanuelsson (Head ofC omputer Science Department), Lars-Erik Johansson (Vice-chancellor) and Brian Lings (University ofE xeter) for their continuous support throughout the whole project. vi Preface Further, we would also like to thank Lars Niklasson and Mikael Boden, both at the University ofSkovde, for their helpful advice regarding the organization of the workshop. Special thanks are also due to our secretary, Marie Boden. Finally, we are also very grateful for the support from the following organizations: Volvo Car Corp. (Skovde), Volvo Truck Corp. (Skovde), Skovde City Council, ACT -NET, ACM - The First Society in Computing, and the University of Skovde. In conclusion, the papers in this collection represent an overview of the research carried out in the areas ofb oth active and real-time databases. We hope that ARTDB-95 can be viewed as a seminal workshop on combining active and real-time capabilities, which will inspire future research. Furthermore, we encourage the reader to carefully consider the suggestions for future work as described in the invited papers, accepted papers, and the short summaries. June 1995 Mikael Berndtsson Jo rgen Hansson First International Workshop on Active and Real-Time Database Systems (ARTDB-95) General Chairs: Mikael Berndtsson, University of Skovde, Sweden Jorgen Hansson, University ofSkovde, Sweden Program Chairs: Sharma Chakravarthy, University of Florida, USA Sten Andler, University ofSkovde, Sweden Program Committee: B. Asker, NUTEK, Sweden A.P. Buchmann, TU Darmstadt, Germany U. Dayal, HP Laboratories, USA O. Diaz, University of the Basque Country, Spain K.R. Dittrich, University of Zurich, Switzerland N. Gehani, AT&T Bell Laboratories, USA W. Halang, Fernuniversitat, Germany H.W. Lawson, Lawson Publishing and Consulting Inc., Sweden B. Lings, University of Exeter, UK M. Livny, University of Wisconsin, USA K. Ramamritham, University of Massachusetts at Amherst, USA T. Risch, University of Linkoping, Sweden K. Schwan, Georgia Institute of Technology, USA T. Sellis, National Technical University of Athens, Greece S.H. Son, University of Virginia, USA J.A. Stankovic, University of Massachusetts at Amherst, USA P. Verissimo, INESC, Portugal A.D. Stoyenko, New Jersey Institute of Technology, USA Contents Invited Talks Ten Years of Activity in Active Database Systems: What Have We Accomplished? U. Dayal......................................................................................................... 3 Optimizing Active Database Transactions: A New Perspective F. Llirbat and E. Simon ............................................................................. 23 A Case for Better Language and Compiler Support for Real-Time Database Systems A.D. Stoyenko and T.J. Marlowe ............................................................. 46 The Origin of TCs K. Ramamritham ....................................................................................... 50 Paper Presentations Time Issues in Advanced Workflow Management Applications of Active Databases H. Jasper, O. ZukunJt and H. Behrends.................................................. 65 Optimization of Active Rules with Parallelism C. Collet and J. Machado .......................................................................... 82 Object Oriented Real-Time Database Design and Hierarchical Control Systems M.L.B. Perkusich, A. Perkusich and U. Schiel..................................... 104 Temporal Conditions with Retroactive and Proactive Updates M. Deng, A.P. Sistla and O. Wolfson .................................................... 122 Issues in Active Real-Time Databases M. Berndtsson andJ. Hansson............................................................... 142 On Providing Soft and Hard Real-Time Capabilities in an Active DBMS H. Branding and A.P. Buchmann ......................................................... 158 An Algorithm for the Analysis of Termination of Large Trigger Sets in an OODBMS T. Weik and A. Heuer............................................................................... 170 x Contents A Uniform Model to Express the Behaviour of Rules with Different Semantics S. Comai, P. Fraternali, G. Psaila and L. Tanca ................................ 190 An Efficient Real-Time Optimistic Concurrency Control Protocol K.-W. Lam, K.-Y. Lam and S.-L. Hung................................................. 209 Data Placement, Logging and Recovery in Real-Time Active Databases R.M. Sivasankaran, K. Ramamritham, I.A. Stankovic and D. Towsley ................................................................................... ;..... 226 An Evaluation of Network Access Protocols for Distributed Real-Time Database Systems O. Ulusoy .............................................................................................. _.... 242 Moderated Session and Closing Session System Issues in Supporting Active Real-Time Databases S.H. Son ...................................................................................................... 261 Wrap-Up Statement A.P. Buchmann ......................................................................................... 264 Author Index ......................................................................................... 267 Invited Talks
The list of books you might like
