Preface |
|
i | |
List of Figures and Tables |
|
xiii | |
Part I Temporal Models and Calculation Methods |
|
1 | (66) |
|
1 From Time Data to Temporal Information |
|
|
3 | (18) |
|
1.1 Application Requirement |
|
|
3 | (1) |
|
|
4 | (4) |
|
|
5 | (1) |
|
|
6 | (1) |
|
|
7 | (1) |
|
|
7 | (1) |
|
1.3 Temporal Information, Temporal Database and Temporal System |
|
|
8 | (1) |
|
1.3.1 What Is Temporal Information |
|
|
8 | (1) |
|
|
8 | (1) |
|
|
9 | (1) |
|
1.4 Origin and Development of Temporal Information Technologies |
|
|
9 | (4) |
|
|
10 | (1) |
|
|
11 | (1) |
|
|
11 | (2) |
|
1.5 Current Situation, Problems and Trends |
|
|
13 | (4) |
|
|
13 | (2) |
|
1.5.2 Existent Problems in Temporal Database Research |
|
|
15 | (1) |
|
|
16 | (1) |
|
|
17 | (4) |
|
2 Time Calculation and Temporal Logic Method |
|
|
21 | (22) |
|
|
22 | (2) |
|
|
22 | (1) |
|
|
23 | (1) |
|
|
23 | (1) |
|
|
24 | (1) |
|
2.2 Properties of Time Structure |
|
|
24 | (2) |
|
2.2.1 Order Relations of Time Sets |
|
|
24 | (1) |
|
2.2.2 First Order Properties of Time Flow |
|
|
24 | (2) |
|
2.3 Point-Based Temporal Logic |
|
|
26 | (3) |
|
2.3.1 Temporal Extensions Based Snapshot Model |
|
|
26 | (2) |
|
2.3.2 Temporal Extensions Based Timestamp Model |
|
|
28 | (1) |
|
2.4 Interval-Based Temporal Logic |
|
|
29 | (4) |
|
2.4.1 From Interval to Point |
|
|
30 | (1) |
|
2.4.2 From Point to Point |
|
|
31 | (1) |
|
|
32 | (1) |
|
2.5 Calculation Based on Span |
|
|
33 | (1) |
|
2.6 Other Temporal Calculations in Common Use |
|
|
34 | (1) |
|
2.7 Time Granularity and Conversion Calculation |
|
|
34 | (4) |
|
2.7.1 Time Granularity and Chronon |
|
|
35 | (1) |
|
2.7.2 State of Existence of Time Granularity |
|
|
35 | (1) |
|
2.7.3 Operations of Time Granularity |
|
|
36 | (2) |
|
2.7.4 Relational Chart of Time Granularity Conversion |
|
|
38 | (1) |
|
|
38 | (4) |
|
2.8.1 Syntax and Semantics of Tense Logic |
|
|
39 | (1) |
|
2.8.2 Axiomatics and Properties |
|
|
40 | (2) |
|
|
42 | (1) |
|
3 Temporal Extension of Relational Algebra |
|
|
43 | (24) |
|
3.1 Regular Relational Operations |
|
|
44 | (3) |
|
|
44 | (1) |
|
|
45 | (2) |
|
3.1.3 Relational Calculus |
|
|
47 | (1) |
|
3.2 Relational Algebra of Historical Database |
|
|
47 | (8) |
|
3.2.1 Basic Notions and Terminologies |
|
|
48 | (1) |
|
|
48 | (1) |
|
3.2.3 Historical Relational Algebra of HRDM |
|
|
49 | (6) |
|
3.3 Bitemporal Relational Algebra of BCDM |
|
|
55 | (7) |
|
3.3.1 Basic Notions and Terminologies |
|
|
55 | (4) |
|
3.3.2 Bitemporal Relational Algebra |
|
|
59 | (3) |
|
3.4 Snapshot Reducibility and Temporal Completeness |
|
|
62 | (3) |
|
3.4.1 Snapshot Reducibility |
|
|
62 | (2) |
|
3.4.2 Temporal Semi-Completeness |
|
|
64 | (1) |
|
3.4.3 Temporal Completeness |
|
|
65 | (1) |
|
|
65 | (2) |
Part II Database Based on Temporal Information |
|
67 | (82) |
|
4 Temporal Data Model and Temporal Database Systems |
|
|
69 | (22) |
|
|
69 | (6) |
|
|
69 | (1) |
|
|
70 | (1) |
|
|
71 | (1) |
|
4.1.4 Two Temporal Variables: Now and UC |
|
|
71 | (1) |
|
|
72 | (3) |
|
4.2 Temporal Database Types |
|
|
75 | (7) |
|
|
75 | (1) |
|
4.2.2 Historical Database |
|
|
76 | (2) |
|
|
78 | (3) |
|
4.2.4 Bitemporal Database |
|
|
81 | (1) |
|
|
82 | (5) |
|
4.3.1 Bitemporal Time Stamps |
|
|
82 | (3) |
|
|
85 | (1) |
|
4.3.3 Temporal Entity-Relationship Data Model |
|
|
86 | (1) |
|
4.4 Difference from Real-Time Database |
|
|
87 | (1) |
|
|
88 | (3) |
|
5 Spatio-Temporal Data Model and Spatio-Temporal Databases |
|
|
91 | (22) |
|
|
91 | (1) |
|
5.2 Spatio-Temporal Data Model |
|
|
92 | (14) |
|
5.2.1 Spatio-Temporal Object |
|
|
92 | (1) |
|
5.2.2 Basic Considerations of Spatio-Temporal Modeling |
|
|
93 | (3) |
|
5.2.3 Version Based Data Model |
|
|
96 | (4) |
|
5.2.4 Event-Based Data Model |
|
|
100 | (3) |
|
5.2.5 Constraint-Based Data Model |
|
|
103 | (1) |
|
5.2.6 Moving Objects Data Model |
|
|
103 | (3) |
|
5.3 Query on Spatio-Temporal Data |
|
|
106 | (3) |
|
5.3.1 Spatio-Temporal Data Query |
|
|
107 | (1) |
|
|
107 | (1) |
|
5.3.3 Spatio-Temporal Database Language |
|
|
108 | (1) |
|
5.4 Structure of Spatio-Temporal Database System |
|
|
109 | (2) |
|
5.4.1 Structure of Complete Type |
|
|
109 | (1) |
|
5.4.2 Structure of Layered Type |
|
|
110 | (1) |
|
5.4.3 Structure of Extended Type |
|
|
110 | (1) |
|
|
111 | (2) |
|
6 Temporal Extension of XML Data Model |
|
|
113 | (12) |
|
|
114 | (5) |
|
6.1.1 XML Temporal Driven |
|
|
114 | (2) |
|
6.1.2 Commercial-Driven Temporal Database |
|
|
116 | (3) |
|
6.2 Temporal Research of the Semi-Structured Data |
|
|
119 | (1) |
|
6.3 Temporal XML Model and Query Mechanism |
|
|
120 | (3) |
|
|
123 | (2) |
|
7 Data Operations Based on Temporal Variables |
|
|
125 | (24) |
|
|
125 | (2) |
|
7.2 Data Model Based on Temporal Variables |
|
|
127 | (5) |
|
7.2.1 Order and Temporal Variables |
|
|
127 | (2) |
|
7.2.2 Main Body Instances |
|
|
129 | (2) |
|
7.2.3 Bitemporal Relation Model Based on Variables |
|
|
131 | (1) |
|
|
132 | (6) |
|
|
132 | (3) |
|
|
135 | (1) |
|
|
136 | (2) |
|
|
138 | (9) |
|
7.4.1 Now in Current Versions |
|
|
138 | (3) |
|
7.4.2 Now in Non-Current Version |
|
|
141 | (1) |
|
7.4.3 Temporal Querying Algorithms |
|
|
142 | (5) |
|
|
147 | (2) |
Part III Temporal Index Technologies |
|
149 | (76) |
|
8 Temporal Indexes Supporting Valid Time |
|
|
151 | (24) |
|
|
151 | (1) |
|
8.2 Summary of Temporal Index |
|
|
152 | (7) |
|
8.2.1 Temporal Index Based on Transaction Time |
|
|
153 | (1) |
|
8.2.2 Index Based on Valid Time |
|
|
154 | (1) |
|
|
155 | (4) |
|
|
159 | (7) |
|
8.3.1 Relative Temporal Data Model |
|
|
159 | (1) |
|
8.3.2 Temporal Relation Index Model |
|
|
160 | (6) |
|
8.4 Data Querying and Index Updating |
|
|
166 | (5) |
|
|
166 | (1) |
|
|
167 | (4) |
|
|
171 | (2) |
|
|
171 | (1) |
|
8.5.2 Query Based on Probability |
|
|
172 | (1) |
|
8.5.3 Query Based on the Number of Data |
|
|
172 | (1) |
|
|
173 | (2) |
|
9 Indexes for Moving-Objects Data |
|
|
175 | (28) |
|
|
175 | (6) |
|
9.2 Data Model for Moving Objects |
|
|
181 | (8) |
|
|
182 | (2) |
|
|
184 | (5) |
|
9.3 Index for Moving Object Data |
|
|
189 | (6) |
|
9.3.1 Linear Order Division |
|
|
189 | (3) |
|
|
192 | (3) |
|
|
195 | (3) |
|
|
198 | (3) |
|
|
201 | (2) |
|
10 Temporal XML Index Schema |
|
|
203 | (22) |
|
|
203 | (2) |
|
10.2 Linear-Order Relation |
|
|
205 | (5) |
|
10.2.1 Linear-Order Matrix |
|
|
206 | (1) |
|
10.2.2 Linear-Order Equivalence Relation |
|
|
207 | (3) |
|
10.3 Temporal Summary and Temporal Indexing |
|
|
210 | (4) |
|
|
210 | (1) |
|
|
211 | (2) |
|
|
213 | (1) |
|
|
214 | (3) |
|
10.4.1 Query Based on Absolute Paths |
|
|
215 | (1) |
|
10.4.2 Query Based on Relative Paths |
|
|
215 | (2) |
|
10.5 Simulation and Evaluation |
|
|
217 | (6) |
|
10.5.1 Environment and Data Design |
|
|
217 | (1) |
|
10.5.2 Simulation and Evaluation |
|
|
217 | (6) |
|
|
223 | (2) |
Part IV Temporal Database Management Systems |
|
225 | (56) |
|
11 Implementation of Temporal Database Management Systems |
|
|
227 | (18) |
|
|
227 | (1) |
|
|
228 | (6) |
|
|
228 | (2) |
|
11.2.2 TimeDB 2.0 Beta 4's User Interface |
|
|
230 | (2) |
|
|
232 | (2) |
|
|
234 | (7) |
|
|
234 | (1) |
|
11.3.2 TempDB's User Interface |
|
|
235 | (3) |
|
|
238 | (3) |
|
11.4 Comparing TimeDB with TempDB |
|
|
241 | (1) |
|
|
242 | (3) |
|
12 Improvement and Extension to ATSQL2 |
|
|
245 | (16) |
|
|
245 | (1) |
|
|
246 | (3) |
|
12.2.1 Requirements and Expatiation |
|
|
246 | (1) |
|
12.2.2 Properties of ATSQL2 |
|
|
247 | (2) |
|
12.3 Interpretation of ATSQL2 Semantics |
|
|
249 | (6) |
|
12.3.1 Data Definition Statement |
|
|
249 | (1) |
|
12.3.2 Data Manipulation Statement |
|
|
250 | (1) |
|
12.3.3 Data Query Statement |
|
|
251 | (4) |
|
|
255 | (3) |
|
12.4.1 Clear Regulation to the Semantic Operator |
|
|
255 | (1) |
|
12.4.2 Re-Definition of Scalar Expression |
|
|
256 | (1) |
|
12.4.3 Clearly Regulate the Usage of Common Operators and Temporal Operators in Conditional Statements |
|
|
257 | (1) |
|
|
258 | (3) |
|
13 Design and Implementation of TempDB |
|
|
261 | (20) |
|
|
261 | (1) |
|
|
262 | (4) |
|
13.2.1 Middleware Architecture |
|
|
262 | (1) |
|
13.2.2 Platform of Implementation |
|
|
263 | (1) |
|
13.2.3 Architecture of TempDB |
|
|
263 | (3) |
|
13.3 Implementation of TempDB |
|
|
266 | (4) |
|
|
266 | (1) |
|
|
267 | (2) |
|
|
269 | (1) |
|
13.4 Processing Mechanism of Temporal Integrity Constraints |
|
|
270 | (5) |
|
|
271 | (1) |
|
13.4.2 Temporal Insertion |
|
|
271 | (1) |
|
|
272 | (1) |
|
13.4.4 Temporal Modification |
|
|
273 | (2) |
|
13.5 Optimization of Performance |
|
|
275 | (3) |
|
13.5.1 Temporal Indexes and MAP21 |
|
|
275 | (1) |
|
|
275 | (1) |
|
|
276 | (2) |
|
|
278 | (3) |
Part V Temporal Application and Case Study |
|
281 | (62) |
|
14 Research on Temporal Extended Role Hierarchy |
|
|
283 | (10) |
|
|
283 | (1) |
|
|
284 | (1) |
|
14.3 Extended Role Hierarchy |
|
|
285 | (2) |
|
14.4 Temporal Role Hierarchy |
|
|
287 | (5) |
|
14.4.1 Time Constraint on the Inheritance of Restricted Special Permission |
|
|
287 | (2) |
|
14.4.2 Temporal Inheritance Character |
|
|
289 | (1) |
|
14.4.3 Space and Time Efficiency Analysis |
|
|
290 | (2) |
|
|
292 | (1) |
|
15 Temporal Workflow Modeling and Its Application |
|
|
293 | (18) |
|
|
293 | (1) |
|
|
294 | (1) |
|
15.3 A Modified Workflow Meta-Model and Temporal Attributes |
|
|
295 | (6) |
|
15.3.1 Build-Time Meta-Model |
|
|
296 | (3) |
|
15.3.2 Run-Time Meta-Model |
|
|
299 | (1) |
|
15.3.3 A Formal Model of Temporal Workflow |
|
|
300 | (1) |
|
15.4 Fuzzy Temporal Workflow Nets (FTWF-Nets) |
|
|
301 | (3) |
|
|
301 | (1) |
|
15.4.2 Formal Definition for FTWF-Nets |
|
|
302 | (1) |
|
15.4.3 Time Related Calculation in FTWF-Nets |
|
|
303 | (1) |
|
15.5 Time Modeling and Time Possibility Analysis |
|
|
304 | (2) |
|
|
306 | (2) |
|
|
308 | (3) |
|
16 Temporal Knowledge Representation and Reasoning |
|
|
311 | (14) |
|
|
311 | (2) |
|
16.2 Temporal Production System |
|
|
313 | (5) |
|
|
313 | (2) |
|
16.2.2 Temporal Reasoning |
|
|
315 | (3) |
|
16.3 Prototype Implementation in a Salary System |
|
|
318 | (4) |
|
|
318 | (1) |
|
16.3.2 Data Structures of Temporal Production Rules in Database |
|
|
319 | (1) |
|
16.3.3 Data Structures of Facts in Database |
|
|
320 | (1) |
|
16.3.4 Details in Reasoning |
|
|
320 | (2) |
|
16.3.5 Binding Semantics of Now Variable |
|
|
322 | (1) |
|
|
322 | (3) |
|
17 Temporal Application Modes and Case Study |
|
|
325 | (18) |
|
17.1 Temporal Application Modes |
|
|
326 | (1) |
|
17.1.1 Entire Temporal Application Mode |
|
|
326 | (1) |
|
17.1.2 Embedding Temporal Application Mode |
|
|
327 | (1) |
|
17.1.3 Mix Temporal Application Mode |
|
|
327 | (1) |
|
17.2 Temporal Data/Knowledge View |
|
|
327 | (3) |
|
17.2.1 Temporal Data View |
|
|
327 | (1) |
|
17.2.2 Temporal Data/Knowledge Model |
|
|
328 | (1) |
|
17.2.3 Links of Temporal Knowledge and Temporal Data |
|
|
328 | (2) |
|
17.3 Temporal Application in Cooperative Software |
|
|
330 | (4) |
|
17.3.1 Three Basic Elements of Cooperative Software |
|
|
330 | (1) |
|
17.3.2 Temporal Relation of Collaborative Roles |
|
|
331 | (1) |
|
17.3.3 Temporal Extension in the Collaboration Information |
|
|
332 | (1) |
|
17.3.4 Temporal Extension of Workflow |
|
|
332 | (1) |
|
|
333 | (1) |
|
17.4 SIDSS: A Typical Example of Temporal Application |
|
|
334 | (7) |
|
|
334 | (1) |
|
17.4.2 Temporal Data in SIDSS |
|
|
335 | (2) |
|
17.4.3 Temporal Knowledge in SIDSS |
|
|
337 | (3) |
|
17.4.4 Implementation of SIDSS |
|
|
340 | (1) |
|
|
341 | (2) |
Appendix |
|
343 | (4) |
|
A.1 Extension ATSQL of TempDB 2.1 |
|
|
343 | (2) |
|
|
345 | (2) |
Index |
|
347 | |