by Chat Siu Wing. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1990. / Bibliography: leaves 104-107. / ABSTRACT --- p.i / ACKNOWLEDGEMENTS --- p.ii / TABLE OF CONTENTS --- p.iii / Chapter CHAPTER 1 --- INTRODUCTION --- p.1 / Chapter CHAPTER 2 --- TEMPORAL DATABASES --- p.5 / Chapter 2.1 --- The Importance of Temporal Data --- p.5 / Chapter 2.2 --- Incorporating Time in Databases --- p.6 / Chapter 2.2.1 --- Time Dimensions --- p.6 / Chapter 2.2.2 --- Classification --- p.6 / Chapter 2.2.2.1 --- Snapshot Databases --- p.6 / Chapter 2.2.2.2 --- Rollback Databases --- p.7 / Chapter 2.2.2.3 --- Historical Databases --- p.8 / Chapter 2.2.2.4 --- Temporal Databases --- p.9 / Chapter 2.2.3 --- Current Research Areas --- p.9 / Chapter 2.2.3.1 --- Time Semantics at the Conceptual Level --- p.10 / Chapter 2.2.3.2 --- Temporal Data Model --- p.11 / Chapter 2.2.3.3 --- Temporal Query Language --- p.11 / Chapter CHAPTER 3 --- CONCEPTUAL TEMPORAL DATA MODELING …… --- p.13 / Chapter 3.1 --- The Time Generic --- p.13 / Chapter 3.1.1 --- Time Unit --- p.14 / Chapter 3.1.2 --- Interval --- p.15 / Chapter 3.1.3 --- Periodic Time --- p.16 / Chapter 3.1.4 --- Time Point --- p.17 / Chapter 3.2 --- Extended Entity Relationship (EER) Model --- p.17 / Chapter 3.2.1 --- Attribute --- p.18 / Chapter 3.2.2 --- Entity --- p.22 / Chapter 3.2.3 --- Relationship --- p.23 / Chapter 3.2.4 --- Event --- p.23 / Chapter 3.3 --- EER Modeling of Temporal Data --- p.25 / Chapter 3.3.1 --- Classify entities and attributes --- p.25 / Chapter 3.3.2 --- Define events --- p.26 / Chapter 3.3.3 --- Define relationships --- p.27 / Chapter 3.3.4 --- Classify Attributes --- p.27 / Chapter CHAPTER 4 --- LOGICAL TEMPORAL DATABASE DESIGN --- p.28 / Chapter 4.1 --- Embedding a Temporal Relation into a Snapshot Relation --- p.28 / Chapter 4.2 --- The Proposed Temporal Relational Model --- p.29 / Chapter 4.2.1 --- Extension to Relational Model --- p.30 / Chapter 4.2.2 --- Extended Properties --- p.31 / Chapter 4.2.3 --- Extended Information Contents --- p.32 / Chapter 4.2.3.1 --- Different Temporal Information --- p.32 / Chapter 4.2.3.2 --- Retroactive and Postactive Recording --- p.33 / Chapter 4.2.3.3 --- Multiple Values at an Instant --- p.33 / Chapter 4.2.3.4 --- Discrete Valid Intervals --- p.34 / Chapter 4.2.4 --- Data Manipulation --- p.34 / Chapter 4.2.4.1 --- Retrieval --- p.35 / Chapter 4.2.4.2 --- Updating --- p.36 / Chapter 4.2.5 --- Probable Undesirable Properties --- p.37 / Chapter 4.2.5.1 --- Redundancy --- p.37 / Chapter 4.2.5.2 --- Update Anomalies --- p.39 / Chapter 4.2.5.3 --- Retrieval Anomalies --- p.39 / Chapter 4.3 --- Mapping Conceptual to Temporal Relational Model --- p.40 / Chapter 4.3.1 --- Relations For the Time Generic --- p.40 / Chapter 4.3.1.1 --- Interval --- p.40 / Chapter 4.3.1.2 --- Time Point --- p.41 / Chapter 4.3.1.3 --- Periodic Time --- p.42 / Chapter 4.3.2 --- Mapping History into Time Attributes --- p.42 / Chapter 4.3.2.1 --- Attribute History --- p.42 / Chapter 4.3.2.2 --- Existence History --- p.43 / Chapter 4.3.3 --- Mapping Entity Type --- p.43 / Chapter 4.3.3.1 --- Strong Entity --- p.43 / Chapter 4.3.3.2 --- Weak Entity --- p.46 / Chapter 4.3.3.3 --- Temporally Weak Entity --- p.46 / Chapter 4.3.4 --- Mapping Event Type --- p.46 / Chapter 4.3.5 --- Mapping Relationship Type --- p.48 / Chapter 4.4 --- Joining Synchronous Relations --- p.49 / Chapter 4.5 --- Integrity Constraints --- p.50 / Chapter 4.5.1 --- Creation --- p.51 / Chapter 4.5.2 --- Deletion --- p.51 / Chapter 4.5.3 --- Modification of Past States --- p.52 / Chapter CHAPTER 5 --- A TEMPORAL QUERY LANGUAGE - TempSQL --- p.53 / Chapter 5.1 --- New Statements --- p.53 / Chapter 5.2 --- New Constructs in Statements --- p.54 / Chapter 5.2.1 --- Temporal Operators --- p.54 / Chapter 5.2.2 --- Temporal Comparison Operators --- p.55 / Chapter 5.2.3 --- WHEN Clause --- p.56 / Chapter 5.2.4 --- AS OF clause --- p.58 / Chapter 5.2.5 --- VALID clause --- p.58 / Chapter 5.2.6 --- A General Example --- p.60 / Chapter 5.3 --- Semantics of TempSQL Statements --- p.61 / Chapter 5.3.1 --- SELECT --- p.62 / Chapter 5.3.2 --- INSERT --- p.64 / Chapter 5.3.3 --- DISCARD --- p.66 / Chapter 5.3.4 --- UPDATE --- p.68 / Chapter CHAPTER 6 --- IMPLEMENTATION OF TempSQL --- p.78 / Chapter 6.1 --- The Underlying Environment --- p.78 / Chapter 6.2 --- The Preprocessor --- p.79 / Chapter 6.3 --- The Interactive Interpreter --- p.81 / Chapter 6.4 --- Limitations --- p.82 / Chapter CHAPTER 7 --- AN EXAMPLE TEMPORAL DATABASE --- p.84 / Chapter 7.1 --- The Scenario --- p.84 / Chapter 7.2 --- EER modeling of data --- p.84 / Chapter 7.3 --- Transformation into Temporal Relations --- p.85 / Chapter 7.4 --- Joining Synchronous Relations --- p.87 / Chapter 7.5 --- Sample Queries --- p.87 / Chapter 7.6 --- Remarks --- p.91 / Chapter CHAPTER 8 --- CONCLUSION AND FUTURE RESEARCH / DIRECTIONS --- p.94 / Chapter APPENDIX A --- BNF of TempSQL --- p.100 / REFERENCES --- p.104

by Wu Chun Pong. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1993. / Includes bibliographical references (leaves 86-[91]). / Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Formal Specification Methods --- p.1 / Chapter 1.2 --- The Z notation --- p.2 / Chapter 1.3 --- Overview of Thesis --- p.3 / Chapter 2 --- The Specification Language Z --- p.5 / Chapter 2.1 --- Background --- p.5 / Chapter 2.2 --- Structure and Characteristics --- p.6 / Chapter 2.3 --- Object Orientation in Z --- p.10 / Chapter 2.3.1 --- Hall's style --- p.11 / Chapter 2.3.2 --- Schuman and Pitt's variant --- p.11 / Chapter 2.3.3 --- Object-Z --- p.12 / Chapter 2.4 --- Execution in Z --- p.13 / Chapter 2.5 --- Animation of Z Specifications --- p.15 / Chapter 2.5.1 --- Prolog --- p.15 / Chapter 2.5.2 --- Translation Z into Prolog --- p.18 / Chapter 2.5.3 --- Related Works --- p.19 / Chapter 3 --- Incorporating Real Numbers in Z --- p.22 / Chapter 3.1 --- Dedekind Cut --- p.23 / Chapter 3.2 --- Cantor's definition --- p.23 / Chapter 3.3 --- Practical approach --- p.24 / Chapter 4 --- Constraint Logic Programming and CLP(R) --- p.26 / Chapter 4.1 --- Constraint Logic Programming --- p.26 / Chapter 4.2 --- CLP(R) --- p.27 / Chapter 4.3 --- Example of CLP(R) --- p.29 / Chapter 5 --- The ZCLP(R) Animation System --- p.31 / Chapter 5.1 --- Design Philosophy --- p.31 / Chapter 5.2 --- Implementation Strategy --- p.34 / Chapter 5.3 --- Z editor (ZEDIT) --- p.36 / Chapter 5.4 --- Prolog Library for set operation (ZCLIB) --- p.37 / Chapter 5.4.1 --- Basic needs for the Library --- p.37 / Chapter 5.4.2 --- Rules for the library --- p.38 / Chapter 5.4.3 --- Limitation of the Library --- p.43 / Chapter 5.5 --- Z to CLP(R) Translator (ZCGEN) --- p.44 / Chapter 5.5.1 --- Procedure for translation --- p.45 / Chapter 5.5.2 --- Demonstration --- p.47 / Chapter 5.5.3 --- Rules for translation --- p.48 / Chapter 5.5.4 --- Limitations of the Translator --- p.50 / Chapter 5.6 --- Z to LATEX translator (ZLATEX) --- p.52 / Chapter 6 --- Examples --- p.54 / Chapter 6.1 --- A Simple Banking System --- p.54 / Chapter 6.1.1 --- Bags --- p.54 / Chapter 6.1.2 --- Specifications --- p.56 / Chapter 6.2 --- A Graphics Example --- p.61 / Chapter 6.2.1 --- Defining a Rectangle --- p.62 / Chapter 6.2.2 --- Drawing a Rectangle --- p.63 / Chapter 6.2.3 --- Defining a Circle --- p.63 / Chapter 6.2.4 --- Specifications --- p.64 / Chapter 6.3 --- Specifications Writing Experience --- p.76 / Chapter 7 --- Conclusion --- p.79 / Chapter 7.1 --- Contributions --- p.79 / Chapter 7.2 --- Difficulties --- p.83 / Chapter 7.3 --- Further Works --- p.84 / Bibliography --- p.86

by Fong Siu-kit. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1994. / Includes bibliographical references (leaves 73-77). / Abstract --- p.1 / Chapter 1. --- Introduction --- p.2 / Chapter 2. --- Background and Related Work --- p.5 / Chapter 2.1 --- Requirements of a Good Query Language /Interface --- p.5 / Chapter 2.2 --- Casual versus Frequent Users --- p.6 / Chapter 2.3 --- Graphical User Interface --- p.8 / Chapter 2.4 --- Windowing --- p.10 / Chapter 2.5 --- Use of Voice in User Interface --- p.11 / Chapter 2.6 --- Related Work --- p.12 / Chapter 2.6.1 --- Examples of Query Interface Designs in the Literature --- p.13 / Chapter 2.6.2 --- Examples of Query Interfaces in Commercial Packages --- p.15 / Chapter 3. --- Interface Design Concepts --- p.17 / Chapter 3.1 --- Data Model --- p.18 / Chapter 3.2 --- General Guidelines on Interface Design --- p.19 / Chapter 3.3 --- Divide and Conquer Strategy --- p.21 / Chapter 3.4 --- Unit of Operation --- p.24 / Chapter 3.5 --- The Second Clicking Principle --- p.26 / Chapter 3.6 --- Use of Voice in the Interface --- p.28 / Chapter 3.7 --- Customization of User Level --- p.29 / Chapter 4. --- Interface Specification and implementation --- p.30 / Chapter 4.1 --- System Menu --- p.31 / Chapter 4.2 --- ER Diagram and Tables Window --- p.33 / Chapter 4.3 --- Overview on R Window and Result Icon Window --- p.36 / Chapter 4.4 --- Choose Fields Operation --- p.38 / Chapter 4.5 --- Choose Rows Operation --- p.41 / Chapter 4.6 --- Combine Tables Operation --- p.45 / Chapter 4.7 --- For Each Group Operation --- p.49 / Chapter 4.8 --- Set Operations --- p.50 / Chapter 4.9 --- Decomposition and Recomposition of Queries --- p.51 / Chapter 5. --- Example of Application for a Complex Query --- p.54 / Chapter 6. --- Help Facilities and Error Handling --- p.63 / Chapter 6.1 --- Help Function --- p.64 / Chapter 6.2 --- Error Diagnosis --- p.66 / Chapter 7. --- Summary and Conclusion --- p.69 / Bibliography --- p.73 / Appendix --- p.78

by Wan Lai Man. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1998. / Includes bibliographical references (leaves 76-80). / Abstract also in Chinese. / Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Background --- p.1 / Chapter 1.2 --- Objectives --- p.3 / Chapter 1.3 --- Contributions --- p.4 / Chapter 1.4 --- Overview --- p.4 / Chapter 2 --- Literature Review --- p.6 / Chapter 2.1 --- Message Passing Interface --- p.6 / Chapter 2.1.1 --- Point-to-Point Communication --- p.7 / Chapter 2.1.2 --- Persistent Communication Request --- p.8 / Chapter 2.1.3 --- Collective Communication --- p.8 / Chapter 2.1.4 --- Derived Datatype --- p.9 / Chapter 2.2 --- Communications in Java --- p.10 / Chapter 2.2.1 --- Object Serialization --- p.10 / Chapter 2.2.2 --- Remote Method Invocation --- p.11 / Chapter 2.3 --- Performances Issues in Java --- p.11 / Chapter 2.3.1 --- Byte-code Interpreter --- p.11 / Chapter 2.3.2 --- Just-in-time Compiler --- p.12 / Chapter 2.3.3 --- HotSpot --- p.13 / Chapter 2.4 --- Parallel Computing in Java --- p.14 / Chapter 2.4.1 --- JavaMPI --- p.15 / Chapter 2.4.2 --- Bayanihan --- p.15 / Chapter 2.4.3 --- JPVM --- p.15 / Chapter 3 --- Infrastructure --- p.17 / Chapter 3.1 --- Layered Model --- p.17 / Chapter 3.2 --- Java Parallel Environment --- p.19 / Chapter 3.2.1 --- Job Coordinator --- p.20 / Chapter 3.2.2 --- HostApplet --- p.20 / Chapter 3.2.3 --- Formation of Java Parallel Environment --- p.21 / Chapter 3.2.4 --- Spawning Processes --- p.24 / Chapter 3.2.5 --- Message-passing Mechanism --- p.28 / Chapter 3.3 --- Application Programming Interface --- p.28 / Chapter 3.3.1 --- Message Routing --- p.29 / Chapter 3.3.2 --- Language Binding for MPI in Java --- p.31 / Chapter 4 --- Programming in JMPI --- p.35 / Chapter 4.1 --- JMPI Package --- p.35 / Chapter 4.2 --- Application Startup Procedure --- p.37 / Chapter 4.2.1 --- MPI --- p.38 / Chapter 4.2.2 --- JMPI --- p.38 / Chapter 4.3 --- Example --- p.39 / Chapter 5 --- Processes Management --- p.42 / Chapter 5.1 --- Background --- p.42 / Chapter 5.2 --- Scheduler Model --- p.43 / Chapter 5.3 --- Load Estimation --- p.45 / Chapter 5.3.1 --- Cost Ratios --- p.47 / Chapter 5.4 --- Task Distribution --- p.49 / Chapter 6 --- Performance Evaluation --- p.51 / Chapter 6.1 --- Testing Environment --- p.51 / Chapter 6.2 --- Latency from Java --- p.52 / Chapter 6.2.1 --- Benchmarking --- p.52 / Chapter 6.2.2 --- Experimental Results in Computation Costs --- p.52 / Chapter 6.2.3 --- Experimental Results in Communication Costs --- p.55 / Chapter 6.3 --- Latency from JMPI --- p.56 / Chapter 6.3.1 --- Benchmarking --- p.56 / Chapter 6.3.2 --- Experimental Results --- p.58 / Chapter 6.4 --- Application Granularity --- p.62 / Chapter 6.5 --- Scheduling Enable --- p.64 / Chapter 7 --- Conclusion --- p.66 / Chapter 7.1 --- Summary of the thesis --- p.66 / Chapter 7.2 --- Future work --- p.67 / Chapter A --- Performance Metrics and Benchmark --- p.69 / Chapter A.1 --- Model and Metrics --- p.69 / Chapter A.1.1 --- Measurement Model --- p.69 / Chapter A.1.2 --- Performance Metrics --- p.70 / Chapter A.1.3 --- Communication Parameters --- p.72 / Chapter A.2 --- Benchmarking --- p.73 / Chapter A.2.1 --- Ping --- p.73 / Chapter A.2.2 --- PingPong --- p.74 / Chapter A.2.3 --- Collective --- p.74 / Bibliography --- p.76

Typescript, etc. / Digitized by Kansas Correctional Industries

Typescript, etc. / Digitized by Kansas Correctional Industries

Typescript, etc. / Digitized by Kansas Correctional Industries

Typescript, etc. / Digitized by Kansas Correctional Industries

Typescript (photocopy). / Digitized by Kansas Correctional Industries

Typescript (photocopy). / Digitized by Kansas Correctional Industries