ADBIS'93 CONFERENCE PROGRAM

Contents

Theoretical aspects of data models

Computational aspects of data objects
Wolfengagen V.E.

Relational data model with estimations of truth in the Heyting algebra
M.Tzalenko

Compositional data models
I.Basarab, B.Gubsky, N.Nikitchenko, V.Red'ko

Extension of deductive query languages with the bounded universal quantifier
V. Zadorozhny

Object-oriented data models

Non-navigational query language principles for object-oriented database systems
S.Kuznetzov

Indexing for the object-oriented databases
A.Godunov, N.Emeljanov, A.Romanov

Object store structures

Representation of the SYNTHESIS data structures in the object store
H.Dombrovska, I.Kaprizkina, B.Novikov

Temporal database indexing
B.Novikov

Methods for complex object representation in the secondary storage
I.Kaprizkina

Transactions and transformations in the data bases

Nested transaction support by the storage management system in the SYNTHESIS project
H.Dombrovska

Mapping of production-based expert system knowledge bases into the information resource model of SYNTHESIS
A.Balajan

Two approaches for the SQL data model transformer design
O.Kostromina, E.Pugachevska

Database design

Methodology, technology, and tools "Synthesis+" for the database system design
V.Vetoshkin, V.Gusenko

Problem of relational data base schema optimal synthesis and its properties
V.Vetoshkin

CASE-tools for the information system design (a survey)
A.Morozova

Scientific data bases

Statistical databases (a survey)
M.Kogalovsky

Databses in economic-mathematical modeling: methodology, applications and tools
M.Kogalovsky