Chap3
Temporal Database
Chap 3: The Interval-extended Chap 3: The Interval-extended Relational Model and Its Relational Model and Its Applications to Valid-time Applications to Valid-time Databases Databases
Chap33.2 Underlying Formalization
Chap33.2 Underlying Formalization
Chap33.2 Underlying Formalization
I(D): The set of all the intervals over 1-d space D
The empty set is not an interval.
Boundaries of interval: start(:di, dj)) stop(:di, dj))
Chap33.2 Underlying Formalization
Chap33.2 Underlying Formalization
Chap33.2.3 N-Dimensional Intervals
Chap33.2.3 N-Dimensional Intervals
u =:2,6) × :1,6)
Chap33.2.4 The Duality Principle
Chap33.3 The IXRM Model
b??
Chap33.3 The IXRM Model
Chap33.3 The IXRM Model
By notation of chap 2
Name Amount john
[d2, d5] ∪ [d9, d11] 10k
[d15, dnow] 12k alex [d9, d11] 14k
Chap33.3 The IXRM Model
Chap33.3.2 Operations
Union, Difference, Projection, Cartesian Product
Chap33.3.2 Operations
S = Fold: Ai ! ( R )
Chap33.3.2 Operations
Chap33.3.2 Operations
IF S = Fold: Ai ! ( R ) , the following properties are satisfied.
Chap33.3.2 Operations
Chap33.3.2 Operations
3.3.2 Operations
R = Unfold: Time ! (SALARY)
SALARY = Fold: Time! (R)
Chap33.3.2 Operations
Chap33.3.2 Operations
Chap33.3.2 Operations
Chap33.3.2 Operations
Chap3
3.3.3 Geometric Interpretation of the New Operations
Chap3
3.3.3 Geometric Interpretation of the New Operations
Chap3
3.3.3 Geometric Interpretation of the New Operations
Chap3
3.3.3 Geometric Interpretation of the New Operations
Chap3
3.3.3 Geometric Interpretation of the New Operations
Chap33.4 Application to Valid-time Database
Chap3
Chap33.4.2 Deletion of Data
Chap33.4.3 Retrieval of Data
Chap3SALARY
Chap3
Chap33.4.3 Retrieval of Data
Chap3
3.4.3 Retrieval of Data
Chap33.4.3 Retrieval of Data
Chap33.5 Implementation
Chap33.5 Implementation