时态数据库技术.PPTVIP

定义3-1 ：一个HRDM模型的关系模式T是一个有序四元组R＝A,K,ALS,DOM。其中：A＝{A1,A2,…}是T的属性集。K是R的关键属性集。ALS：A×R→2T是属性A的生命周期赋值函数(AssignLifeSpan)，其函数值简记为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上的笛卡儿积运算是传统笛卡儿积的推广，并且与投影在某种意义上是互逆运算。如设关系r1和r2的属性集分别为A1和A2,则应满足:ΠA1(r1×r2)=r1且ΠA2(r1×r2)=r2,其中Π为投影运算。定义3-3笛卡儿积:设r1和r2分别是模式R1＝A1，K1，ALS1，DOM1和R2＝A2,K2,ALS2,DOM2上的关系， r1×r2＝{ton模式R3|存在t1∈r1，存在t2∈r2，t.e=t1.e∪t2.e∧任意A∈R1任意S∈t1.e（t.v(A)(S)=t1.v(A)(S)）∧任意A∈R2任意S∈t2.e（t.v(A)(S)=t2.v(A)(S)）∧任意A∈R1任意S∈t.e-t1.e（t.v(A)(S)=⊥）∧任意A∈R2任意S∈t.e-t2.e（t.v(A)(S)=⊥）}其中R3=A1∪A2,K1∪K