属性值的计算顺序 各个属性的值需要按照依赖图的拓扑顺序讣算。 如果依赖图中存在环,则属性计算无法进行。 给定一个SDD,很难判定是否存在一棵分析树, 其对应的依赖图包含环。 但是特定类型的SDD一定不包含环。且有固定 的排序模式 S属性的SDD L属性的SDD 对于这些类型的SDD,我们可以确定属性的计 算顺序,且可以把不需要的属性(及分析树结 点)抛弃以提高效率属性值的计算顺序 • 各个属性的值需要按照依赖图的拓扑顺序计算。 – 如果依赖图中存在环，则属性计算无法进行。 • 给定一个SDD，很难判定是否存在一棵分析树， 其对应的依赖图包含环。 • 但是特定类型的SDD一定不包含环，且有固定 的排序模式 – S属性的SDD – L属性的SDD • 对于这些类型的SDD，我们可以确定属性的计 算顺序，且可以把不需要的属性（及分析树结 点）抛弃以提高效率