ADBIS 1995: Moscow, Russia

Johann Eder, 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. Workshops in Computing Springer 1996, ISBN 3-540-76014-8

Information Systems Design

Janis Barzdins, Ilona Etmane, Audris Kalnins, Karlis Podnieks:
Towards Integrated Computer Aided Systems and Software Engineering Tool for Information Systems Design. 3-11
Ivan A. Basarab, Bogdan V. Gubsky, Nikolaj S. Nikitchenko:
Composition Approach to Systematic Development of Database Systems. 12-23

Transaction Management

Piotr Krzyzagórski, Tadeusz Morzy:
Optimistic Concurrency Control Algorithm with Dynamic Serialization Adjustment for Firm Deadline Real-Time Database Systems. 27-42
Henrietta Dombrowska:
ARIES/NT Modified for Advanced Transactions Support. 43-51

Queries and Optimization

Marcelo F. Frias, Silvia E. Gordillo:
Semantic Optimization of Queries in Deductive Object-Oriented Database. 55-72
Jaroslaw A. Chudziak, Janusz R. Getta:
On Efficient Query Evaluation in Multidatabase Systems. 73-89
Helmut Kaufmann, Moira C. Norrie:
Relaxation of Correctness in Database Systems. 90-105

Data Model Mapping

Joachim Biskup, Ralf Menzel, Torsten Polle:
Transforming an Entity-Relationship Schema into Object-Oriented Database Schemas. 109-136
A. N. Bogacheva, N. E. Emeljanov, A. P. Romanov:
Object Oriented Markup Language and Restructuring Hierarchical Database Objects. 137-142
M. Ayache, André Flory:
Transforming Conceptual ER Schema into Object-Oriented Databases. 143-157

Logic and Databases

Boris I. Plotkin:
Model-Theoretical and Deductive Approaches to Databases from the Point of Algebraic Logic and Geometry. 161-169
Johann Eder:
View Definitions with Parameters. 170-184
Stefan Brass:
Magic Sets vs. SLD-Resolution. 185-203

Object Models and Systems

Leonid A. Kalinichenko, Vladimir Zadorozhny:
Type Inferencing Based on Complete Type Specifications. 207-219
Tarik Beldjilali, Haider Hamza:
Specialization and Generalization in an Object Oriented Database. 220-234
Cem Evrendilek, Asuman Dogac, Tolga Gesli:
A Preprocessor Approach to Persistent C++. 235-251

Linguistic Components, Knowledge Discovery

Matthias Klusch:
Cooperative Recognition of Interdatabase Dependencies. 255-265
Yoshitsugu Kakemoto:
Inductive Reasoning Using Thesaurus. 266-278

Storage Systems and Recovery

Boris Novikov:
Towards a Realistic Model of Indices in Object Bases. 281-294
M. G. Martynov:
Spatial Joins and R-trees. 295-304
S. Scheuerl, Richard C. H. Connor, Ronald Morrison, J. Eliot B. Moss, David S. Munro:
The MaStA I/O Cost Model and its Validation Strategy. 305-328

Heterogeneous Environments, Federated Architectures

Gerald Huck, Frank Moser, Erich J. Neuhold:
Integration and Handling of Hypermedia Information as a Challenge for Multimedia and Federated Database Systems. 331-353
Dmitry O. Briukhov, Serge S. Shumilov:
Ontology Specification and Integration Facilities in a Semantic Interoperation Framework. 354-366

Formal Modeling

Nick Scherbakov, Alexandre V. Zamulin:
HM data Model and its Formal Definition. 369-390
Tatjana L. Plotkin:
Relational Database Equivalence Problem. 391-404

Objects and Category-Based Approach

V. E. Wolfengagen:
Object-Oriented Solutions. 407-431
David A. Nelson, B. Nick Rossiter:
Prototyping a Categorial Database in P/FDM. 432-456

Information Systems Modeling

Mihhail Matskin, Hele-Mai Haav:
A Deductive Object-Oriented Approach to Information System Modeling. 459-478
G. S. Plesniewicz, T. Mironova:
Concept: A Language for Conceptual Modelling. 479-496

Last update Sat May 25 01:54:11 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page