Temporal databases: theory, design, and implementation
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
Redwood City, Calif. [u.a.]
Benjamin/Cummings
1993
|
| Series: | Benjamin/Cummings series on database systems and applications
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XX, 633 S. graph. Darst. |
| ISBN: | 0805324135 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008042856 | ||
| 003 | DE-604 | ||
| 005 | 20130723 | ||
| 007 | t| | ||
| 008 | 930719s1993 xx d||| |||| 10||| engod | ||
| 020 | |a 0805324135 |9 0-8053-2413-5 | ||
| 035 | |a (OCoLC)27265997 | ||
| 035 | |a (DE-599)BVBBV008042856 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 |a DE-29T |a DE-384 |a DE-634 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.9.D3 | |
| 082 | 0 | |a 005.75 |2 20 | |
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 084 | |a DAT 651f |2 stub | ||
| 245 | 1 | 0 | |a Temporal databases |b theory, design, and implementation |c Abdullah Uz Tansel ... |
| 264 | 1 | |a Redwood City, Calif. [u.a.] |b Benjamin/Cummings |c 1993 | |
| 300 | |a XX, 633 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Benjamin/Cummings series on database systems and applications | |
| 650 | 4 | |a Bases de données spatio-temporelles | |
| 650 | 7 | |a Bases de données |2 ram | |
| 650 | 7 | |a SGBD |2 inriac | |
| 650 | 7 | |a base donnée relationnelle |2 inriac | |
| 650 | 7 | |a base donnée temporelle |2 inriac | |
| 650 | 7 | |a langage interrogation |2 inriac | |
| 650 | 7 | |a modèle donnée |2 inriac | |
| 650 | 4 | |a Temporal databases | |
| 650 | 0 | 7 | |a Zeitfaktor |0 (DE-588)4190602-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenbank |0 (DE-588)4011119-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Datenbank |0 (DE-588)4011119-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Datenbank |0 (DE-588)4011119-2 |D s |
| 689 | 1 | 1 | |a Zeitfaktor |0 (DE-588)4190602-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Tansel, Abdullah Uz |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005291760&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005291760 | |
Record in the Search Index
| _version_ | 1828730025509126144 |
|---|---|
| adam_text |
Contents
Preface
xviii
I EXTENSIONS TO THE RELATIONAL DATA MODEL
1
1
The Historical Relational Data Model (HRDM) Revisited
6
1.1
Introduction
. 6
1.2 Lifespans. 7
1.3
Historical Relations in HRDM
. 12
1.4
The Historical Relational Algebra of HRDM
. 17
1.4.1
Set-Theoretic Operations
. 17
1.4.2
Project
. 20
1.4.3
Select
. 20
1.4.4
Time-Slice
. 22
1.4.5
When
. 23
1.4.6
Join
. 23
1.5
Summary and Future Work
. 26
2
Temporal Databases: A Prelude to Parametric Data
28
2.1
Introduction
. 28
2.1.1
Motivation for Our Approach
. 28
2.1.2
Making Database Queries and Updates Queriable
. 32
2.1.3
Making Real World Errors Queriable
. 32
2.1.4
Making Incomplete Information Queriable
. 33
2.1.5
Making Temporal and Spatial Data Coexist
. 33
2.1.6
Feasibility of Our Approach
. 34
2.2
The Basic Temporal Model
. 34
2.2.1
Temporal Elements
. 34
2.2.2
Attribute Values
. 34
2.2.3
Tuples
. 35
2.2.4
Keyed Relations
. 35
2.2.5
Weak Equality
. 36
2.2.6
Keys and Restructuring
. 36
vi
CONTENTS
2.2.7
TempSQL:
An Extension
of SQL
. 37
2.2.8
Temporal
and Boolean
Expressions in TempSQL
. 37
2.2.9
Achieving Literal Compatibility over the Classical Model
. 38
2.2.10
Union, Difference, and Intersection
. 38
2.2.11
The Select Statement
. 38
2.2.12
The SPJ Operators
. 40
2.2.13
Weakly Invariant Expressions
. 41
2.2.14
Subqueries
. 41
2.2.15
Aggregates
. 42
2.2.16
The Classical User
. 43
2.2.17
Multihomogeneity
. 43
2.2.18
The Nature of Temporal Elements
. 44
2.2.19
User-Defined Time
. 45
2.2.20
Generalization to Several Dimensions
. 45
2.2.21
Circumventing Homogeneity
. 45
2.3
Comparison with Interval Timestamping
. 45
2.4
Static Data, Snapshot Data, and Upward Compatibility
. 49
2.4.1
Users
. 50
2.4.2
Upward Compatibility for the Classical User
. 50
2.5
A Model for Querying Database Transactions
. 51
2.5.1
A Transaction Log
. 51
2.5.2
The Outcome of a Transaction Log
. 52
2.5.3
Querying the Model
. 52
2.6
A Model for Querying Errors
. 54
2.6.1
Querying for Errors
. 57
2.6.2
Avoiding Redundancy
. 58
2.7
A Model for Querying Incomplete Information
. 58
2.7.1
Partial Temporal Elements
. 59
2.7.2
Attributes
. 60
2.7.3
Tuples and Relations
. 61
2.8
A Model for Querying Spatio-temporal Data
. 62
2.9
Conclusion
. 65
3
The Interval-extended Relational Model and Its Application to Valid-time
Databases
67
3.1
Introduction
. 67
3.2
Underlying Formalization
. 68
3.2.1
Spaces in the Context of Databases
. 68
3.2.2
Intervals in the Context of Databases
. 70
3.2.3
N-Dimensional Intervals
. 71
3.2.4
The Duality Principle
. 72
3.3
The IXRM Model
. 73
3.3.1
Interval Relations
. 73
3.3.2
Operations
. 75
3.3.3
Geometric Interpretation of the New Operations
. 80
CONTENTS
vii
3.4 Application
to Valid-Time Databases
. 83
3.4.1
Insertion of Data
. 83
3.4.2
Deletion of Data
. 84
3.4.3
Retrieval of Data
. 85
3.5
Implementation
. 87
3.5.1
Implementation of the New Operations
. 87
3.5.2
Implementation of Functions
. 88
3.6
Conclusions
. 90
Temporal Extensions to the Relational Model and SQL
92
4.1
Introduction
. 92
4.2
Temporal Relational Model (TRM)
. 93
4.2.1
Synchronism and Temporal Dependence
. 94
4.2.2
Time Normalization
. 96
4.2.3
The Need for Time Normalization
. 97
4.3
TSQL: A Language Interface for TRM
. 99
4.3.1
The WHEN Clause
. 100
4.3.2
Retrieval of Timestamps
. 101
4.3.3
Temporal Ordering
. 102
4.3.4
The TIME-SLICE Clause
. 104
4.3.5
Aggregate Functions and GROUP BY
. 105
4.3.6
The Moving Window
. 106
4.4
Temporal Relational Operators
. 107
4.4.1
Temporal Join
. 107
4.4.2
COMPRESS
. 108
4.5
Summary
. 108
HSQL: A Historical Query Language
110
5.1
Introduction
. 110
5.2
The Historical Data Model: An Overview
. 112
5.2.1
States and Events
. 112
5.2.2
Why Only Real Time?
. 113
5.2.3
Modeling
. 113
5.2.4
Historical Relations and Their Representation
. 114
5.2.5
Integrity Constraints and Keys
. 115
5.2.6
Remarks
. 116
5.3
The Time Domain in HSQL
. 116
5.3.1
Instant Comparisons
. 117
5.3.2
Interval Comparisons
. 117
5.3.3
Interval Operations
. 117
5.3.4
Built-in Functions
. 118
5.3.5
Comparing Instants of Different Granularities
. 119
5.4
Historical Relational Algebra
. 120
5.4.1
Standard Operations
. 120
5.4.2
Completeness
. 120
viii CONTENTS
5.4.3 New Primitive
Operations.
121
5.4.4 New
Useful
Operators. 122
5.5 HSQL:
Extended SQL for Historical Databases
. 123
5.5.1 Data Definition . 123
5.6 Data
Retrieval
. 124
5.6.1 Aggregate
Functions
. 127
5.6.2
Examples .
128
5.7 Data Manipulation. 130
5.7.1
The Insert
Operation. 131
5.7.2 The Update Operation. 131
5.7.3
The Delete
Operation. 131
5.8
Retrospective
Updates. 132
5.8.1
Delayed Maintenance.
132
5.8.2
Error Correction
. 132
5.8.3
Examples
. 134
5.9
Using Nonhistorical Relations
. 136
5.10
Facilities for Time Rollback
. 136
5.11
Handling Future Time
. 137
5.12
Conclusions
. 138
6
An Overview of TQuel
141
6.1
Introduction
. 141
6.2
The Language
. 142
6.2.1
The Data Model
. 142
6.2.2
Quel
Retrieval Statements
. 143
6.2.3
Transaction Time-Slice
. 144
6.2.4
Valid-time Selection
. 144
6.2.5
Valid-time Projection
. 146
6.2.6
Aggregates
. 147
6.2.7
Valid-time Indeterminacy
. 148
6.2.8
Update Statements
. 149
6.2.9
Schema Evolution
. 150
6.3
Formal Semantics
. 151
6.3.1
The Tuple Calculus
. 152
6.3.2
Temporal Constructors
. 152
6.3.3
Temporal Predicates
. 154
6.3.4
The Retrieve Statement
. 155
6.3.5
Aggregates
. 156
6.3.6
Valid-time Indeterminacy
. 158
6.3.7
The Update Statements
. 160
6.3.8
Reducibility
. 161
6.3.9
Summary
. 161
6.4
A Temporal Algebra
. 162
6.4.1
The Data Model
. 162
6.4.2
Extension of Snapshot Operators
. 163
CONTENTS ix
6.4.3 New Temporal Operators. 165
6.4.4 Aggregates. 166
6.4.5
Accommodating Transaction Time
. 168
6.4.6
Valid-time Indeterminacy
. 171
6.4.7
Properties of the Algebra
. 171
6.4.8
Correspondence with the Calculus
. 172
6.4.9
Summary
. 174
6.5
Implementation
. 174
6.5.1
Query Optimization
. 175
6.5.2
Page Structure
. 176
6.6
Summary
. 177
6.7
TQuel Syntax
. 178
A Generalized Relational Framework for Modeling Temporal Data
183
7.1
Introduction
. 183
7.2
The Model
. 184
7.3
Temporal Relational Calculus (TRC)
. 188
7.3.1
Symbols
. 188
7.3.2
Well-formed and Well-typed Formulas
. 189
7.3.3
Example Queries
. 190
7.4
Temporal Relational Algebra
(TRA)
. 190
7.4.1
Operations
. 190
7.4.2
TRA
Operations for the Example Queries
. 195
7.5
Structuring Nested Temporal Relations
. 195
7.6
Temporal Query Languages
. 199
7.7
Conclusion
. 200
Ben-Zvi's Pioneering Work in Relational Temporal Databases
202
8.1
Introduction
. 202
8.2
Time
. 202
8.2.1
Time Period Sets
. 203
8.3
Timestamping of Data
. 203
8.3.1
Tuple Version Sets
. 203
8.3.2
Time Relations
. 203
8.4
The Time View Operator
. 204
8.4.1
The Default Time View
. 204
8.4.2
Time View Capability
. 204
8.5
Timestamping of Programs
. 204
8.6
Modifications
. 205
8.7
Querying
. 205
8.7.1
Querying for Time Period Sets
. 205
8.7.2
Algebraic Operators on Relations
. 205
8.7.3
Extensions of SQL
. 205
8.8
Implementation
. 206
8.9
Conclusion
. 207
χ
CONTENTS
II OTHER DATA
MODELS 209
9
A
Tempora] Model
and Query Language for
EER Databases
212
9.1
Introduction.
212
9.2
The Temporal EER (TEER) Model
. 213
9.2.1
Representing the Time Dimension
. 213
9.2.2
The Temporal EER Data Model
. 214
9.3
The Temporal EER
Query Language.
218
9.3.1
Temporal
Boolean Expressions, Selections, and Projections
. . . 219
9.3.2
Specification of Temporal Queries over Time Intervals
. 220
9.3.3
Specification of Temporal Queries over Temporal Elements
. . . 225
9.4
Specification of Temporal Updates
. 227
9.5
Related Work and Conclusions
. 228
10
A Uniform Model for Temporal and Versioned Object-oriented Databases
230
10.1
Introduction
. 230
10.2
Overview of the OODAPLEX Data Model
. 231
10.3
Temporal Extension
. 234
10.3.1
Temporal Data Modeling Using Functions
. 234
10.3.2
Modeling Time as Abstract Data Types
. 235
10.3.3
Modeling of Versioned Objects
. 237
10.3.4
Temporal Constraints
. 238
10.3.5
Temporal Inheritance
. 239
10.4
OODAPLEX Queries
. 241
10.4.1
Expressions
. 241
10.4.2
Temporal Query Examples
. 242
10.5
Conclusions
. 246
11
A Temporal Data Model Based on Time Sequences
248
11.1
Introduction
.248
11.2
Temporal Data Model (TDM) Constructs
.249
11.2.1
Time Sequences
.249
11.2.2
Time Sequence Collections
.250
11.2.3
Classes
.251
11.2.4
Simple TSCs
.251
11.2.5
Complex TSCs
.252
11.3
Properties of TSCs
.252
11.4
Data Manipulation
.255
11.4.1
Principles
.255
11.4.2
Common Operators
.256
11.5
Representing TDM in a Relational Environment
.262
11.5.1
The Need for Temporal Relations
.262
11.5.2
Alternatives for Tabular Representation
.263
11.5.3
Other Representation Issues
.264
11.5.4
Reasons for Selecting the FP Category
.265
CONTENTS xi
11.5.5 Relational
Representation of
a
TSC. 267
11.6 TSC
Families
. 268
11.7
Conclusions
. 269
12
Object and Spreadsheet Histories
271
12.1
Introduction
. 271
12.2
Object Histories
. 272
12.2.1
The Object-History Model
. 272
12.2.2
Constraints
. 275
12.2.3
Interval Queries
. 279
12.2.4
Two Operations
. 281
12.3
Spreadsheet Histories
. 285
12.3.1
The Spreadsheet-History Model
. 286
12.3.2
Relational Operators
. 288
12.3.3
Forecasting
. 289
12.4
Conclusion
. 292
13
Temporal Deductive Databases
294
13.1
Introduction
. 294
13.2
The Basic Model and Expressiveness
. 295
13.2.1
The Basic Model
. 295
13.2.2
Expressiveness: Definitions
. 296
13.3
Deductive Formalisms
. 297
13.3.1
Dataloge
. 298
13.3.2
Templog
. 300
13.3.3
Datalogsis and Templog Related
. 301
13.3.4
Expressiveness
. 301
13.3.5
Query Evaluation
. 305
13.3.6
Negation
. 309
13.4
Constraint-based Formalisms
. 310
13.4.1
Linear Repeating Points and Constraints
. 311
13.4.2
Constraint Databases
. 317
13.5
Related Work
. 318
13.6
Conclusions
. 319
Ш
IMPLEMENTATION
321
ПІЛ
DDL Statements
. 321
Ш.2
System Catalog
. 322
ПІ.З
Query Optimization
. 322
ПІ.3.1
Local Query Optimization
. 323
Ш.3.2
Global Query Optimization
. 323
ПІ.4
Query Evaluation
. 324
Ш.4.
1
A Straightforward Implementation
. 324
ПІ.4.2
Joins
. 324
rii
CONTENTS
ΙΠ.4.3
Temporal Indexes
. 325
111.5
Stored Data
Manager
. 326
111.6
Chapter Summaries
. 327
14
Stream Processing: Temporal Query Processing and Optimization
329
14.1
Introduction
. 329
14.2
The Data Model and Queries
. 330
14.3
Timestamps versus Ordinary Attributes
. 332
14.4
Temporal Operators
. 334
14.4.1
Join Operators
. 334
14.4.2
Snapshot/Interval Operators
. 336
14.4.3
Time-Project and Time-Union Operators
. 337
14.5
The Conventional Approach
. 338
14.6
Stream Processing Techniques
. 340
14.6.1
The Approach
. 340
14.6.2
Sort
Orderings
. 341
14.7
Generalized Data Stream Indexing
. 344
14.7.1
Data Streams
. 344
14.7.2
Checkpointing Query Execution
. 345
14.7.3
Query Processing Using a Data Stream Index
. 347
14.7.4
Quantitative Analysis
. 349
14.7.5
Comparisons
. 350
14.8
Optimization Issues
. 350
14.8.1
The "interval" Operator
. 350
14.8.2
Semantic Query Optimization
. 352
14.9
Conclusions and Future Work
. 353
15
Join Processing and Optimization in Temporal Relational Databases
356
15.1
Introduction
. 356
15.2
Factors Affecting Processing Optimization
. 357
15.2.1
Physical Data Organization
. 357
15.2.2
Specialized Indexing Methods
. 357
15.2.3
Meta-data
. 357
15.2.4
Architecture of the Query Processor
. 357
15.2.5
Estimation of Selectivities
. 358
15.3
Relational Representation of Temporal Data
. 358
15.4
Temporal Joins
. 358
15.4.1
Time-intersection Equijoin
. 359
15.4.2
Time-intersection Join
. 359
15.4.3
Entity-Join
. 360
15.5
Two-Way Join Algorithms
. 361
15.5.1
Tuple Covering
. 361
15.5.2
Data Sorted by Ts
. 363
15.5.3
Time-Intersection Equijoin
. 365
15.5.4
Entity-joins
. 372
CONTENTS xiii
15.6 N-Way
Join Optimization
. 382
15.6.1
Intersection Joins
. 382
15.6.2
iV-Way Entity-joins
. 384
15.7
Summary
. 387
16
Transaction-Time Databases
388
16.1
Introduction
. 388
16.2
Timestamping in Transaction-Time Databases
. 389
16.2.1
The Timestamping of Data
. 389
16.2.2
Agreeing on a Timestamp
. 390
16.2.3
Completing Timestamping after Commit
. 393
16.3
The Time-split B-tree
. 393
16.3.1
Overview
. 393
16.3.2
TSB-tree Searching
. 394
16.3.3
TSB-tree Updating
. 395
16.3.4
TSB-trees for Other Transaction-Time Databases
. 398
16.3.5
Search Performance and Space Utilization
. 400
16.4
Concurrency Control for TSB-trees
. 402
16.4.1
П
-trees
.
402
16.4.2
The TSB-tree as a
П
-tree
.
403
16.4.3
Multiple Atomic Actions for Tree Growth
. 405
16.4.4
Completing Structure Changes
. 406
16.4.5
An Example of a Structure Change Action
. 406
16.4.6
Summary of Concurrency Method
. 407
16.5
Transaction-Time Database for Backup
. 407
16.5.1
Overview
. 408
16.5.2
Forcing Current Data to History Nodes
. 408
16.5.3
Splitting Index Nodes
. 410
16.5.4
The Backup Process
. 413
16.5.5
Media Recovery
. 414
16.6
Discussion
. 415
16.6.1
Current State
. 415
16.6.2
Providing More Capability
. 416
17
Indexing Techniques for Historical Databases
418
17.1
Introduction
. 418
17.2
Segment, Mixed-Media, and Lopsided Indexes
. 420
17.3
Segment Indexes
. 420
17.3.1
An Example Segment Index: The SR-Tree
. 421
17.3.2
Performance Experiments
. 424
17.4
Mixed-Media Indexes
. 425
17.4.1
Hypothesis
. 425
17.4.2
Vacuuming Indexes on Historical Relations
. 425
17.4.3
Performance Experiments
. 428
17.5
Lopsided Indexes
. 428
xiv CONTENTS
17.5.1 An
Example Lopsided
Index.429
17.5.2 Performance Experiments.430
17.6
Summary
.431
18 The Time Index
and the
Monotonie
Bł-tree
433
18.1
Introduction.
433
18.2
The Time Index Access Structure
. 434
18.2.1
The Temporal Storage Model
. 435
18.2.2
Description of the Time Index
. 436
18.2.3
Using the Time Index for Processing the WHEN Operator
. 440
18.2.4
Using the Time Index for Processing Aggregate Functions
. 440
18.3
Extensions for Other Temporal Operators
. 441
18.3.1
The Two-Level Combined Attribute/Time Index
. 443
18.3.2
Processing the Temporal Select Operator
. 443
18.3.3
Using the Time Index to Process Temporal JOIN Operations
. . 444
18.4
Performance Evaluation of the Time Index
. 445
18.5
The
Monotonie
В+Чгее (МВТ)
. 449
18.6
The Migration Strategy
. 452
18.6.1
Migration of Object Versions to Optical Disks
. 453
18.6.2
Migration of Index Nodes
. 454
18.6.3
Migration of Long Persistent Versions (LPVs)
. 454
18.7
Related Work and Conclusions
. 455
19
Differential Query Processing in Transaction-Time Databases
457
19.1
Introduction
. 457
19.2
An Algebra for Transaction-Time Relations
. 460
19.2.1
Data Structures and
Recomputation
Operators
. 460
19.2.2
Adding Differential Operators
. 464
19.2.3
Equivalence Rules
. 466
19.3
A Framework for Query Optimization
. 466
19.3.1
State Transition Networks
. 466
19.3.2
Plan Selection
. 468
19.3.3
Pruning Rules
. 470
19.3.4
Tradeoffs
. 472
19.4
Storage Structures
. 475
19.4.1
Storage of Backlogs and Caches
. 475
19.4.2
The Extended Logical Access Path
. 476
19.5
Operator Implementation
. 480
19.5.1
Overview of Operators
. 480
19.5.2
Selection, Projection, and Join
. 481
19.5.3
Computing Differential Files
. 482
19.5.4
Incrementing/Decrementing Relations
. 487
19.6
Conclusion and Future Research
. 490
CONTENTS xv
IV
GENERAL
LANGUAGE AND OTHER ISSUES IN
TEMPORAL DATABASES
493
20
On the Completeness of Query Languages for Grouped and Ungrouped
Historical Data Models
496
20.1
Introduction
. 496
20.2
Temporally Grouped and Temporally Ungrouped Data Models
. 498
20.2.1 TU:
A Canonical Temporally Ungrouped Relation Structure
. . . 500
20.2.2
TG: A Canonical Temporally Grouped Relation Structure
. 501
20.2.3
Comparison of Grouped and Ungrouped Models
. 502
20.3
Completeness
. 508
20.4
Historical Relational Completeness for Ungrouped Languages
. 510
20.4.1
Temporal Calculi TL&aaTC
. 510
20.4.2
Ungrouped Historical Relational Completeness
. 512
20.5
Historical Relational Completeness for Grouped Languages
. 513
20.5.1
A Grouped Historical Calculus
. 513
20.5.2
Examples of ¿^ Queries
. 516
20.5.3
Grouped Historical Relational Completeness
. 516
20.6
Relationship between Historically Grouped and Historically Ungrouped
Completeness
. 517
20.6.1
Extending
TU
and TC to Support Grouping
. 517
20.6.2
Relationship Between Grouped and Ungrouped Models
. 520
20.7
Historical Models and Completeness
. 523
20.7.1
HRDM
. 524
20.7.2
The Historical Homogeneous Model of Gadia
. 526
20.7.3
TQuel
. 527
20.7.4
The Temporal Relational Algebra of Lorentzos
. 529
20.8
Summary and Conclusions
. 530
21
Temporal Reasoning
534
21.1
Introduction
. 534
21.2
Time Modeling
. 534
21.2.1
Types of Time Domains
. 535
21.2.2
Modeling Temporal Relationships
. 537
21.2.3
Temporal Entities
. 542
21.3
Temporal Reasoning
. 546
21.3.1
Reasoning about Temporal Structures
. 548
21.3.2
Computational Aspects of Temporal Reasoning
. 553
21.3.3
Derivation from Incomplete Information
. 555
21.3.4
Updates in TDMSs
. 557
21.4
Handling Temporal Objects
. 559
21.4.1
Modeling Temporal Objects
. 560
21.4.2
Reasoning about Temporal Objects
. 561
21.5
Summary and Conclusions
. 562
xvi CONTENTS
22
Integrating
Temporal Data in
a Heterogeneous
Environment 563
22.1
Introduction.
563
22.2
Levels of Temporal Support
. 565
22.3
Choices of Domain Types for Timestamps
. 566
22.3.1
Granularity Differences
. 568
22.4
Processing of Temporal Data
. 569
22.4.1
Events and Intervals
. 570
22.4.2
Introduction of Temporal Semantics
. 571
22.5
Temporal Operations
. 574
22.5.1
Temporal Comparison
. 574
22.6
Operations on Temporal Relations
. 577
22.6.1
The Temporal Sequence
. 577
22.6.2
The History Operator
. 578
22.6.3
Computation of Snapshots
. 578
22.7
Conclusion
. 578
23
Applications of Temporal Databases to Knowledge-based Simulations
580
23.1
Introduction
. 580
23.2
Some Background Concepts from Rule-based Simulations
. 581
23.2.1
Survey of Rule-based Simulation Systems
. 581
23.2.2
Comparison of Rule-based Simulation Methods
. 583
23.2.3
Limitations of Existing Rule-based Simulation Methods
. 584
23.3
The Temporal Simulation Language SimTL
. 585
23.3.1
The Temporal Simulation Sublanguage
. 586
23.3.2
Queries on Simulation Traces
. 592
23.4
Conclusion
. 593
Bibliography
594
A Glossary of Temporal Database Concepts
621 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV008042856 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D3 |
| callnumber-search | QA76.9.D3 |
| callnumber-sort | QA 276.9 D3 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 270 |
| classification_tum | DAT 651f |
| ctrlnum | (OCoLC)27265997 (DE-599)BVBBV008042856 |
| dewey-full | 005.75 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.75 |
| dewey-search | 005.75 |
| dewey-sort | 15.75 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV008042856</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130723</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930719s1993 xx d||| |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0805324135</subfield><subfield code="9">0-8053-2413-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27265997</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008042856</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.75</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 270</subfield><subfield code="0">(DE-625)143638:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 651f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Temporal databases</subfield><subfield code="b">theory, design, and implementation</subfield><subfield code="c">Abdullah Uz Tansel ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Redwood City, Calif. [u.a.]</subfield><subfield code="b">Benjamin/Cummings</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 633 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Benjamin/Cummings series on database systems and applications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Bases de données spatio-temporelles</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bases de données</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">SGBD</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée relationnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée temporelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage interrogation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">modèle donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Temporal databases</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitfaktor</subfield><subfield code="0">(DE-588)4190602-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenbank</subfield><subfield code="0">(DE-588)4011119-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenbank</subfield><subfield code="0">(DE-588)4011119-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Datenbank</subfield><subfield code="0">(DE-588)4011119-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Zeitfaktor</subfield><subfield code="0">(DE-588)4190602-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tansel, Abdullah Uz</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005291760&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005291760</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV008042856 |
| illustrated | Illustrated |
| indexdate | 2025-04-07T08:00:56Z |
| institution | BVB |
| isbn | 0805324135 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005291760 |
| oclc_num | 27265997 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 DE-29T DE-384 DE-634 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-739 DE-29T DE-384 DE-634 DE-11 DE-188 |
| physical | XX, 633 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Benjamin/Cummings |
| record_format | marc |
| series2 | Benjamin/Cummings series on database systems and applications |
| spelling | Temporal databases theory, design, and implementation Abdullah Uz Tansel ... Redwood City, Calif. [u.a.] Benjamin/Cummings 1993 XX, 633 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Benjamin/Cummings series on database systems and applications Bases de données spatio-temporelles Bases de données ram SGBD inriac base donnée relationnelle inriac base donnée temporelle inriac langage interrogation inriac modèle donnée inriac Temporal databases Zeitfaktor (DE-588)4190602-0 gnd rswk-swf Datenbank (DE-588)4011119-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Datenbank (DE-588)4011119-2 s DE-604 Zeitfaktor (DE-588)4190602-0 s Tansel, Abdullah Uz Sonstige oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005291760&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Temporal databases theory, design, and implementation Bases de données spatio-temporelles Bases de données ram SGBD inriac base donnée relationnelle inriac base donnée temporelle inriac langage interrogation inriac modèle donnée inriac Temporal databases Zeitfaktor (DE-588)4190602-0 gnd Datenbank (DE-588)4011119-2 gnd |
| subject_GND | (DE-588)4190602-0 (DE-588)4011119-2 (DE-588)1071861417 |
| title | Temporal databases theory, design, and implementation |
| title_auth | Temporal databases theory, design, and implementation |
| title_exact_search | Temporal databases theory, design, and implementation |
| title_full | Temporal databases theory, design, and implementation Abdullah Uz Tansel ... |
| title_fullStr | Temporal databases theory, design, and implementation Abdullah Uz Tansel ... |
| title_full_unstemmed | Temporal databases theory, design, and implementation Abdullah Uz Tansel ... |
| title_short | Temporal databases |
| title_sort | temporal databases theory design and implementation |
| title_sub | theory, design, and implementation |
| topic | Bases de données spatio-temporelles Bases de données ram SGBD inriac base donnée relationnelle inriac base donnée temporelle inriac langage interrogation inriac modèle donnée inriac Temporal databases Zeitfaktor (DE-588)4190602-0 gnd Datenbank (DE-588)4011119-2 gnd |
| topic_facet | Bases de données spatio-temporelles Bases de données SGBD base donnée relationnelle base donnée temporelle langage interrogation modèle donnée Temporal databases Zeitfaktor Datenbank Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005291760&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT tanselabdullahuz temporaldatabasestheorydesignandimplementation |