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
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 o...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
London
Springer London
1996, 1996
|
| Edition: | 1st ed. 1996 |
| Series: | Workshops in Computing
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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
- 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
- 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