Vermutungen (2) Umgebung eines Entitytyps et: rolle Umgebung eines Beziehungstyps bt: bt att:dom et n et 1et 2 rolle n rolle 1 rolle 2 att:dom et ober-et unter-et bt

Vermutungen (3) Attribute: Seien t 1, t 2 beides entweder Entity- oder Beziehungstypen mit den zwei betrachteten Attributen att 1 und att 2. Dann vermuten wir wie folgt: V_GleichAtt(t 1.att 1, t 2.att 2 ) := (name(att 1 ) = name(att 2 ) dom DOM 1 DOM 2 : i {1,2}: (att i :dom) schema(t i )) (Verschieden(t 1, t 2 ) GleichAtt(t 1.att 1, t 2.att 2 ) VerschiedenAtt (t 1.att 1, t 2.att 2 )) Also: Namens- oder Domänenübereinstimmung erforderlich Weiterhin: Für die Attributkombination oder die Verschiedenheit der Typen darf nicht bereits eine Annahme existieren.

Vermutungen (4) Rollen: Seien bt 1, bt 2 Beziehungstypen, rolle 1 und rolle 2 die zu vergleichenden Rollen und et 1, et 2 die über sie angeschlossenen Entitytypen. Dann vermuten wir wie folgt: V_GleichRolle(bt 1.rolle 1, bt 2.rolle 2 ) := (name(rolle 1 ) = name(rolle 2 ) ( i {1,2}: (rolle i,et i ) schema(bt i ) ÄhnlichEnt(et 1, et 2 ))) (VerschiedenBez(bt 1, bt 2 ) GleichRolle(bt 1.rolle 1, bt 2.rolle 2 ) VerschiedenRolle (bt 1.rolle 1, bt 2.rolle 2 )) Also: Namensübereinstimmung oder Ähnlichkeit der Entitytypen. Für die Rollenkombination oder die Verschiedenheit der Beziehungen darf nicht bereits eine Annahme existieren.

Vermutungen (5) Entitytypen: Seien et 1, et 2 die zu vergleichenden Entitytypen. Konstruktion von Hilfsmengen für gemeinsame Attribute und Rollen: GemeinsamAtt(et 1, et 2 ) := {(att 1, att 2 ) i {1,2}: att i schema(et i ) (V_GleichAtt(et 1.att 1, et 2.att 2 ) GleichAtt(et 1.att 1, et 2.att 2 ))} GemeinsamRolle(et 1, et 2 ) := {(rolle 1, rolle 2 ) i {1,2}: bt i BT: (rolle i,et i ) schema(bt i ) (V_GleichRolle(bt 1.rolle 1, bt 2.rolle 2 ) GleichRolle(bt 1.rolle 1, bt 2.rolle 2 ))}

Vermutungen (6) Dann vermuten wir wie folgt: V_GleichEnt(et 1, et 2 ) := (name(et 1 ) = name(et 2 ) GemeinsamAtt(et 1, et 2 ) GemeinsamRolle(et 1, et 2 ) ) (VerschiedenEnt(et 1, et 2 ) ÄhnlichEnt(et 1, et 2 )) Also: Namensübereinstimmung oder (evtl. vermutete) Gemeinsamkeit der Attribute oder Rollen.

Vermutungen (7) Beziehungstypen: Seien bt 1 und bt 2 die beiden Beziehungstypen. Konstruktion von Hilfsmengen für gemeinsame Attribute und Rollen: GemeinsamAtt(bt 1, bt 2 ) := {(att 1, att 2 ) i {1,2}: att i schema(bt i ) (V_GleichAtt(bt 1.att 1, bt 2.att 2 ) GleichAtt(bt 1.att 1, bt 2.att 2 ))} GemeinsamRolle(bt 1, bt 2 ) := {(rolle 1, rolle 2 ) i {1,2}: rolle i schema(bt i ) (V_GleichRolle(bt 1.rolle 1, bt 2.rolle 2 ) GleichRolle(bt 1.rolle 1, bt 2.rolle 2 ))}

Vermutungen (8) Dann vermuten wir wie folgt: V_GleichBez(bt 1, bt 2 ) := (name(bt 1 ) = name(bt 2 ) GemeinsamAtt(bt 1, bt 2 ) GemeinsamRolle(bt 1, bt 2 ) ) (VerschiedenBez(bt 1, bt 2 ) GleichBez(bt 1, bt 2 ))