East/West Database Workshop: Proceedings of the Second International East/West Database Workshop, Klagenfurt, Austria, 25–28 September 1994 PDF
Preview East/West Database Workshop: Proceedings of the Second International East/West Database Workshop, Klagenfurt, Austria, 25–28 September 1994
WORKSHOPS IN COMPUTING Series edited by C. J. van Rijsbergen Also in this series Algebraic Methodology and Software Z User Workshop, Cambridge 1994 Technology (AMAST'93) Proceedings of the Eighth Z User Meeting. Proceedings of the Third International Cambridge. 29-30 June 1994 Conference on Algebraic Methodology and J.P. Bowen and J.A. Hall (Eds) Software Technology. University of Twente. Enschede. The Netherlands. 21-25 June 1993 6th Refinement Workshop M. Nivat. C. Rattray. T. Rus and G. Scollo (Eds) Proceedings of the 6th Refinement Workshop. organised by BCS-FACS. London. Logic Program Synthesis and Transformation 5-7 January 1994 Proceedings of LOPSTR 93. International David Till (Ed.) Workshop on Logic Program Synthesis and Transformation. Louvain-Ia-Neuve. Belgium. Incompleteness and Uncertainty in Information 7-9 July 1993 Systems Yves Deville (Ed.) Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Database Programming Languages (DBPL-4) Systems. Concordia University. Montreal. Proceedings of the Fourth International Canada. 8-9 October 1993 Workshop on Database Programming Languages V.S. Alagar. S. Bergler and F.Q. Dong (Eds) - Object Models and Languages. Manhattan. New York City. USA, 30 AUgust-1 September 1993 Rough Sets, Fuzzy Sets and Catriel Beeri. Atsushi Ohori and Knowledge Discovery Dennis E. Shasha (Eds) Proceedings of the International Workshop on Rough Sets and Knowledge Discovery Music Education: An Artificial Intelligence (RSKD·93). Banff. Alberta. Canada. Approach, Proceedings of a Workshop held as 12-15 October 1993 part of AI-ED 93. World Conference on Artificial Wojciech P. Ziarko (Ed.) Intelligence in Education. Edinburgh. Scotland. 25 August 1993 Algebra of Communicating Processes Matt Smith. Alan Smaill and Proceeedings of ACP94. the First Workshop on Geraint A. Wiggins (Eds) the Algebra of Communicating Processes. Utrecht. The Netherlands. Rules in Database Systems 16-17 May 1994 Proceedings of the 1st International Workshop A. Ponse. C. Verhoef and on Rules in Database Systems. Edinburgh. S.F.M. van Vlijmen (Eds) Scotland. 30 AUgust-1 September 1993 Norman W. Paton and Interfaces to Database Systems (IDS94) M. Howard Williams (Eds) Proceedings of the Second International Workshop on Interfaces to Database Systems. Semantics of Specification Languages (SoSL) Lancaster University. 13-15 July 1994 Proceedings of the International Workshop on Pete Sawyer (Ed.) Semantics of Specification Languages. Utrecht. The Netherlands. 25-27 October 1993 Persistent Object Systems D.J. Andrews. J.F. Groote and Proceedings of the Sixth International Workshop C.A. Middelburg (Eds) on Persistent Object Systems. Tarascon. Provence. France. 5-9 September 1994 Security for Object-Oriented Systems Malcolm Atkinson. David Maier and Proceedings of the OOPSLA-93 Conference Vl!ronique Benzaken (Eds) Workshop on Security for Object-Oriented Systems. Washington DC. USA. Functional Progranlming, Glasgow 1994 26 September 1993 Proceedings of the 1994 Glasgow Workshop on B. Thuraisingham. R. Sandhu and Functional Programming. Ayr. Scotland. T.C. Ting (Eds) 12-14 September 1994 Kevin Hammond. David N. Turner and Functional Programming, Glasgow 1993 Patrick M. Sansom (Eds) Proceedings of the 1993 Glasgow Workshop on Functional Programming. Ayr. Scotland. 5-7 July 1993 John T. O'Donnell and Kevin Hammond (Eds) continued on badp age. .. J. Eder and L.A. Kalinichenko (Eds) East/West Database Workshop Proceedings of the Second International East/West Database Workshop, Klagenfurt, Austria, 25-28 September 1994 Springer JohannEder Institut fUr lnformatik, Universităt Klagenfurt, Universitătsstrasse 65, A-902.0 Klagenfurt, Austria Leonid A. Kalinichenko Institute for Problems of Informati es, Russian Academy of Sciences, Vavilov Street, 30/6 117900, Moscow, V -334 Russian Federation British Library Cataloguing in Publication Data EasUWest Database Workshop: Proceedings ofthe Second International East/West Database Worksbop, Klagenfurt, Austria, 25-28 September 1994--(Worksbops in Computing Series) 1. Eder, Johann II. Kalinichenko, Leonid A. III. Series 005.74 ISBN 978-3-540-19946-s ISBN 978-1-4471-3577-7 (eBook) DOI 10.1007/978-1-4471-3577-7 Library of Congress Cataloging-in-Publication Data International East/West Database Workshop (2nd: 1994: Klagenfurt, Austria) EasUWest Database Worksbop: Proceedings ofthe Second International East/West Database Worksbop, Klagenfurt, Austria, 25-28 September 1994/ J. Eder and L.A. Kalinichenko (eds.). p. cm.-(Workshops in computing) "Published in collaboration with the British Computer Society." Includes bibliographical references and index. ISBN 978-3-54o-19!}46-5 1. Database management-Congresses. 1. Eder, J. (Johann), 1958- 11. Kalinichenko, L.A. (Leonid Andreevicb) III. British Computer Society. IV. Title. V. Series. QA76.9.D3I5596 1994 94-49417 005.74-dClO CIP Apart from any fair dealing for the purposes of research 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 of the publishers, or in the case of reprographic reproduction in accordance with the terms oflicences issued by the Copyright Licensing Agency. Enquiries concerning reproduction outside those terms sbould be sent to the publishers. ©Springcr-Vcrlag Berlin Hcidclbcrg 1995 Originally published by Springer-Verlag Berlin Heidelberg New York in 1995 Tbe use of registered names, trademarks etc. in this publication does not imply, even in the absence of a specific statement, that sucb names are exempt from the relevant laws and regulations and therefore free for general use. Tbe publisher makes no representation, express or implied, with regard to the accuracy of the in formation 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 34/3830-543210 Printed on acid-free paper Preface This volume results from the four-day scientific Second International East/West Database Workshop which took place 25th-28th September 1994, in Klagenfurt, Austria, continuing a series of workshops started in Kiev in 1990 (Lecture Notes in Computer Science No. 504, Springer, "Next Generation Information System Technology"). The aims of this workshop are twofold: first, to provide a forum for the presentation and in-depth discussion of scientific achievements in the field of advanced databases that will effectively improve the building and use of future information systems; second, to establish and increase communication between research communities which were formerly separated and, therefore, had only rare opportunities to interact. It should establish contacts between researchers from the East and from the West to make exchange of ideas possible and to trigger collaborations. However, it is not only political borders which change their perviousness as a result of - or giving rise to - new autonomies or new possibilities for interaction and collaboration. The same happens with the borders between scientific areas, in particular in the dynamically evolving areas of computer science. Databases and programming languages are integrated in object oriented databases, database and information retrieval technology form together the basis for modern (multimedia) information systems. Furthermore, the borders between different information systems change and allow various forms of collaboration while maintaining different degrees of autonomy. Heterogeneous and distributed databases are enabling technologies for these systems. So the main theme of this workshop is to question borders and to overcome restrictions posed by political, traditional, organizational, scientific, or technical borders to extend information systems technically and to extend the information systems of scientists geographically. The technical contributions to this workshop present scientific achievements in areas of database research that will greatly influence future information systems. Special attention is given to the following list of topics. - rules in databases - special aspects like query optimization and security - theoretical issues vi Preface - databases languages and specification languages - information engineering, integrating information retrieval and databases - data models and database standards - design of databases and information systems - heterogeneous and distributed information systems - applications and interfaces The workshop was sponsored by the following institutions: Department of Computer Science, University of Klagenfurt, Austria, Austrian Computer Society, Austrian Federal Ministry for Science and Research, Esprit Network of Excellence IDOMENEUS, Foundation for Extending Database Technology (EDBT), Rome, Italy, Association for International Scientific and Technical Communication and Cooperation (ASSISTANCE), Vienna, Austria, Friends of the Department of Computer Science, Klagenfurt, Austria. Without their support, the organization of this workshop would not have been possible. We express our warmest thanks to Joachim Schmidt, University of Hamburg, the "Good Spirit" behind this workshop series, for his encouragement, his advice and his great support. Our special thanks are due to Anneliese Michael, University of Klagenfurt, for her tremendous support in all organizational issues of this workshop. The workshop participants were most appreciative of the support provided by the organization team (Michael Dobrovnik, Heinz Frank, Alex Krumpholz, and Walter Liebhart) of the Department of Computer Science, University ofK1agenfurt. We gratefully acknowledge the support of Rosie Kemp, Springer-Verlag London, for her support in preparing these proceedings. Finally, on behalf of all the workshop participants we would like to express our sincere thanks to everybody who helped make this second "East/West Workshop" in the area of databases a success. Johann Eder, Klagenfurt, Austria Leonid A. Kalinichenko, Moscow, Russia Contents Rules in Databases Chimera: A Model and Language for Active DOOD Systems S. Ceri and R. Manthey................................................................................ 3 Updates by Reasoning About States G. Lausen and B. Ludascher ..................................................................... 17 Theoretical Issues On the Theory of Relational Data Bases with Incomplete Information M.Sh. Tsalenko ............................................................................................ 33 Constraint Satisfiability in Object-Oriented Databases A. Formica, M. Missikoff and R. Terenzi.............................................. 48 Objects Within a Conceptual Shell V.E. Wolfengagen ....................................................................................... 61 Special Aspects Comparison of Clustering Algorithms in a Single User Environment Through 007 Benchmark K. Koc, A. Dogac and C. Evrendilek ........................................................ 77 Security as an Add-On Quality in Persistent Object Systems A. Rudloff, F. Matthes and J. W. Schmidt .............................................. 90 Optimization of Object-Oriented Queries by Inverse Methods J. Eder, H. Frank and W. Liebhart ........................................................ 109 Database Languages F-Bounded Polymorphism for Database Programming Languages S. Alagit ...................................................................................................... 125 OODBMS's Query and Programming Languages: What Do They Provide and What Do We Need S.D. Kuznetsov ........................................................................................... 138 A Meta-Language for Specification of Evolving Class and Object Lattices in OODB H.-M. Haav ................................................................................................ 147 viii Contents A Stack-Based Approach to Query Languages K. Subieta, C. Beeri, F. Matthes and J. W. Schmidt ............................. 159 Information Engineering Identifying Internet-Related Database Research P.M.G. Apers .............................................................................................. 183 Integrating Text and Database Systems: Possibilities and Challenges W.B. Croft................................................................................................... 194 Logical and Conceptual Models for the Integration of Information Retrieval and Database Systems N. Fuhr ....................................................................................................... 206 Models Composition Models of Databases 1.A. Basarab, B. V. Gubsky, N.S. Nikitchenko and V.N. Red'ko ........ 221 Could the OODB Standards be Better if More Grounded? 1. Chaban, L. Kalinichenko and V. Zadorozhny................................. 232 Version Support for CAD/CASE Databases W. Wieczerzycki and J. Rykowski ......................................................... 249 Design A General Framework for Database Design Strategies B. Thalheim ............................................................................................... 263 Towards Foundations of Database Schema Independent Modelling of Concepts R. Gustas ..................................................................................................... 275 Inheritance of Object Behavior - Consistent Extension of Object Life Cycles G. Kappel and M. Schrefl........................................................................ 289 Specification Visual Specification of Complex Database Actions G. Engels and P. Lohr ............................................................................ 303 The Database Specification Language Ruslan: Main Features A. V. Zamulin ............................................................................................. 315 Heterogeneous and Distributed Systems Structural and Behavioral Abstractions of the Multiactivities Intended for Their Concretizations by the Pre-Existing Behaviors L. Kalinichenko ......................................................................................... 331 Contents ix Management and Translation of Heterogeneous Database Schemes P. Atzeni and R. Torlone ........................................................................ 346 Federated Schemata in ODMG R. Busse, P. Fankhauser and E.]. Neuhold........................................... 356 ADDS Transaction Management System Y. Breitbart ................................................................................................ 380 Persistent Object Systems and Interoperability: Linguistic and Architectural Requirements K. Subieta................................................................................................... 394 Applications and Interfaces CSCW - Paradigm of Modern Applied Informatics and Problem of East-West Relationships S.S. Azarov and A.A. Stogny ................................................................... 411 Model Based User Interface Constructor with Consistency Checking Z. Kouba, ]. Lazanskj, VI. MaTlk, O. Stepankova and T. VLCek ...................................................................................................... 426 Author Index .......................................................................................... 437
The list of books you might like
