HM Data Model and Its Formal Definition (English)
- New search for: Scherbakov, N.
- New search for: Zamulin, A.
- New search for: British Computer Society
- New search for: Moscow ACM SIGMOD Chapter
- New search for: Russian Foundation for Basic Research
- New search for: Scherbakov, N.
- New search for: Zamulin, A.
- New search for: Eder, J.
- New search for: Kalinichenko, L. A.
- New search for: British Computer Society
- New search for: Moscow ACM SIGMOD Chapter
- New search for: Russian Foundation for Basic Research
In:
Advances in databases and information systems
;
369-390
;
1996
-
ISBN:
- Conference paper / Print
-
Title:HM Data Model and Its Formal Definition
-
Contributors:Scherbakov, N. ( author ) / Zamulin, A. ( author ) / Eder, J. / Kalinichenko, L. A. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research
-
Conference:2nd; International workshop, Advances in databases and information systems ; 1995 ; Moscow
-
Published in:
-
Publisher:
- New search for: Springer
-
Publication date:1996-01-01
-
Size:22 pages
-
Remarks:Also known as ADBIS'95
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Towards Integrated Computer Aided Systems and Software Engineering Tool for Information Systems DesignBarzdins, J. / Etmane, I. / Kalnins, A. / Podnieks, K. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 12
-
Composition Approach to Systematic Development of Database SystemsBasarab, I. A. / Gubsky, B. V. / Nikitchenko, N. S. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 27
-
Optimistic Concurrency Control Algorithm with Dynamic Serialization Adjustment for Firm Deadline Real-Time Database SystemsKrzyzagorski, P. / Morzy, T. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 43
-
ARIES/NT Modification for Advanced Transactions SupportDombrowska, H. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 55
-
Semantic Optimization of Queries in Deductive Object-Oriented DatabaseFrias, M. F. / Gordillo, S. E. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 73
-
On Efficient Query Evaluation in Multidatabase SystemsChudziak, J. A. / Getta, J. R. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 90
-
Relaxation of Correctness in Database SystemsKaufmann, H. / Norrie, M. C. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 109
-
Transforming an Entity-Relationship Schema into Object-Oriented Database SchemasBiskup, J. / Menzel, R. / Polle, T. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 137
-
Object Oriented Markup Language and Restructuring Hierarchical Database ObjectsBogacheva, A. N. / Emelyanov, N. E. / Romanov, A. P. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 143
-
Transforming Conceptual Schema into Object-Oriented DatabasesAyache, M. / Flory, A. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 161
-
Model-Theoretical and Deductive Approaches to Databases from the Point of View of Algebraic Logic and GeometryPlotkin, B. I. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 170
-
View Definitions with ParametersEder, J. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 185
-
Magic Sets vs. SLD-ResolutionBrass, S. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 207
-
Type Inferencing Based on Complete Type SpecificationsKalinichenko, L. A. / Zadorozhny, V. I. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 220
-
Specialization and Generalization in an Object Oriented DatabaseBeldjilali, T. / Hamza, H. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 235
-
A Preprocessor Approach to Persistent C++Evrendilek, C. / Dogac, A. / Gesli, T. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 255
-
Cooperative Recognition of Interdatabase DependenciesKlusch, M. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 266
-
Inductive Reasoning Using ThesaurusKakemoto, Y. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 281
-
Towards a Realistic Model of Indices in Object BasesNovikov, B. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 295
-
Spatial Joins and R-TreesMartynov, M. G. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 305
-
The MaStA I/O Cost Model and Its Validation StrategyScheuerl, S. / Connor, R. C. H. / Morrison, R. / Moss, J. E. B. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 331
-
Integration and Handling of Hypermedia Information as a Challenge for Multimedia and Federated Database SystemsHuch, G. / Moser, F. / Neuhold, E. J. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 354
-
Ontology Specification and Integration Facilities in a Semantic Interoperation FrameworkBriukhov, D. O. / Shumilov, S. S. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 369
-
HM Data Model and Its Formal DefinitionScherbakov, N. / Zamulin, A. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 391
-
Relational Databases Equivalence ProblemPlotkin, T. L. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 407
-
Object-Oriented SolutionsWolfengagen, V. E. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 432
-
Prototyping a Categorical Database in P/FDMNelson, D. A. / Rossiter, B. N. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 459
-
A Deductive Object-Oriented Approach to Information System ModelingMatskin, M. / Haav, H.-M. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996
- 479
-
CONCEPT: A Language for Conceptual ModellingPlesniewicz, G. S. / Mironova, T. / British Computer Society / Moscow ACM SIGMOD Chapter / Russian Foundation for Basic Research et al. | 1996