by Lam Wing Hee. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1991. / Bibliography: leaves [56]-59. / List of Figures --- p.v / Acknowledgements --- p.vi / Chapter 1. --- Introduction --- p.1 / Chapter 1.1 --- Historical Data and Temporal Databases --- p.1 / Chapter 1.2 --- Valid Time and Transaction Time --- p.3 / Chapter 1.2.1 --- Snapshot Databases --- p.3 / Chapter 1.2.2 --- Rollback Databases --- p.4 / Chapter 1.2.3 --- Historical Databases --- p.6 / Chapter 1.2.4 --- Temporal Databases --- p.7 / Chapter 1.3 --- Literature Review --- p.8 / Chapter 1.3.1 --- Data Models --- p.9 / Chapter 1.3.2 --- Query Languages --- p.11 / Chapter 1.3.3 --- Logical Design --- p.13 / Chapter 2. --- The Temporal Relational Data Model --- p.14 / Chapter 2.1 --- The Temporal Relational Data Model - Informal Description --- p.14 / Chapter 2.2 --- The Temporal Relational Data Model - Formal Description --- p.15 / Chapter 2.2.1 --- Valid and Transaction Time Intervals --- p.16 / Chapter 2.2.2 --- "Attributes, Tuples and Temporal Relations" --- p.16 / Chapter 2.3 --- What is a Key in Temporal Relations? --- p.17 / Chapter 3. --- The Temporal Relational Algebra --- p.20 / Chapter 3.1 --- Operations in the Temporal Relational Algebra --- p.20 / Chapter 3.1.1 --- Union and Set Difference --- p.21 / Chapter 3.1.2 --- Selection --- p.21 / Chapter 3.1.3 --- Projection --- p.23 / Chapter 3.1.4 --- Join --- p.24 / Chapter 3.1.4.1 --- Natural Join --- p.25 / Chapter 3.2 --- Temporal Relational Algebra and TempSQL --- p.30 / Chapter 4. --- Classical Data Dependencies in Temporal Relations --- p.32 / Chapter 4.1 --- Functional Dependency in the Temporal Relational Model --- p.32 / Chapter 4.2 --- Multivalued Dependency in the Temporal Relational Model --- p.33 / Chapter 4.3 --- Relationship with Snapshot Data Dependencies --- p.34 / Chapter 4.4 --- Lossless Decomposition --- p.35 / Chapter 5. --- Asynchronous Dependency --- p.39 / Chapter 5.1 --- Asynchronous Dependency --- p.40 / Chapter 5.2 --- Asynchronous Normal Form --- p.41 / Chapter 5.3 --- Generalized Form of Data Dependency --- p.42 / Chapter 5.3.1 --- Embedded Implicational Dependency --- p.43 / Chapter 5.3.2 --- Algebraic Dependency --- p.45 / Chapter 5.4 --- Asynchronous Dependency versus Synchronous Dependency --- p.46 / Chapter 6. --- Conclusions --- p.48 / Chapter 6.1 --- Summary of the Thesis --- p.48 / Chapter 6.2 --- Unsolved Problems and Research Directions --- p.49 / Chapter 6.2.1 --- Equivalent Representations in the Temporal Relational Model --- p.49 / Chapter 6.2.2 --- The Notion of 'Completeness' of Temporal Query Languages --- p.50 / Chapter 6.2.3 --- Logical Basis for Temporal Data Models and Languages --- p.51 / Chapter 6.2.4 --- Other Temporal Dependencies --- p.51 / Chapter 6.2.5 --- Research Directions in Topics other than Theory --- p.52 / Appendix Proofs of Theorems --- p.53 / Bibliography --- p.56
Identifer | oai:union.ndltd.org:cuhk.edu.hk/oai:cuhk-dr:cuhk_318785 |
Date | January 1991 |
Contributors | Lam, Wing Hee., Chinese University of Hong Kong Graduate School. Division of Computer Science. |
Publisher | Chinese University of Hong Kong |
Source Sets | The Chinese University of Hong Kong |
Language | English |
Detected Language | English |
Type | Text, bibliography |
Format | print, 59 leaves ; 30 cm. |
Rights | Use of this resource is governed by the terms and conditions of the Creative Commons “Attribution-NonCommercial-NoDerivatives 4.0 International” License (http://creativecommons.org/licenses/by-nc-nd/4.0/) |
Page generated in 0.0014 seconds