Table Of ContentWORKSHOPS 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. Sans om (Eds)
Z User Workshop, Cambridge 1994
Proceedings of the Eighth Z User Meeting, East/West Database Workshop
Cambridge, 29-30 June 1994 Proceedings of the Second International
J.P. Bowen and J.A. Hall (Eds) EastlWest Database Workshop,
Klagenfurt, Austria,
6th Refinement 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. Bergler 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 WiIbur (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, Ja mes Clifford and Alexander Tuzhilin (Eds)
16-17 May 1994
A. Ponse, C. Verhoef and Structures in Concurrency Theory
S.F.M. van Vlijmen (Eds) Proceedings of the International Workshop on
Structures in Concurrency Theory (STRICT),
Interfaces to Database Systems (IDS94) Berlin, 11-13 May 1995
Proceedings of the Second International Jo rg Desel (Ed.)
Workshop on Interfaces to Database Systems,
Lancaster University, 13-15 July 1994 Active and Real-Time Database Systems
Pete Sawyer (Ed.) (ARTDB-95)
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
Veronique 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 ...
Johann Eder and Leonid A. Kalinichenko (Eds)
Advances in Databases and
Information Systems
Proceedings of the Second International
Workshop on Advances in Databases
and Information Systems (ADBIS'95),
Moscow, 27-30 June 1995
Published in collaboration with the
British Computer Society
, Springer
Johann Eder, Dr. Prof
Institut fUr Informatik, Universitat Klagenfurt, UniversitatsstraBe 65,
A-9020 Klagenfurt, Austria
Leonid A. Kalinichenko, Dr. of Sci., Prof.
Institute for Problems of Informatics, Russian Academy of Sciences,
Vavilov Street, 30/6,117900, V-334, Moscow, Russian Federation
ISBN-13: 978-3-540-76014-6 e-ISBN-13: 978-1-4471-1486-4
DOl: 10.1007/978-1-4471-1486-4
British Library Cataloguing in Publication Data
Advances in Databases and Information Systems: Proceedings of the Second International
Workshop on Advances in Databases and Information Systems (ADBIS'95), Moscow,
27-30 June 1995. - (Workshops in Computing)
I. Eder, Johann 11. Kalinichenko, Leonid A. Ill. Series
005.74
Library of Congress Cataloging-in-Publication Data
International Workshop on Advances in Databases and Information Systems
(2nd: 1995: Moscow, Russia)
Advances in databases and information systems: proceedings of the Second
International Workshop on Advances in Databases and Information Systems (ADBIS '95),
Moscow, 27-30 June 1995/ Johann Eder and Leonid A. Kalinichenko (eds.).
p. cm. - (Workshops in Computing)
"Published in collaboration with the British Computer Society."
Includes bibliographical references and index.
1. Database management-Congresses. 2. System design-Congresses.
I. Eder, J. (Johann), 1958- . 11. Kalinichenko, L.A. (Leonid A.)
Ill. British Computer Society. IV. Title. V. Series.
QA76.9.D3I58371995 95-25744
005.74-dc20 CIP
Apart from any fair dealing for the purposes 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 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 should be sent to the publishers.
© British Computer Society 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
regulations and therefore free for general use.
The publisher makes no representation, express or implied, with regard to the accuracy of the
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 Athenaeum Press Ltd., Gateshead
34/3830-543210 Printed on acid-free paper
Preface
This volume results from the regular sessions of the Second International
Workshop of the Moscow ACM SIGMOD Chapter "Advances in Databases
and Information Systems" (ADBIS'95) that took place 27th-30th June
1995, in Moscow, Russia. ADBIS'95 continues a series of annual Workshops
on Advances in Databases and Information Systems organized by the
Moscow ACM SIGMOD Chapter in cooperation with the Russian Founda
tion for Basic Research. Past successful ADBIS conferences include the
ADBIS'93 and ADBIS'94 Workshops that took place in Moscow.
The aims of these workshops are to provide a forum for the presentation
and in-depth discussion of advanced research directions that will effectively
improve the building and use off uture information systems and to increase
communication between the Eastern and Western research communities
which were formerly separated and still have only rare possibilities to
interact. Improving of the contacts and exchange of ideas between
researchers from the East and from the West will eventually lead to better
collaboration between them.
The ADBIS'95 Call for Submissions attracted 60 submissions from 15
countries of which 35 submissions were accepted for presentation at the
regular sessions, 9 as posters, and 7 as presentations for a special session
for the Information Systems for Science. This volume contains the papers
presented in the regular sessions.
The technical contributions to this workshop present scientific
developments in areas of database research that will significantly influence
future information systems. Special attention is given to the following
topics:
- information systems modeling and design
- transaction management
- queries and optimization
- data model mapping
- logic and databases
- object models and systems
- linguistic components, knowledge discovery
- storage systems and recovery
- heterogeneous environments, federated architectures
- formal modeling including objects and category-based approaches
vi Preface
The workshop was sponsored by the Russian Foundation for Basic Research
and by the Russian Academy of Sciences (the Department of Mathematics
and the Department of Informatics, Computing Technology and
Automation). Without their support, the organization of this workshop
would not have been possible.
During the last three years the ADBIS Workshops have evolved from
purely internal (Russian) events to truly international conferences with
paper selection by highly qualified program committee (the ADBIS'95 PC
included well known researchers from 13 countries around Europe) and
the international publication of the workshop proceedings.
An international round table at the conference encouraged the
continuation of this successful series ofw orkshops. Commenting on recent
ACM proposals for overcoming current difficulties in research and
applications of computer science in the region, the round table recommended
the active participation of ACM SIGMOD in the organization of future
regional (the Eastern Europe) conferences. The experiences with the AD BIS
Workshops promise a good success for such activities.
We express our warmest thanks to all authors who contributed to the
workshop, members of the program committee who reviewed the
submissions on the basis of originality, relevance, presentation and technical
quality, and additional reviewers invited to extend the expertise of the
program committee. Our special thanks are due to Sergey Kuznetsov, Olga
Plechova, Alexandre Tomilin for their invaluable contribution to the
workshop organization. Specifically we would like to thank Dmitry Briukhov
and Boris Novikov who assembled the proceedings. We gratefully
acknowledge the support of Rosie Kemp, Springer-Verlag, London, for her
support in preparing this volume.
Finally, on behalf of all the workshop participants we would like to
express our sincere thanks to everybody who helped make this ADBIS
Workshop a success.
JohannEder Klagenfurt, Austria
Leonid Kalinichenko Moscow, Russia
Contents
Information Systems Design
Towards Integrated Computer Aided Systems and Software
Engineering Tool for Information Systems Design
I. Barzdir,Ls, 1. Btmane, A. Kalnir,Ls and K. Podnieks.............................. 3
Composition Approach to Systematic Development of
Database Systems
1.A. Basarab, B. V. Gubsky and N.S. Nikitchenko ................................. 12
Transaction Management
Optimistic Concurrency Control Algorithm with Dynamic
Serialization Adjustment for Firm Deadline Real-Time
Database Systems
P. Krzyzagorski and T. Morzy.................................................................. 27
ARIES/NT Modification for Advanced Transactions Support
H. Dombrowska .......................................................................................... 43
Queries and Optimization
Semantic Optimization of Queries in Deductive
Object-Oriented Database
M.F. Frias and S.B. Gordillo ..................................................................... 55
On Efficient Query Evaluation in Multidatabase Systems
I.A. Chudziak and I.R. Getta.................................................................... 73
Relaxation of Correctness in Database Systems
H. Kaufmann and M.C. Norrie ................................................................ 90
Data Model Mapping
Transforming an Entity-Relationship Schema into
Object-Oriented Database Schemas
I. Biskup, R. Menzel and T. Po lie .......................................................... 109
Object Oriented Markup Language and Restructuring
Hierarchical Database Objects
A.N. Bogacheva, N.B. Bmelyanov and A.P. Romanov....................... 137
viii Contents
Transforming Conceptual ER Schema into Object-Oriented
Databases
M. Ayache and A. Flory .......................................................................... 143
Logic and Databases
Model-Theoretical and Deductive Approaches to Databases
from the Point of View of Algebraic Logic and Geometry
B.I. Plotkin................................................................................................. 161
View Definitions with Parameters
J. Eder ......................................................................................................... 170
Magic Sets vs. SLD-Resolution
S. Brass ....................................................................................................... 185
Object Models and Systems
Type Inferencing Based on Complete Type Specifications
L.A. Kalinichenko and V.I. Zadorozhny.............................................. 207
Specialization and Generalization in an Object
Oriented Database
T. Beldjilali and H. Hamza .................................................................... 220
A Preprocessor Approach to Persistent C++
G. Evrendilek, A.Dogac and T. Gesti..................................................... 235
Linguistic Components, Knowledge Discovery
Cooperative Recognition of Interdatabase Dependencies
M. Klusch ................................................................................................... 255
Inductive Reasoning Using Thesaurus
Y. Kakemoto .............................................................................................. 266
Storage Systems and Recovery
Towards a Realistic Model ofIndices in Object Bases
B. Novikov ................................................................................................. 281
Spatial Joins and R-Trees
M.G. Martynov ......................................................................................... 295
The MaStA I/O Cost Model and its Validation Strategy
S. Scheuerl, R.G.H. Connor, R. Morrison, J.E.B. Moss and
D.S. Munro ................................................................................................ 305
Heterogeneous Environments, Federated Architectures
Integration and Handling of Hypermedia Information as a
Challenge for Multimedia and Federated Database Systems
G. Huck, F. Moser and E.J. Neuhold ..................................................... 331
Contents ix
Ontology Specification and Integration Facilities in a
Semantic Interoperation Framework
D.O. Briukhov and 5.5. Shumilov.......................................................... 354
Formal Modeling
HM Data Model and Its Formal Definition
N. Scherbakov and A. Zamulin ............................................................. 369
Relational Databases Equivalence Problem
T.L. Plotkin................................................................................................ 391
Objects and Category-Based Approach
Object-Oriented Solutions
V.E. Wolfengagen ..................................................................................... 407
Prototyping a Categorical Database in P/FDM
D.A. Nelson and B.N. Rossiter ............................................................... 432
Information Systems Modeling
A Deductive Object-Oriented Approach to Information
System Modeling
M. Matskin and H.-M. Haav.................................................................. 459
CONCEPT: A Language for Conceptual Modelling
G.S. Plesniewicz and T. Mironova ........................................................ 479
Author Index ......................................................................................... 497
Information Systems Design
