عنوان

Advances in databases and information systems :

(Number (ISBN

3540760148

(Number (ISBN

9783540760146

Number

b566801

Title Proper

Advances in databases and information systems :

General Material Designation

[Book]

Other Title Information

proceedings of the Second International Workshop on Advances in Databases and Information Systems (ADBIS '95), Moscow, 27-30 June 1995

First Statement of Responsibility

Johann Eder and Leonid A. Kalinichenko (eds.)

Place of Publication, Distribution, etc.

London

Name of Publisher, Distributor, etc.

Springer published in collaboration with the British Computer Society

Date of Publication, Distribution, etc.

1996

Specific Material Designation and Extent of Item

ix, 498 s. : illustrations ; 24 cm

Series Title

Workshops in computing

Text of Note

Information Systems Design.- Towards Integrated Computer Aided Systems and Software Engineering Tool for Information Systems Design.- Composition Approach to Systematic Development of Database Systems.- Transaction Management.- Optimistic Concurrency Control Algorithm with Dynamic Serialization Adjustment for Firm Deadline Real-Time Database Systems.- ARIES/NT Modification for Advanced Transactions Support.- Queries and Optimization.- Semantic Optimization of Queries in Deductive Object-Oriented Database.- On Efficient Query Evaluation in Multidatabase Systems.- Relaxation of Correctness in Database Systems.- Data Model Mapping.- Transforming an Entity-Relationship Schema into Object-Oriented Database Schemas.- Object Oriented Markup Language and Restructuring Hierarchical Database Objects.- Transforming Conceptual ER Schema into Object-Oriented Databases.- Logic and Databases.- Model-Theoretical and Deductive Approaches to Databases from the Point of View of Algebraic Logic and Geometry.- View Definitions with Parameters.- Magic Sets vs. SLD-Resolution.- Object Models and Systems.- Type Inferencing Based on Complete Type Specifications.- Specialization and Generalization in an Object Oriented Database.- A Preprocessor Approach to Persistent C++.- Linguistic Components, Knowledge Discovery.- Cooperative Recognition of Interdatabase Dependencies.- Inductive Reasoning Using Thesaurus.- Storage Systems and Recovery.- Towards a Realistic Model of Indices in Object Bases.- Spatial Joins and R-Trees.- The MaStA I/O Cost Model and its Validation Strategy.- Heterogeneous Environments, Federated Architectures.- Integration and Handling of Hypermedia Information as a Challenge for Multimedia and Federated Database Systems.- Ontology Specification and Integration Facilities in a Semantic Interoperation Framework.- Formal Modeling.- HM Data Model and Its Formal Definition.- Relational Databases Equivalence Problem.- Objects and Category-Based Approach.- Object-Oriented Solutions.- Prototyping a Categorical Database in P/FDM.- Information Systems Modeling.- A Deductive Object-Oriented Approach to Information System Modeling.- Concept: A Language for Conceptual Modelling.- Author Index.

Class number

Book number

Johann Eder and Leonid A. Kalinichenko (eds.)

British Computer Society

J Eder

L A Kalinichenko

Electronic name

[Book]

Y