|
" Advances in databases and information systems : "
Johann Eder and Leonid A. Kalinichenko (eds.)
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
746850
|
| Doc. No
|
:
|
b566801
|
| Main Entry
|
:
|
Johann Eder and Leonid A. Kalinichenko (eds.)
|
| Title & Author
|
:
|
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.)
|
| Publication Statement
|
:
|
London : Springer published in collaboration with the British Computer Society, 1996
|
| Series Statement
|
:
|
Workshops in computing
|
| Page. NO
|
:
|
ix, 498 s. : illustrations ; 24 cm
|
| ISBN
|
:
|
3540760148
|
|
|
:
|
: 9783540760146
|
| Contents
|
:
|
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.
|
| LC Classification
|
:
|
QA76.9.D3J643 1996
|
| Added Entry
|
:
|
British Computer Society
|
|
|
:
|
J Eder
|
|
|
:
|
L A Kalinichenko
|
| |