Dokument 1 - RWTH Aachen University

228 A Telos-Modelle
attribute, necessary
mergingPart : RewrittenConjunctiveQuery
attribute, single
suchThatPart : RewrittenConjunctiveQuery
attribute,single, necessary
intoPart : RewrittenConjunctiveQuery
constraint
onlyCorrespondence_for_suchThatPart :
$ forall m/MergingClause r/RewrittenConjunctiveQuery c/Conjunct
(m suchThatPart r) and (r containsSyntactically c) ==>
(c in Correspondence) $;
onlyRelation_for_intoPart :
$ forall m/MergingClause r/RewrittenConjunctiveQuery c/Conjunct
(m intoPart r) and (r containsSyntactically c)==>(c in Relation)$
end
A.1.7 Erweiterung für konzeptuelle Modelle multidimensionaler Strukturen
Class Aggregation in ObjectType isA Concept with
attribute refines : Aggregation;
aggregatedBy : DimensionLevel;
aggregatedAttributes: DerivedAttribute
attribute,single,necessary
aggregates : Concept
constraint
eitherOr:
$ forall a/Aggregation d/DimensionLevel der/DerivedAttribute
R1,R2/Relationship
((a aggregatedBy d) and (a aggregatedAttributes der) and
(d accordingTo R1) and (der attributeName R2))
==> (not IDENTICAL(R1,R2)) $;
atMostOnePerRelation:
$ forall a/Aggregation d1,d2/DimensionLevel R1,R2/Relationship
((a aggregatedBy d1) and (a aggregatedBy d2) and
(d1 accordingTo R1) and (d2 accordingTo R2) and
(not IDENTICAL(d1,d2))) ==> not (IDENTICAL(R1,R2))$
end
Class DimensionLevel in ObjectType isA ConceptualObject with
attribute,single, necessary
within : Level;
accordingTo : DimensionAttribute
end
Class Level in ObjectType isA Concept end
Class DimensionAttribute in ObjectType isA Relationship end
Class DerivedAttribute in ObjectType isA ConceptualObject with
attribute,single, necessary
attributeName : Relationship;
aggFunction : AggregationFunction
end
Class AggregationFunction in ObjectType isA ConceptualObject with
attribute, single, necessary
monotone : Boolean;
additive : Boolean