高级数据库技术讲解-第6章__时态数据库.ppt

3.4.2 HRDM数学模型 全属性集是抽象的符号集，记为U＝{A1,A2,…,An},属性A的值域记为Dom(A)，是含有至少两个元素的集合，设T为系统时间论域，Di＝DOM(Ai),D=D1∪D2∪…∪Dn,下面利用集合T和D定义时态映射。记集合TD＝{TD1,TD2,…,TDn},其中对每个i,Di＝{fi|fi:T→Di},fi是从时间域到属性值域D的偏映射，集合TT＝{g|g：T→T},其中g是从T到T的偏映射。 历史关系数据模型（HRDM）的属性定义于时态偏函数集合上，集合HD＝(TD∪{TT})={TT,TD1,TD2,…, TDn}是偏映射的集合，这里称它为时态映射集。 CD＝{f∈HD|F(x)＝常量}为常数函数集合，用符号f|D表示函数f在D上的限制。 定义3-1 ：一个HRDM模型的关系模式T是一个有序四元组R＝A,K,ALS,DOM。其中： A＝{A1,A2,…}是T的属性集。 K是R的关键属性集。 ALS：A×R→2T是属性A的生命周期赋值函数(Assign LifeSpan)，其函数值简记为ALS(A,R). DOM:A→HD从属性集到历史函数集的映射，它满足两个条件，I）对所有关键字属性Aj，DOM(Aj)∈CD(直观解释：关键字值不随时间变化)；II）Dom(A) ALS(A,R)(直观解释：A的取值范围是生命周期中允许取值范围)。 定义3-2：关系模式R上的一个元组是有序二元组t＝v，e，其中 t.e是元组的生命周期。 t.v是一个函数，称为元组的值，对每一个属性A∈R，它把A映射到DOM(A)中。 性质3-1：HRDM模型中，关系模式R上的关系r是有限个符合下列条件的元组集合；如果t1和t2属于r，对每一个u∈t1.e和v∈t2.e，t1.v(k)(u)≠t2.v(k)(v)。也就是说：关系r中不允许任意元组的关键字有重复。 性质3-2：HRDM中，关系r的生命周期，记为LS(r)；关系r 的生命周期是各个属性生命周期的并。如果，r＝{t1,t2,…,tn},则LS(r)＝t1.e∪t2.e∪…∪tn.e。 3.4.3 历史关系代数 在HRDM中的两个关系r1和r2必须满足下面的HRDM可并性条件才能作并、交、差运算。HRDM可并性条件如下： 设关系r1和r2分别是模式R1=A1,K1,ALS1,DOM1和 R2＝A2,K2,ALS2,DOM2上的两个关系，如果R1＝R2，且DOM1＝DOM2，则称r1和r2满足可并性条件。 1．并运算 如果关系r1和r2满足HRDM可并性条件,则它们之间的并运算是将r1和r2中的时态元素合并到一起，并注意时间区间的归并。 两个关系作并运算后,元组的个数并不一定是两个关系元组个数的和,这是因为在并的过程中关键字值相同的元组需要合并,因此它们的生命周期是因子生命周期的并。 工号 工资 生命周期 929502288 [92,95] 800 元 [96,99] 1280元 [00,Now] 1900元 [92,Now] 929502289 [93,95] 800 元 [96,99] 1400元 [00,Now] 1900元 [93,Now] 工号 工资 生命周期 929502288 [96,99] 1280元 [00,02] 1900元 [03,now] 2100元 [96,Now] 929502289 [96,99] 1400元 [00,02] 1900元 [03,now]，2200元 [96,Now] 工号 工资 生命周期 929502288 [92,95] 800 元 [96,99] 1280元 [00,02] 1900元 [03,now] 2100元 [92,Now] 929502289 [93,95] 800 元 [96,99] 1400元 [00,02] 1900元 [03,now]，2200元 [93,Now] 2．差运算： 满足可并性条件的关系r1和r2的时态差运算r4＝r1-r2结果如表16所示。 两个关系作差运算后,元组的生命周期也可能发生变化。 工号 工资 生命周期 929502288 [92,95] 800 元 [92,95] 929502289 [93,95] 800 元 [93,95] 3．交运算　 两个关系作交运算后，元组的生命周期也可能发生变化。 工号 工资 生命周期 929502288 [96,99] 1280元 [00,02] 1900元 [96,02] 929502289 [96,99] 1400元 [00,02] 1900元 [96,02] 4. 笛卡儿积运算 HRDM上的笛卡儿积运算是传统笛卡儿积的推广，并且与投影在某种意义上是互逆运