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