In Sammlung (en) In der gespeicherten
  1. Wissenschaft
  2. Chemie
  3. Anorganische Chemie

ò è ×× ú êùð èöóøóøýô ò ìóóð ö àáå ê - IDB

Werbung 
 ! " #
$
$
! %
&
# '
"
!( ) *
! %
+ & ,
! ! -. ) ,. /
! 00
# 12 #+ 12 04
3
05
6
07
8#9+ 03
#$
06
# 0;
0<
8#9+ # 1882
0;
0=
#+!# 0:
# 00; #.
3
6
:
000 0;
05
05
05
06
0<
40
>*+9
44
?">*
45
?">* 47
43
?">*+@
46
44
4:
55
57
?">*
50
?">* #. ?@
5<
54
5<
55
@
A@ 5=
70
*B $ $ 70
74
C . $ 73
75
C . $ 33
77
). $ 65
!""" #""$ %& '
C$
30
D
34
* E . , C$
66
6=
35
. F#$ * 37
. F#$ * 33
* . G $ 36
, 0;5
#'#(
=0
=6
0;0
)*
60
)-> 0;=
64
65
040
67
# >$
1> $2
00=
!"
046
#
$
##
& +%"
% #',(
- % -#( . -#(/
0
1&
#+*
#9+ $
B +
# #+ /G *+ #
$ ?">* !
!
. . $G /+
. D # $ +
1 $ 2 > G# +*+. . /. H 1@2 H . . $ #+ ?">*
#
. E * # 9+ * # ## I # #. ! G . * =; J !+
# ) - > # . G # #9+ +
# 1882
> ! G 9 *$G - E+
>* 1>
# * $$
2 ?">* K?!:<L
?">* # $
+ +
M $ #9+ # .G.
C.$ .
- G . ?">* $ @
1?@2 K)N:6L ?@
#++ ?">*+
$
?@ /. K)N:<L $ +
. . $
1?@A)-> K:6L ' @
K::L2 /. . *
. ,
$ 1@ K:6L2 $ +?$ 182 K):3L /. . 1?@ K:=L2 #+ #+* . > >*+
K?!:<L #+*
* +
.$ O *+
.$ >$
+
+ *+
?">*+ . O $ + ?">*+ # #+
$
> CB # $ .I @ $
#+ -. .$ * . . +
#
# * M. *+$. M > >*+
$ $ K?!:< P 00L #G . $ 1 0
2 #
> G# M. # *
# $ Q $ # $ >*+
# .I *+ #
*
I Q $ *+
# # 1R @+
2 1R @2 G 1K:6L2 D +
F#$ * .
#Q D #G . #
*+ #.
.
. +
$ D #
# #
#9+ CB #
! * 9 $ I #M+
. / #
8 G #M $ ! . > . #+ #+* $
# #
. I * G #+CB #$ # #
. #+DG # SI #M #$ * +
#
N# I # #+DG . +
#
N# !G
B N# ! DG.
. #
.
#Q $ #
. # M. # *
# $#
. #$ . $ #
> +
G# # I ! > G# # C# > G# > E# #
B #
#
?">*+
? # # ?">* . $ $
$
> G# 1M > G# I
*
?@+$. M #
,# E
#
. CT. I .
#+*
C
2 .
#+DG / B +
8# 9
. ?">* ?@ I D 8#9. > # E $ $ . Q# $ # * #
C.$
?">* #
C
M $
$
B +
C$ # G$#
## , #9+ # . , > G# D $
$ # / - * .G.
+
$ $ . 1 . > M ?">*+2 * .
4
@ ) $ * . +
1K:;L2
E# C
M * -
. $ . . > G# D+
* $ E # 9+ #
$ # $ +CB # . , +
#G . *. @ * * .
>$
?@A)-> 1@2 . > #
# - . +
$ * . @ $
# @ > I C$ . ,G+
# )
C$ 0 G Q #+CB > C$ 4 * M ?">* !
#
C.$ # C$ 5 . >$
@ +
$ )
. >>
.
C$ # . @ C$ 7 Q# $ > M C . $ > C$ 3 . @ >>> # C$ 6 +
I $ . >$
/. . $ 1@2 # ?@+ 5
7
!
D # ,G # C$ )
CB # . D N @ K=5L KC*:<L > N Q
* # M > # Q ## 00 . DBS (Datenbanksystem)
PRG
DatenbankManagementSystem (DBMS)
DB 1
DB n
## 00 # " # #G ,
. ,
# #.# # . C . # .
# * # I
# $ . ! E . D #G # 1
2
# # . . * # 12 /
! . # ?$ # # # .$ *# . $
B /
! " # $
% & ' ! ( 3
& # &
E
E
# ! 45=7
47:=
73;;3;
U
G 36;;;;
0;=<
C
9
=;;;;;
@#
00 ## /
Q E # # 9 # $ * # $ . $ .
D , # . +* ,+"2
* KC*:<L $
. # ## /
* # # #.# . . ! 9 # +
!
"
. # # .
0:<; * * ?
K?<;L # . /
#. #
@#
@#
00 . $ * # M #
KC*:<L
#9+ 188+
2 * <;A =; J +
I # +
. # # +
# > ). . # 88+
V > ! # # 88+
?">* K?!:<L ?$ KJ*)
:3L 8N KN :6L ' K!
:3L
?
WW K:5L !N8> K!"C:<L * F##
# G. # K:<L / P 64 *# # ?">*+
CB 88+
# 88+
. $
B > /
C$
B # . # 10E!+
G KC*:<L2 /# # $ #
# 8#9 .. $ # * 8# 9 .G.
# 8$ 6
C
8#
12
#
E
E
)
C 1X
2#
1X
Y 2 C
N"
C
Z
8#
12
8#
12
#
! ! #
.
# Z12
Z1 2
*
Z#
[#\
/
1XN"Y.2.
1XN"Y 2Z1 2
Z1XZ
Y2
## 04 #9 # 8#9 * $ #
+
# G /
#.
8# 9 #
8# 9
. J 8# 9 8# 9
+
# # 1
# #
#2 * C.$
# " .# #
,G
" +
* # E
. , #.
%#% " $
B . > /
88+
$$
# ,
8#9 # . . 8#9 A
8# 9
/
#.# B *+
.
* $ #9+ . ## 04
# #9+ # # 88+
. D N # # 9+ K
:0L
$
/ . G # 88+G. # 9 ? #. C.$
> G
C
M $ ,#
%)$* + %,$) * -
%./0
<
%
# C
#M .
# %E& G
> C
8#9 # # 1## 05
$ 2 8#
8# 9 @ $ # # 88+ 9 8# 9 > G Person
Klaus
Klaus
OID #234
OID #298
## 05 88+C.$ > G
8> 1R
$!
%
&
2
> G+ . $ 8> 8# 9 . +
#
& '(
8# 9 # # ,
C
$$ +
. ! 8# 9 # >
## 04 8#9 C
%
& $$ C
#+
* # # > !
* 9 ! E )
* 8#9 1 2
C
V J 8# 9 #
9 # >. C
# )!
#
@ # 8$ # +
. Oberklasse
Unterklassen
Angestellte
LHB
tech_Personal
## 07 $ . ,# ## 07 . C
## 04 # > $ # -
N" Z
# 8$ 8#
+
# -
# 8$ . 1 ! +
Z 2 I 8$ %#
& 1
$ 2 $ 8$
'
C
%N"& =
$
* 88+8$
# # $
+
## 04 > ! # ) # #
D . D ) C
%
& 8$ # E ! " #G 8$ 9 -+
. %N"& . M 1 #T G2 GI 8$ #
8$
$
/ #
# 8# 9 8$ G
8# 9 8$ .
$
V D . $ !
! '
8#9 C
%Z
& 8$
C
%Z
& >$
8$ 8#
%
& > !
# )
8#9 C
%N"& #
'+8$
. . 8#
%
& # C
%N"& # 8$
'
$
- 8$ %$ & 1+
$
$ 8$2 . )
# ! !"#
] # . # #+
G /
. , # 1
KC*:<
0:L2
# #9 M # 8$ / .
) #. 0 ^
$ #
+
# 9 8$ 9 # #
4 # I #. . ' #+
N $ . && +
# $ 8# 9 / .
@ $
* ++, -+ +( ,.
N #. & +
# 9 8$ # 9 # #
*& +/, -+ / ,.
. @ $ .+
(
)
1R $2 $
+
. I $ C . * ^ N # :
$ > P 04 # I 1
* CB
9 # J
@#
2 #
@#
#. #
%
#&
Q , . # N !$ GM - # +
1
P 002 )
# S @#
1
2 #.
GI G # 12 # .
$ %*
#$ UN 1 U
N2
.
% - 88 # # 9+ 1
P 072
# 8#
1 2 #.+
I #
). #.
$
B # 1. + . 2 $
B > 1 # 0E!+G
KC*:<L2
# . =; J G > #9+
@ + $
#
,
. +
# 9+ 9 @
# 88+
$
(
)
. * # 9 )$$ "
# 9+ #$ $S # 88+
. + . . )$$ $!
+
, -$+,. )$$
8) 4; 1
K?
:<L2 G
#
88+
$ M $
$
$
1# 9 M 2 1# 9 T
2
>. # . 88+ .
. ,
$$ ,
* & ' (
"#
!
# # , .
G #
+
# #$ J G # # .
!# C+
B # # !# +
1
#9+ 2 $. ! 0
. +1
#. !# +
C.$ +,
> 122
0;
!" #$ %&'
(
) *(+,
-.)//!!!0'0
## 03 $ M @ UN
> /
# GM # * #. DG
/
/ . !
# # N . 8 ! ! .
# C
#I ##. #
I
#G # +D 1 P 00;2 #G 1 .
%! Z . & +
.2 - . . M +,
. + 1 P
0:2 CB
/ ,
+
#$ GM 1
2
#. @ $ #.M . # C
* @ ^$ #G +D
.#
## 03 . @ $ UN @ # ^
%& ! 9 M. @$
#$ # # ]] /
I 04 > !
@ . *)>E
*E > !9 I @ > !
%
. ZC& $ . 0& + +1
> !# +
. M #
1
2 . * * )# # . K?)":7L
K:4L > # > .
$ +
*B$
. $ $ $ # > #
$
. #
+
)
# . N >
G % 3 4 5,6 7&.8 # 5 ( # ) 9 -: ;.<0=
$ # 00
N 054
%# "# &
# ! ;<
;3
43
73
;;
5;
;=
;3
43
73
;;
5;
;:
03
5;
73
;;
03
73
0;
;;
0;
4;
5;
7;
3;
;3
43
7;
00
;;
0;
4;
5;
7;
3;
;3
43
7;
5;
03
73
03
73
33
03
5;
73
33
03
5;
73
33
45
;;
47
5;
5;
5;
3;
5;
@#
04 * $
$ E . @#
04 $
> !$
# # ).GI #
+
I * ).GI I N 054 +! . 0; - 0= - GI .
0;+ I 9 .
! $ >
$ G = 12 _ 6 10;+ 2 R 7= * G ).G+
I !$
G # . $ > 1 $ `..2 ,
G /
).GI I 9 * #$ +
$I / ).GI 1
%2&341!5 1433)637'
# #
5+' +8**%93)63%:' **+%95+8+99+7'3
^ . # $ ! G
$ $ !
!
-$ * , * $
$ #
## 06 . M !
Regelkopf
Muster für
abgeleitete
Fakten
Regelrumpf
definierender
Ausdruck
## 06 0< *
. $ ## ! > # # # B$
. . $ ,. # M .G 1 $ 2 / #. Q
04
.G 1$ $G2 9 $ #
#
! # M #G
definierender Ausdruck
Faktenmuster
exists Abt:
leitet(X,Abt) and
mitglied(Y,Abt)
vorgesetzter(X,Y)
mitglied
leitet
vorgesetzter
materialisierte /
virtuelle Daten
Basisdaten
## 0< $ . . $ ) "#
Q #
9 # $ 1
# 9+ 2 +
M # M - "
) # # #$ * +
*# # # # M # ) #G # $ +
M * "
# #M
!
#. # #
,
"#
-
1
2
@ # C
>
. 1C>2
@ # @ ! # . # . # ?$ * 1 +
2 I 1
2
. ?$ N # # > . . ! . # I
. . 1
KE:3 P 0;L2 #. #
+
. 1
KE:3 0<0+0<5 P :L2 G.
$ " ) > " ,$
' " 05
N . # $ 1 U2 .. - , . . I 9 E
1CE!2 #M / $ , C
* C
#
N 9 N +
$ * N . E /
C$
K L C
$G /
$G N 1 2
- / # 1/2 G.
- . # # / # !
2 / # / 1 D CE! 1 # 2
E # C
#
GI 1 D ("2
2 # * , $ / $# / . I
# )# /
0
/ # 1/2
"
" **
** 7 (*8*58
**
** ); (*8*5
5
); C
"
"3
**
**373(*8*58
3
**
**3); 3(*8*5
5
); / #
## 0= . I " / # E C
# @ I !
'
#
/ # V $ # , # !
N * * , C$ )
) # N / $G
P 46 @ CB P 750 .
% %4 & -).? @/0 4 4 %4 -%#5.A0 % ! -&8B0
07
WB + (Neg. der Anfrage)
[~Tauchunfall,~Meer,Blutvolumenverringerung]
[Ertrunken]
[~Caisson,Tauchunfall]
[~Ertrunken,Tauchunfall]
[~Tauchunfall,~Süßwasser,Blutvolumenzunahme]
[Tauchunfall]
[Süßwasser]
[Blutvolumenzunahme,~Süßwasser]
Resolventen
[~Blutvolumenzunahme]
(Neg. der Anfrage)
[Blutvolumenzunahme]
[]
## 0= $ . 03
" # !
> # )
. ,G # # #
.G # K?!:<L K?:5L * $ ?">* # I F##
# - G %& . ?">* . * 1# K:;L2 # # GM )#
./,0
>* 1 #
$$
2 *>@
65552 *- . 1
K?!:<L >* /#$
3
2
0
9
1E
/1223 3"
- G 2 9 ! > +
1! 2
> 1
2
*?? 1
2
>E> 1! 2
CE 1"
2
* 1$ 2
@X@ 1>
2
- G 1
2
D 1>
2
9 G C.$ $ /. +
# -# . Q * * * # # 9
, # 9+ $ +C.$
%45"
D
$
. *# >*+ 9 ?">* +$ >*+
?">* G # %45"+
#9+ #+* # @ 88+C.$ $ . D.
.
5
%
+
. >$
* ## 40 0< . >*+
$ $ >$
+ # #G +
E # ## I ?">*
.
$ .$ $ >*+
K?!:<L 12222
1 C2B..A C2B..CD '( E2B../
122622
06
Anforderungen
Analyse
Konzeptionelle
Modelle
Design
CHIMERA
Modell &
Sprache
Prototyping
Implementierung
DBMSs
-OO, aktive
-OO, deduktive
-aktive relationale
## 40 +* >*+
12./,
## . ?">* -$ E
> ?">* C$ N . C$ #
0<
+ active rules
OODB
+ passive rules
/ #$ >*+ 9 #
C.$
88+
+
2
?">* - ?">* C.$
1R
6%+45"
I 8# 9 8# 9 # +
$ > G# 1 2 @ 1 2
6%+45" # . $ M $ 1N2 +
$
$ 1N2 ?">* ?">* $ . ) # 9+ G. > G C
M ,+
# $ 1
<Q 2
K?!:<L K?:5L M $ 1N2 ?">*+
# N # # I 6%+45"
B >$
* +7
K?!:<L
#. '
# $
$M 1K?:5L2 # K?!:<L K?:5L GI >$
1
#. #
$ #+
2
I G >$
+
$M . 88+ #
"
2 " 2 . C
# 1
* C.$ C
G# +
1
. * N .+
C # / ]
D
] $
$M K?:5L #. #
# # + N+C$ ?">* M . C . ,
Æ
Æ
Æ
Æ
/ $
8#9
/
Æ
Æ
Æ
Æ
#
8$ > G# @ > C G G # P 47 @ ?">* I
&& / 9 88+ $ . ?">* # @ $ #+
$ 1
2
$ +@ $
@#
40 . F# # +
# $$
*
). . N +@ $ $$
*
.
# @ $
0=
@ $
8> 1#9
# @ $
M2
N #
1#.M 2
@#
40 ?">* / $
# G , # @ $ * @ $ 8> 1
!
&
P 0702
B$
. #. / # 8#9 C
+
$ C
#
@ $ 8>
#. !
E!+E . ?">* B / $
<= >>$ 5+<= ? 6+<= ? <=+5
5+<= >>$ @1*@ ? @@ ? @*@ ? @@ ?
*+5 ? 5+<=
5+<= >>$ @A@ +66+<51* @B@
6+<= >>$ @*+@ @@ <= @'@
? @+@ @@<= @'@
? @6+@ @@ *6 @'@
*6 >>$ *1* @>@ <=
# # . $
+$. M >$
@ # * N # M P E# M @ 1# $2
#.M E 1 #2 @ $ . # M GM
*$
.
$ # #
N @ $ ^ . G
@ $ # ^
+? . G
E
E! #.M /
<=+6 >>$ @6@ @8*@ @<=@ <=+5 @>@ <=
@6C@
GI $ 1
## 44 M2
6 8* <= ** > +*<=' 6C
0:
&&& 2!3
C
# "$ # 9+ G. 1
P 0742 > ?">*+
@ #. C
8# 9
>. C
8#9
8#9 $ * C
M ?">* # .
@ * #
8 2
S C$ @ $ 1
+
>$
$ $.
E! C
1K L+C $ 2
1D+*+6 >>$
@6@ @1D@ @*@ *+5
/ /@686@0 @=*@ *+5 0
/ @1@ 1+6 0
/ @@ +6 0
/ @=@ =+6 0
/ @@ +6 0
/ @"<@ "<+6 0
/ @E@ "<+6 0
@6C@
1+6 >>$ 1+5 @>@ <= / @**@ 0
/ @686@ 0 / @66@ 0
+6 >>$ / +56 0 +5
+56 >>$ @556@ ? @66@
==+6 >>$ =+5 @@ +=5 @'@
+=5 >>$ /=+*0 =5+5 @>@ <=
=+* >>$ @@ ? @@
+6 >>$ +5
"<+6 >>$ @@ 1+5 @'@
D *
G C # $ ## 44 40 C
M 2
?">*
M 8#
" C
GI 88+
C.$ ,# 1
P 0752 > $ a$ a -
C
a
a 8# 9 C
]$ ] . C
a+
a # * 8#
1 # $O 8$ 2
2
> # > 1E )
2 # 8# 9 $ # M #
9
8#9 #M
"2
. > G# 1>2 > G# # +
#
#.G D M > ). . # >$ # >$ I
/
0
# I > . #
/+
# $ > %E
&
#
I /# " /# 9 %+
& > $ > G
. 4;
) 6 ,*
6 1D * =*
=* **
1
*
>
*+
>
56
"
>
"+ >
*+ F>5'
=
66+*G>*<='
1
"<
E
6C
3
**3
1* 6863
*
=*'
53 13 '
5=*5 8 )H,5=
6 5=*5 =*
1
56
" $ I
56"G'3 G!= $ )*!=3
I $ G!**
C
*+ F'
=
66+*G'
)*!"+ J$ K++9994 3
)*!56
" $ *C
>
**.'3
. $ )*!** L G
56<=*!**3)*3.'C
1
6C
8
6
56<)*!
'
)*!
# &99993
'3 $ )*!
* L %999
56<=*!
*3 )*3 '
## 44 $ C
M ?">*
40
!
.. #
S
#
/# > 1 % > .&2 @ G ,
. / > +
. 1 $. M / # 2 > # 1
6 2 M I
# C
M # D 8#9 C
).GI # . . 8#9
C
> C$ 750 #
#
M > N ""2
" # 8$ 8# 9 M !
8$ ## 8#9 D
# > +
$ N !
. $ S 8$ 66+*
> ?">* #
C.$
$ 1
P 0772 . 8#9 -
8#
# 8$ 2
$
. C.$ 1
P 0=02 > ?">* @ #G +* 1
2 # $.
1 % @ &2 +
#
$. M > $ # I @ #
# aa # . > 4;;;; !
+
# )
0;;; * @ .G.
# 8$ . @ # 8# 9
M # # @ $G
#
K?!:<L $
# K:=L $ %$2
?">* #I M G
+ # # 8> 1
P 0702 88+G. +C.$ . B$
. D Q 8> /
B V
# # > G 8# 9 . . 32
G
. M 12./,
' ,
3"
#. > . # # D $ # #
="/F3G0'
*#
* * # 5: # , $
+
1
2 > ?">* 8$ # $ G
44
)
# K?!:<L 9 I#
# $ . > ?">* M +
8$ ,
?">* # . $ M J
$ # #
@ #
> / 8# 9 !
# # > &# 4
@ $
B
C #. #
# C , #
/ ?">* @ $ 1
## 40 0:2 , +
#
C# $ D # #
D )I## I .
, #
1
2
, #
, #
# CB ,:
"
C . # # I
# B &#& '5 4
C$
B @ # @ - +
@ / $ ?">* 1
## 40 0:2 #
@ # C $
B @ $ ## C+
# b c N K L @$
$ @ # @ # ! #
N @ # # # > ?">* # # ! # 1
1
2
1
2
8$+
2
# ! *# ! MB %& E ! % #
#&
/ $ 8# 9 # # +
# E!+E =
>>$ 81*+5@!@1+5
* $ , G
;3
3
3
3
#
C
$G # aa @ $ # C
E -I X # * # #. # *6'
X 8# 9 ! ! # # # +D . 1 #
. D#G . #2 * G I # . E!+E . F F F F
45
*6+1 >>$ @*6@ @@81*+5@!@1+5@'@
#
! G
# / # 9 @$
$ ! #
#
2
. 1
$ *
@$
E!+E * >>$ 6@!@*1*+5 6@!@51
$ !
@$
=>@@3
#. , #
X #
>@)5@3 = > @M
@
F!= %U &
8$ M ! # @ $ M+
@#
44 1 K:6L2 . F# 8$
@+8$
N a
aWa
aWa
, a
C
a a
a+a
#
a+a
Q.
aa
aBa
B a_a
$
a_a
a
a
aa
a a
aa
C G
aa
aa
@#
44 ?">* 8$ @
#
# 9+ +CB . ! > 88+ $ 1
?WW J, A 90032 .
@ B E# @#
$
B 8$ . @ # @ ! !
8$ # % & 1@!2 M @ .
$ @ * 8$ $
$
$ *# $ 9 18$2 @#
45
1 K:6L2 . .
G 8$ *# $
!
E!+E . 8$ # 1F# C 1
*
2
N=
66+=
5+N=
5*+=
5*+N=
5
5
+=
$G !
$ M 2
>>$
>>$
>>$
>>$
>>$
>>$
>>$
>>$
5+N= A 66+= N= B
@L@ ? @H@
5*+N= A 5*+= 5+N= B
@O@ ? @P@ ? @56@ ? @PP@
@@N= @'@ ? 5
@
6@ @@5+N= @'@ ? @*@ @@5+N= @'@
+= @@N= / @ @=6 0 @'@
@5N@ ? @5@ ? @5@ ? @8@ ? @6@
@ $ . $ ?">*
## 45 . F# # @ $ $ 8$
&QRP%R3 FLG3 /@@3@1@0/@@3@6@03 5AQQ3S3%993&TB'
8F!* 6F'3 F!5 # %S'
47
8$ 8$+@ $12
W + _ A
W + _ A
W + _ A
*# $
W + _ A
B Z1 2
B Z1
2
B @ !
@ $ @ @
Z1 2 Z1 2
W + _
Z1*
@ $2
Z1*
@ $2
Z1*
@ $2
*
@ $
Z1*
@ $2
Z1*
@ $2
Z1*
@ $2
Z1*
@ $2
@#
45 8$ *# $ @+8$ Konstante
atomar
Variable
Mengenterm
TERMTYP
funktional
Listenterm
Tupelterm
komplex
Attributterm
auswertbar
Selektionsterm
Operatorterm
## 45 @ $
@ ?">* # C @ $+
# #G @
&## ' 4!
J @
?">*
8 <
2
1
@ $ # J
. !
@ $# # @ G
@ $# E @#
45 # . $ @
KU%3&32#LS4
K8U%3&Q23%9S#'4
CS # 8$ $ > !
@ $ @ @ $S # @ $# B$
. &# 1"$!"$%$ 4
# $G #G !
. M 1
K?!:<L K:6L2
43
M * , #
M * @
# #G +
/ . # #G # #+
G , #
G
#
/ #G $ # #
# , #
/ # I 1
!
2 # , #
#
. , #
/ I $ X @ @ $
5F' $ T - . #$ # < G
X
%
I 9 X
#$ # I *
&#* 6
!
# # > 1@2 !
#
# #.G+
, #
$ $ / # .
I , #
/ # !
. / #
@ . $
B !
&#7
6
!
# G #
N @ G #
#
!
$ D # #
D # I $. D M 1. c RR ,
2 !
?">* M. * # @ $
C
+ @ $
C
+ @ $ # G #
MB+E # G , #
#. @$
1#
@ $
2 #
. E!+E *+5*
<=+5*
>>$
>>$
*+5 @@ 81*+5 @'@
56+<= @@ 81*+5 @'@
? 56+<= @@ 6 @'@
$ (( C
# 1X2 !
+
+D 8# 9 C
( ( / $ 4+
@$
# . 8
1KXYL2
!
@ $+!
$ , ,
G #
M # G G E . 1
*
2
>MB+
E!+E #. # . 8$ 47 M " 4 $3 " 9=$# F G F 4 $3( 4
46
5=+5*
5=+=
* G
I .
>>$
>>$
N= 5=+= N=
@U@ ? @U$@ ? @#@ ? @#$@ ? @$@ ? @J$@ ? @$$@
G )
dRd dRRd I 88+ . )
# # %> G&
= %
7
# # 8#9
1 .
8# 9 . 1G dRd2 # I .
@
C
8#
2 M =
1G dRRd2 # I .
@ 8#9
. # # . 1 8> 2 $ >
## 05 = # 8# 9 # G
G #
d d M . G >MB+E . D *
N 8# 9
+
. #$ E!+E . 551
=+5*
$ >>$
N= @@ N=
? N= @@ *+5
F!1 U@@3@,*"<@3@7=
<@#
*B !
) # G #
B+
I
# ?">* N M E !
# 1> E . $ #
* #
. !
2
+
G 9 B M !
I B !
# ?">* . I # . %& # /E # $. C.$ G V G #
. D +
M dd MB+E # +5* >>$ @
@ @@
+N= @3@
+N= @3@
81*+5 @'@
G $. ?">* ! . #
*
14 2 10 2 #
# @ $ .
*# , #
15 2 # *# # A@*@3@@3@@3@@3@@3@@B3Q3F' E
A@@3@@3@*@3@@B # $ *
X . +
> G
!
$ # C$ > G# 1>2 G #
# E > * # +
G MB+E # > P 47 * * 1@ 2 @ #
* + + * # @ " * # 8# 9 8> # CB # K?!:< P 63L 4<
Klassenformel
Typformel
Vergleichsformel
Mitgliedschaftsformel
Externe Formel
Integritätsformel
Ereignisformel
atomar
FORMELTYP
,
komplex
## 47 !
$
&# '5 6
C$
B !
,$ !
C9 1
2
1
2
E+
# 5*
5=*N+5*
>>$
>>$
5+5* ? 5=*N+5*
5* / ? 0 5*
# !
$ . $ +
?">* ## 47 . F# # @ $ / #
@ $ G ?">* # !
&#0 1"$!"$%$ 6
!
D @ !
..
. !
# +
I >. 1#.
, #
# 2
# M * !
!
# #G @
! # #G # #G !
# !
D 1
P 4572
&#8 4! 5 6
* # Q $
B !
" I 9 , #
C
+ #. @ $
@ $S $ "*+F'3 "*+(F'3 F!* # %999
.
G I # (
( #
@ $
@ $
. # (
(
> !
# C
(
Z( @ $
,
%
F!* # %999
(
Z( @ $# 4=
@ $
B !
.
G I " # C
. G .
"*+F'3 F "*+(F'3 F!* # %999
,
# (
Z( . # 1@ !
2 9.
?">*
N . !G # . !
$ ?">*
0
' 12./,
* . * # D 1R $ 2 P 0=4
# -. C.$
. Q# ?">* * # - . # #.
#. +D 8$ N 1 2 G . .
#
! . # +D G 9 +
# $ ? # $ 1 # Q 2 E . $ / ## 06 04 . #
?">* !
"
#
# $ 1
2
2
$ 1
5: P 45 # E!+E 1R $ 2 668+*
6
16<
>>$
>>$
>>$
6 @@ 16<
5+5*
5*
. # I $ !
1
46Q 2 #G
) # M. $ !
@ !
G . $ $
C
.
G > ?">* $ 1#. #
C.$2
. "
, #M $
> G
. M > G# #
#
. M > G# . # 9
$G > !
GM % > G# & - . # #
C.$
?">* B$
. G
4:
& )9:+(
Q
#
1
2 CB I . G $ # 1, +M 2
# # , $
# G
C.$
$ . , +M )+# # 6 8 N+V> 6+V> =3 81
> '
N+VV> F3 81
> G'
F!6 $ G!63 G! $ @N* 6*"@
6C
" #
I C
C
#
7
# #
#
2
# , J8>E 1
$ 8#9 # C
# #
# ,+
/ G
# )+ @G # @ @G E+$ +
G I . , $ . , , #+@ , . #
.
$
Q , ?">* 9 G
?">* # C # #
C.$ .
$
#
# #
C
> >*+
1
K?!:<L2 , #
C
. > ?">* B , $
B
G . " . # > G
. . D E .$ +
# E 9 # I , ?">*
. ! C.$ V
&& !(
"GM # # # . $ )# /
!
B$
. $
. # ! $ +
G
*`. . #.
G$ ,# . 1
P 0=42 $ B$
. ! !
$ . ?">* #
# $ M 5;
6 1D * *6
1 6
"55> 6863
!!!
6C
6 5=*5 *6
1
)*!6
"55 $ F
F'3 =G'3 G!1+ $ )*3
F $ 8G!186'
6C
* #
#
1 2 .G . ,
C
C
$
+
$ M > $ " 12 # N # . >. $ . Q D G
$. , #
#.
?">* 9 >. C
#
. . M #
9 N 1
>.2 # J >. # % I& # . #
P 0752
, #
#
> ,# ,# $ 1
$. >. # .
#
&# $
. C
8# 9 . #
1 $+
$
2 C
. 8# 9
"Mafia-Modell
einer Krankenkasse"
8#
#G # 8#9 $. -
/ M C
kunden
# # . I %#
& C 1
C C2 # +
M 8# 9 C
>?
* @ -
+
töd_unfall
6 5=*5 * W6+**
==* W6+**F'
"6F'3
F!" # &Q9!9993
F!5 $ *
6C
& %
> G
#
C.$ .
+
DG .
I # * 3 1 " :;"*%)F $ F H
50
> G
). . D %+
& .
$ ,# 1
2
#. > G
#
#
#
/ $ $ ]] "
.G $ # / $ ##
,# !
$ E > G
#
> > G
$ ]] 1
. > G# ]
] 1
2
2
/ > G# . > .
# > > G
> G# $ # > ?">* > G
. M > G# 1
+
/ > G# +
> .
# 2
C
+ $
M . $ # M+
$
6 5=*5 * W6+**
!!!
81+)*' )*!5 $ 6C
#
8# 9
C
>?
# #
M +
$ @ $
$ > G
]] /
$ . > G# .
,#
I > $ . # $
I M %
& C
9
G
I 9 C
.. > G# 9 $. C
I M >.
.
G # I &*
,
# > G# $
+ > G
+ $
V
"$ ;<
/ N
$ G
#.
#. .# . . . ?">*
# * $ * .
#. .
& "
:
* . F#$ * # @
. $ " 9 #>= # $ " (
# "( 4 ( > ( 6 54
/ * P 7 P 3 # * #$ 12./,4
?">* - G # # 1 B2
1
## 43 552 C.$ . B
$
$
+
B # #
. >$
. * +
. Q `. I # # J $ +-# ?">*+
) 6%+45 DDL
DML
CPT/GUI
DAMT
schema manipulation
data manipulation
SEA
PRDT
PRPT
CARDT
PROP
schema
evolution
deductive
rule analysis
deductive rule
prototyping
active rule
analysis
trigger
generation
CHIMERA-Implementierung
CPT
application prototyping
Phoenix
relational back-end system
persistent
relations
1?@2 ?$ ?">*+
Tools für CHIMERACPT
1
K)N:<L2 ?@ temporary
relations
## 43 ?">* @
$
88+C.$ $ ## DG.
.
?@ - G /. 1
2
*+
?">*+ # ?">*+ . 1
55
## 432 K)N:<L # F##
# /. ! # #
$ . ?@A)-> 1
K)N:6L2
" . $ . 1
## 607 0462
. /. . $ 1@2 # $ . . , / 1
. , CB # @
K:6L KN:<L2 * +
. . ,
# ?@ 1
K:=L2 # ) . @ + $ @+@
1
K::L2
* $
?@A)-> $ . N+C - #
. . *+@
1
KN:7#L2 8 1
K):3L2 .
+ # * N ^ #
. #
$ N 1
K:;L K*@:=L2 @ *
# 1
P 7502 > G# . / @ I . *. @$$
1
P 3732 . * +
. / . @ *
# $#
N ,G @ # K ::L +
# # # >
# . ,
+
#
*
# $#
> G# # . #$ $$
# +
1
GI ?">*+
#O # 9 .2
-;. -@. -;@.
> G# # $ !
0
4
5
!" # $# $!$" # # % !" $!$" # $!$" % #
!" C #
$ 1
K:;L2 #
> G# .
+
>$
! . *. !
I *B .T . *. > # > G# 9 I"=
F4 41 ( F
57
$
? $ # V
$
"
#V
> # $ $ M# '
'
# '
9 ?
>
"
# $ $ M# ## 46 . *
# $#
0(
4(
5(
!" $" $!$" " !" $!$" # $!$" % #
!" > 102 #M *B .T #
&
T - #G B .T M. , #
T M. , #
# .#
# B .T M. , #
! T M. , #
G
. 1
0(2 .I 1
KE:3 4=0QL2 1
42 GT .
#. C
>
. E !
&
1
4]2 $ !
1
52 # ^T .
## 46 53 . +
1 K:;L2 . ! . .G
!" 5( I +
,# 0] ! .
! $" $!$" " # I
*
# > G# / $G
P 750 !
. E +*
# / , # N
I
@ . . . C
3; @ # .G.
> G# C ,
G ] V * I G
I N #
G
* #
, . +
/ G . . . #$ # # C B # *
1
K:;L2 @ 9 , +
# . C . #
*`. .
" I # *
@ # $ #
9 .
# #
. D #
I # ?">* , . +
53
> ?">* 1K?!:<LK?:5L2 $
. > G# **
# +
# 9 B$
. #
# / $G
1P 7532 I 9 * >
C.$ . D #$ . # I aa #
# /# B$
. . ) #
#
$
. /# V ! # I >. C
/# #
# . / $
. > G# #
# # / #
# 9 $
#
I I 9 # , C
# 8>+
# # #
$
. > G# *B .
>. . C
G
&7 4
Q
+
N
> #+CB # .G +
+DG - I + B +
Q +DG N $ # #
>$ I 9 B +D
$ N G #+
.G.
# # .
$ # B +DG
. +
I :
+
# +D . # > B$
. .
. $ # *
. #
:
+
+D $ 56
$ > C$ . . >$
1@2
#+ $ 12./, +- 104
/ . 1 0<2 G #
?">* M $ 1N2
$
$ 1N2 # 9+ # 1882 $ # 1K?!:<L @
?">* N $
2 @
>$
# 9 * G +
$ ?">* / 55 G ?@
. . D >$
?">*+
I ?">*+$. M 1,
K)N:6 7<L 0572 >$
@ ?@ . % ?">* &
0
$ $ $ $ $ # +
1 2 # #
#
* # . # > # ! . . !+
/ N # #
N )
/ 1!2 B / 1. . !2 #G . a
$ E# ## . )$ )$ . !# c
b
G # #
f
$12
$12
12
1# 2
$1#2
$12
12
12
$12
$1 2
12
12
!
/ # G
. d
e
1 !
,# +
2 . # #
$1XY2 + 1XY2
$1XY2 + 1XD2 $1DY2
I # # ,# . #
XH =63'! " %Y*& *# 5<
C #
XH =6F3'!
> !
+
N # ! X R e 1O2
*B N 1 , #
# X2
X R e 1O2
. # N X R #
e 1O2
> , #
# X R e 1O2
. * * 12 +
$ # K?=7L
4"54
$$ %- !9 0:== JC 8 ?
& @
. $$+
. * # I G #.
# #
* . . )-> . +
# $ # "# 0:=: @
# @
1$
2 X00 $ . 1)-> + 2
@
#
$$
# @+$ # #
C **
' "
+8# 92 *
$ . 1
3 3 3 2
$ , 1
* @
A@
#G @
A@ 9 # $ * . +
G @
A@ D D # . ?WW J . @
A@ * +) 8 a $ a ?$
. * K8:3L $
)-> 2 # 1 G JC
+@
$
@
A@ @
A@ 1 +
@2 $ ## 50 . #B @
A@ ? ## 54 ## 50 $ . )-> @
A@
> @ # " #.
8# 9 1 @
2 2
. ! #. 1 @
!
# ! M ! # # 8#+
9 ? # 8# 9 .
*1*3 <
13
1* #
2 # ! ! $G
.
$F 5=
=*8* !
5 * ! K 64
*1* *
5 !!= H16 6
& H* 8
5 !!1 H16 6
& H* 8
=" !!= !!1 H6 = H** 1
*1* !!=!% HN K*>4
< !!=!& HN81* *5 H 6
&9 H1 *
1*
*1* !!=!2 HN K= 6>4
< !!=!S HN81* = 6 H 6
&9 H1 *
1* H
O
*1* !!=!Q HN K* 6< <*J4 H 6
=" !!=!% !!=!& !!=!2 !!=!S !!=!Q
H6 = H** 1
1 !!1!" HN , H1"6 1E
H556 A
Y , Z ,
Y !!! . ,77) !!!
B
1 !!1!1 HN 1 H1"6 1E
H556 A
Y ( Z ,
Y !!! . ,77) !!!
B
=" !!1!" !!1!1 H6 * H** N HN=6 <
## 54 $ . )-> @
A@ 18-?*+?8*2
N +)
. * 8# 9
" $ # # E > +
$ . %
!!1!"&
8C+ %
!!1&
% !&
1/.
" R !# 9 .
8#SG X00 / :32
#M J @+8#9 # $. M * . 8# 9 1 @B 1HN2 . #.M C+
1H5562 . * < 8# 9 1* #
2 , #
1HN81*2
@ $
. >
* #
# . # D I )
@ G * N 8#9 1
H6 = H** 1
2 # 1
8# 9 )
="
. 2 $. M
8# 9 . * ## 1 ="2
N 5:
7;
% &'(
> N # #.
Q > K?!:< P 00L
$ $ #G . #
G# M. # *
# >+
$ > C$ Q $ G $G. / I $ F#$ * . # I
/6
0!
!
' E ## 40 0< . >*+
1U
K?!:<L2
$ +
. * G
>$
+ > $ @ ## . /
B$ 1 2 !
/ @
I 6;f /+
)GI N # # 6;f * )I !
$ + . # . ## - . *$ !
T
## $.I ## 70 74 . $ $ G . #
> + . /
/
#
#$
" .
M. . I ## # "
%
/
## 2
1>*2 .I >
>* 1 C 8#9 2 . +
# ! $ / &
!'
1
I C
M # . >* #
C
M !
!
B$ 9 Q
# @ +
G C
M !
G N. + # # 9. I +
!
$ # D $ C
B # !
. . C I 9 $G !
) I @ B$ 1+ 2 #
.G
!
. !
'( # > 6 F '4 #4 6 4> " > 70
$ $ Informationseinheit
Klassifikation von
Strukturen + Gesetzmäßigkeiten
Dokumente
der
Anforderungsanalyse
reale Welt
zu modellierender Ausschnitt
t Formalisierung
Schema
TESTER
t
Modellierungsexperte
(Auftraggeber)
Modellgenerierung
Fakten
Überprüfung statischer
Eigenschaften
Überprüfung dynamischer
Eigenschaften
DB
Testeraktivität :=
Abbildungen
im DB-Entwurf :=
## 70 .. . +* $ $ > G ## $. B$ C
M ## ## * *+ # G
).GI >* # #
!
1#. ## 2 9 !
!
* M. .
)$$ !
(
( (
*6 9*%= 3( F G *% J 9F= F . #
)$$ !
C +
" ##$
74
#. - B# # 1#
2 " # C -+
$ # A C
M 9 ,
I # +
Q )$$ 9 , @ #. . * I # C #$# / I .
. F#$ $. M * #
#
* . @# * $G G # @ #. $. , 1 2
!
)
.$ !
. % )$$& # #G $ > )$$ . * (
)$* )
$ # @ 1K:6L2 $ 8#
@ * $ $ * #$ F#$ #
# @ )
+ > $ +.I @ I GI a a * * * 1@2 . $ 1@2
+ , # /. . #
# . +
.. " . I C
#
/. . ?@ . 9 @
) $ > + @ I !
, " #
?@ @
#
!G
# 1P 2 G !
D
> G# 1>2 +D .
GI # 1R +DG2
. . #
"+
I # >
P 750 !
> . . !
.+ Q 9 * !
GI #
# DG # 1
K@-:6 35=QL 2 * # $
+D !
2 / $
$ D $ %
#2 > I
&
1R @ !
2
F ( % F "( 6 K :;"*%)F
" ##$
75
- * # # DG I B$+
1*2 . @ # .G.
#. * $. M. . /
$ I C
'
8# 9 G .G.
$. M !
! # NGI +D .
! ! +
#
/ * PP 754 755 P 756 9 +
I # DG #
> B$ 1*2 # !
#
## ).GI 1
+
2 * ).
C
M !
#.
# $ !
* $ !+
P 74= # !
).
#. G QG
+ #
B # . +
9 $G $ ? - !
! . !
.$ I
*. . #.
G $ ?">* # ). # 1
P 3702 . $ P 46 $ * . ) D *
# $#
P 370 * ## 70 74 > !
+DG . !
$# #
## $ 9 # " . +D # * +D . DG
## .
/
# ## #. C
M ).GI /
1R 2 8# 9 # / # +
$G > /
" * I G . !
> $ 1> ). .
!
-$ !
## !+
9 # !
@ .
#2 > !
I @ 1* #2 % &
. I M. - . I *
N $ . > G# . # ! . #$ #
I @ # ,
9 $ D
G *
! #$
>+
$.I @ /. . $ $ . . , )
> P 373 @ $ G G " ##$
77
Q $ $ @ #+
# # # # !
- Q $ # $ # I *+ # #
> B ). . * $ #G 8
+
I G *+ $
B . * # # @ ! %/ $ e& %) > G# e& %,+
C
+ #
e& # D C
G ! #
C.$ @ $ @ $ # *+ # +
$ - $ ,
1! 2
, M 1! C 2 .$ *#
45
- $ @ !
1 2 #+
.
F#$ $$( $$(
@ 1 2 #.
@ ,
1@ 2 G *+
7 + "# ,
!
' > C $ I
# #$ & 4:'!% @ $+C$ # G # I >$
C
!+
$ C
# #. > P 47 I $ . !
# 9 9 G
I
* G
@ $+C$ # G #
!
#
# $ ,
#
@ . M #
I . > !
$
, M > G# I $ $ C
+ @ $+ > G# +
* @ K:6L #
#$
L , F> " ##$
73
&& ="$$ * #.
I /# , #
$ /# , #
$ # ). # $ .G $ 56F' F'
$ , #
X >. C
]] M. #
> 9 X M. # /# G $
56F' F'3 "F'
" $ , #
X >. C
].] M. # /# X # $ I 9 , #
$ $ !
$ . . $ )*!8* $ G G'3 I # 93 G $ M!13 M'3 M! $ I
. , #
1Y2 $ #M . $ !
$ !
1
G'2 9 @
$
# @ $ , #
9 / . $ !
G $ M!12
Y 1
,
. . /# 9
I . /# , #
U # G $ # /# U +
. $ U >. C
M. # U /# .G.
1
- M. #G " $ * M! $ I3 I # 92
,!
, #
* # I , #
!
/ . I !
Q #
#
# > $ # #G . /# , #
U
I # 9 GI 9 /# D . D #G !
M! $ I3 I # 9 # #G
, #
D @
@
G M $ 1
K:6L2 I !
#G # # . $ / +
# $ I . $ #G #.
/# +
#G + * F#$ * @ 1
P 432
K:6L # #
$
&# =( * A #G #+
G # I # . I - . # I #G 9 . * .
> & *
+
12 . # # " ##$
76
+ M. #
* 1 K:6L2 $
# #
G ! +
M. # $#
K?!:< =;L K:6 54L " . # ,G $ #
r1 (X)
r2 (X)
r2 (X)
card(r1 )
# I 9 8# 9 8#9 #
r1
8# 9 C .
1 G
8# 92 E . G
r2
G
8#9 (0((7((:( G G
# #
8# 9 (0((7((:((5(
9 *# *# . -#G G *# . $. ! $+
. # S > # $ # # * &
# I #+
# > +CB 9 # # 9 I # C$ # M. # # Q E -
$ ! . . # - ! Y ! !
. # $ . I Y " I C E #
& )9 5 ! ! '
#
C
# , #
C
$ . $ -
+
# " # # . $. +
. M #
I 9 #
#
?@A)-> # 9 C
.G.
B #V - . I C
$
$ a a C.$ +
D ?@ # !
9 . D !
. $ # #$ &* /$ '$"$
> ?">*
# I >. 8#
. -+
D 3 3 3 /
/5 !
& 1
K?:5 44L K?!:< 30L2 9 . +
" ##$
7<
E# ## . C
#
?
?
*
+
employee
# -
M ! I G $. 9 >. 8#
-
- . G
, > G# M , G
#
engineer
athlete
8> >. -
+
> G# # >. 8#
+
8> , -
1
. 88+
# C
2
average_life_
expectancy
average_life_
expectancy
# * . , " > . > , %
"&
1E 9 2 D . #
!
!!!5=*<F'3 F!8+*+N=< !!!
8 6=*<F!8+*+N=< 5=*<F''
# ?@ #
!
# ?@ # F#$ # , > # 8 / # 8# 9 8#
B # -
# I # G $. # V # C
C
?
?
*
#
# >. # >. # # K?!:<L K?:5L # I
!
# !
I >. , #
X -
$ I N @ $ 9 # $ +/. . ## . $ $ +
employee
-
# #
?
?
*
)GI $ +C.$
athlete
!!!5=*<F'3 F!8+*+N=< !!!
average_life_
expectancy
engineer
# !
$ +C.$ # I 8#+
9 %
#& #M # #
R
R
M 9 $. > 8#
#+
9 # -
# # !
$#
+
average_life_
expectancy
*
average_life_
expectancy
, !
?@ . . 9
I ?@ I
#4 G K?!:<L K?:5L # " 8# 9
$. * $
-3 3 3 .
B -
+
C !
-:#./0 " ##$
$
K
7=
T 8#9 -
> +
$#
# # # G !
* #
-
#
#
$ $
employee
I 8# 9 8#
-
! ?@ average_life_
expectancy
6=*<F!8+*+N=< 5=*<F''
. 9 >. # .
-
B engineer
# !
$
B
!!!5=*<F'3 F!8+*+N=< !!!
R
R
!
athlete
average_life_
expectancy
average_life_
expectancy
$#
/ # I $#
# " #G " ?@ #
-#G # + #. $. G $ *B . !G
. &7 )9 %! $ $ !
*G
>+M C
# angestellter
-
M . #
## . $ " E P 34 " #$
grundgehalt
> G# )
gehalt
> )
/# C
# +
$G # #
abteilungsleiter
-
#
#
-
R
M )
# #
M #
gehalt
$
+
beurteilungsfaktor
$ 1
P 0772 # >. C
" )
# > #
# )
# J $ /# G / # * > # +
$
-
.
$ #. # I
# %
&
G
#
, ,#
I / $ I " # ?">* $ #
C.$ > G# $ /# ! # > )
# > GI $
$ #
$I I
; # I #%F5I)% " ##$
7:
& )9 %!
> ?">* # > G# 1>2
I
# C
1
$
> .
2
C.$ >
# C
1
.# . $ . $ > >. C
G # - . > / # >+@ $
# ).
> * * C
#$ # >.
> # .
> . C
>+
. C
# # 8 M . 2
. M 1
P 477 502 +
C
) C
C
>. C
,# # >. C
*# >
M * .
C
#$ " ! # * G # #. > . #G I
> .
$ # C
* # ) # , / > > # C
# #
> . %$
&
I
# C
8#9 . 8#9 $
#
# /
I C
# # ## $ * +
.
. # #
C$ C$. G ?
C$ I I . . ,
.
9 C
?
+$. M C+$. G @.
> * > C
# .
#G ) . 8$ # .G.
# > # @ * #$ &0 +"$ $$"$ 6$ "$ "$ 8#
!
B GM G # ) # $ !
. .
D $ !
G . B .$ * # # !
+
#
1
+$
2 #.
.
# G Q
$ > " ##$
3;
6 1D * 1
> %9'
8*6)*> '
6C
6 5=*5 8*6)*' )*! J$ 4 43
)*! J$ K
6C
6 1D * (
=* 1
!!!
166)*>('
6C
6 5=*5 (
166)*' )*!$4
!!!
6C
$ !
#
# I
.
/ %8& %8Q & +
# G .G
$ . # ?">* # ?@5; *
> G# # I # -43
/ %8& %8Q & 1 # $
MGN
" # I
8# 9
. 8#
%8Q & # E # $$ 1%8 & %8Q &2 !
1>2 "4
> G#+
+
!
8# 9 %8Q & 8#
/ $ #I
!
- .#
Q !
" +
GI $. M 9 $ !
$. M # +DG $ !
$ !
.G #
/ # !
$ B$
$ . # I , ` . $ !
$ C $ . #
. , #
!G
B
N .
@ $$
# !
&8
, +
P 356
) Q . #
("$ !
#
$ ?">*+>$
?@ 1, 5;2 #. # /. . +
$ ?@ . $ $. M #
#+
" ##$
30
6 "$" 7 -#( )
M ?@ 1, 5;2 #M -
. # $
$ * 8# 9 % I& +
# # I G
M > G# ?@ $ . . . GI ## P
746 7: >
8#
1a
a2
M & $) $) &! $) * -
1a# a2 M & $) $) &! $) * I %
& 0;;;;;+ +
I # . #
# # 07;;;;+ , ?@ >. C
a# a . . . )
. 0;;;;0 07;;;; # ?@ >+,
.
OOO 1 8* 5 OOO
=> %3 %&9[R9!9'
* > 8#
. - 8# 9 GI $ +C.$
> 8#9 .G G *. >. C
a# a )
I 07;;;; ?@
OOO 1 8* 5 OOO
1**> %3 %SRRS9!9'
=> %3 %SRRS9!9'
" # > . I # > $
B * I
G
M #
# 8#9 9 .
> * # , >
-
# M > 8#+
-
M , >
8#
* #
?@ $
$
> G# " ! # !
?@ *
# !
. $. M G ?">*+ 1
K?!:<L2 ?">*+ 1
K?:5L2 # M >+
G# 1 @ 2 K?:5 47L # 1D 2
/
& A * "
A 30
$
$ > + . #+
. >*+9 G. $ . %+
+ & !
# a$a >
1 ?@2 * GI +
# ! G #9+ " ##$
34
> P 746 # $ I # * 88+
> - . 0;;f -. )
# 9+ +
> .G.
. $ P 746 G
#
. C
* )
$.I
% & > #9+ . $ C
+
8#
G
%!& 1* 2 -
#
# # .G .$ *# * "$ . $ 9 *
. $ # G
H @ C.$ >$
H # . $ `. . # .
# $ -$+ * N+
I % & # 8#
# -
# $ # 8#
# > G# # M > G# -
" .
,
$ `. . ,
.
. ! G 9 . D . @
D P 746 *$
#
-
" #
.
4$% 8,9'5
8>+. #G # #G .G
. # 8# 9 B I # 8# 9 . . G
> # $ # I .G >+
class a
OID
. C
aa . # >. a#a . # ?@ #
E
. CT. I # 1
8>+ 2 / . I
, 8>+ #
class b
?@ G >. . . I -.
?@ ##
T (6 6 8 1!!!
.Ga # 9 # I . 8>+. a$+
. $$
* ?">*+>$
E
# 1 G ?@+, e2 . !
I . #G #
. $
B ( " -
%./ B?OL0 " ##$
35
(Oberklasse)
(Unterklasse)
C . #
> ?@ $
. .
angestellte
$ 8>+ # . * . # abteilung
leitet
OID
manager
C
+
$. D # #+
1 @ $
leiter
#
+'
#.
*+'2
1#. N 2
# OID
$
+
. #
$. # # 8>+D $. M " . # $ $. M .G.
> G# B C G %0& #G / E
8>+ # ,+" $ 7
*6'+! ?">* D Q . +D D#G . # > G# 1>2 +
# # I
?">*
I
, > *6'+! > +
> > K?!:<L B +
K?:5L 1)
?@2 *6'+! D @ 9 # # > $B I ?@ %#& G
> G
#
C.$ . * @ # I % >&
?@ . > $ E . C.$ #
?@ , 15;2 $:5 %""
?">*+N # I @. I >$
C
, ?@
9 . %
6C&
* # $ !!!
1
)*!
* $ G I
6C
655<I'3 )*!5 $ I!5'C
#
# I ?@ # B
# #
#M $ %E
# D # 1@2 . ?@ G F#$ * # # E# ?@+ "& 1 # MGN
6 (! L
" ##$
37
7 + "# ,
!
' # >! +22+:="$
> # 4:
*
# $#
Q N $ " I .G #+
> P 460 56 G
Q N # ## # $ D+
# Q *
# V
5; <!"&"=
" *
# $#
!
# > G# # *
# # # I > G# 1>2 .
+
> I #
K:; 3L
E 2
I #
B !
$ 9 > 1 -
# D !8N+
9 - > .G # +
# $ I > # # I . - *
# > $ *
$
B #
% & $ GI
$ # $!$" # # % $!$" % $# % $& # ! # $! # $!$" # $! # ! # $# ! $& #
9 .
> 0
# I 9 # 4
# I 9 # N # # # 5
# I 9 # B 7
# I 9 # # 3
# I B 6
# I # # # " ##$
# # 33
[R5] angestellter(e1)
/ 9 , D+
$ > # +
I +
[R3] abteilung(d1)
mitglied(e1,d1)
D .
/ # # 3
E
#
[R4]
5 . - . %$ & # "
"
@$
1
. G
2 +
7 +
. - 7 . # .
+
leitet(e1,d1)
angestellter(e2)
leitet(e2,d1)
[R2] arbeitet.für(e1,e1)
[R1] mitglied(e2,d1)
/ # B . > !
4 I
# # . / $ 6 > . !
7 I+
I
"
0 I
4 I
I
[R6]
# "
[R2] arbeitet.für(e1,e2)
arbeitet.für(e2,e2)
E
# # [R6]
# # / $ . 6
-#G # 5 . . / $ +
I N # #
,. 1 2 # I ,. / # I +
> G# E # > .
$
G ! # * > . #
> + # * > # D$ > ) J
*B$ #
$
B I !G
#+
#
# D I # * 9 >
CT. #
#
D$ > # *
# $#
$ # #
*
# $#
* > #$ I
*
# 88+ 1 ?">*2 # Q > G# +
1>2 $. .
I 9 . # * I %
#& # "2
1
# / $. > G# $ +D 1 +D $ P 460 562
# * $ I > G# +
+DG . # I > 1 +D2 / I >
#
F#$ * + # @ # + #
#
> # P 370 #
# K:;L G N B " ##$
36
#& ,! %
%
* I # +D
B I
!
$ # !
+
# # )
=3 =
! $ # I !
B .
. N 9 * + !
GM . 8<+*6F'
8*6+)*'
> . C
aTa
T1X2 X R 04;
04;
" # . $ , 9 B > +
+D I $ #
## #
D$ N# .
# SI % & Q N# I $
# B # @# / $ . > K@-:6 35:L N# # Q 1D G # #.2 %
#
I 1 2 DG
B #
# # I G DG # &
> ?">*+
I 8# 9
. $ ..
I 9 . +
/
I 8# 9 " 9 C.$ /
?">*+
8# 9
.$ .
$G -G $ /
$ * N# # Q K@-:6L GI #$
@# B . $ / 1
P 46
57Q 2 . # . # I
!
9 +D
# 1
> G
2 #
##
"$! +1:%
E# N# .
K@-:6 35:L C . * # +DG # Q
# +@ +
/ . # / $ /
D. # # * M+
* $. M .
! * $ $. M D #. C
DG
# #
F#$ * # G
3 5 @ ACB EC
" ##$
.
3<
D. # * .
#
#
# 9 #
"B
$ ^ . #
D , +
! # # " ! B ! . #
!
#
D B !
# # I #$ # ! .
) C
DG # B ! .
- " . ! * # # /$ ! !(
> ?">*
# I # 9 * $ 1M #
$
+
C
a$ a2
)*!5=6 $ G )*!* U &3 G $ 9!9QC
)*!5=6 $ G )*!* #$ &3 G $ 9!%QC
)*!5=6 $ G )*!* #$ %R3 G $ 9!Q9C
#
1
K?!:< P 600L
2
I , #
# . ) # , #
# .
!
G e > 1 2 $ G#
, #
# #
06 J G
/ .
#$ G @$ . 0=9G >$ 49G #G
#M $ . * # 9 !G
%D
& . '
! $ 2 . , 9 > " #
>$
1
1@2 ?@
. # ?@ ?@ +
$ .$ *. # >. 0=9G I 4 5 # # ?@
!
! I >$ # 06 J
6=*<M!*3 M!5=6
?@ =M'3 M!* # %R'C
/%:3 9!%Q0C /%:3 9!Q0
$ 1?@ # *
$+
2 * /# # $G . >$
$+
B GI ?">*+$. M .
G #4 '$I$ - *.<0 " -:*.E0 ;
" ##$
3=
> # $ # . I #
# 9 .
$
#
9 I # .
)*! $ G G'3 G!8 U %93 G!8 # %C
" >. C
(( /# ]]
+ + .
V " ! # $ @
. . * N . #
P 374 #* ?% !( - 6.
#
88+CB # ! G #+
1 C
2 $ ! >. C
# M+
# ! $ *# . >. / 9 #
* I I ! $G * #G P 757 G I / * # 9+
#
K?!:<L K?:5L
9 $ . )
# )*!*< $ G )*!*< $ G 3
)*!6+*< O )*! L )*!1+%' $ G3
)*!<+ +5=< U %9
)*!6+*< O )*! L )*!1+5' $ G3
)*! $ K543 )*!<+ +5=< #$ %9
# $ ! >. # 3
M . # 0; J #
! # $ #
" ! # . 0;9G 9# G )
#. / # . . ?@ $ ! +
?@ #$ C $ ! .G .$ N >. $ # M G
!
# >. +
!
>. .
. #
#
$
. > G# # # #
# /# #
-
G 9 )
#M $ ! . . F#$ * . C # M # # >. E I
1 @ 2
$ > G#+
$
. I # 0; J . Q *B > G# $ M V # I #
! #M +
% :;"*%)F -:#./0 " K :5
1 " ##$
3:
@ > 9 M # #M # #7 > N . K@-:6L Q . D >+
G# ) I . #.
- . 1 . 2 Q .
# 9 #
C.$ 1
P 472
?">* #+
* .# Q 9 M .
/:
<:0 /3 3 3 #
:
<:
4
1R 2 7 %
3 3 3 0 # " ! G #
+
C.$ >$
# #
C.$ , +M > G
$
#M > CB . .
.
. >$
1>2 J #
C.$ ?">* M 1
K?:5 7;L2 !G
# M $
1
$ P 757 3=2
1>>2 / # # M $
$
# >$
#
C.$ #
C.$ .
%
&
> !
*
9 .
#
1>2 # /0
/ # , +M R1
$
,# #
,% % % R2
4 4 #
G 0 Q I 4 .G.
> N 4 * SI #
# ! G # ## # / # $ +@
!G
. #
I !
1>2 , +M # . # I #
C.$ / # !
C.$ #
# 9 I , #
# . 1
P 7572 / #
C.$ G # .
1>2 /0
" ! # . . M # #
C.$ # % ( 5 > )
I F 4 F 4 & 5 * -.80 % > 5 D * G " ##$
6;
>.2
- . # , . Q # $ .
, +
M # ! 6 8 1;*61
6> 6+5> =3 > "'
1;*61
65> F3 > G''
6"**I'3 "G'3 I!"== $ G!55
*63
I! $ @11@3 =F'3 F $ G!
*
6C
6 8 ="+=6> 6+8"
6> =3 >"'
1;*61
68"
6> 63 > ''
=6'3 "'3 6 $ !
*3 6"**7"'3
7"! $ @11@3 7"!"== $ !55
*63
6C
, +M # # !V .
$ # # ! , +M , +M G , #
#. @ # GI ! . I .
, +M !+
# # $ # +DG # ! 9
, .
G . .
+DG # # ! +
, / #
#
# C . # , +M !
1>>2 > !
G # #
#
> # $ # .
1
! # . 2 , +M $
) 1. $. > #.
, #. 2 %& , . > /. GM 9 $S ) I .
G # # G $G ) 8$ . # $ . 1, !
1>>22 7 <=2
. !
1>>2 > G# * C
. # a)
b)
+
c)
F ( @ ?A " ##$
60
2 *B . C
.
> I .$ 1 a,#a2 .I > 8# +
,# 1
> # 2
,# # > # * C
. I .$ 1
2 +DG #
#
#2 *B . C
.
> GI . 2 + - ,#
.
C
.
C
# +
> 9 C
>.
C
# 2 * GI #
> #.
. . $ 2 9 ! ,#+
>12V 2 > # # C
M > P 74< # 9 # G I
> . ,# I
C
D #
N > !
I # > #
> .G.
%$
& $G 1
P 74<2
#
I . !G
. #
1G
> I . !
1>22 .G
# > . 9 ,
G .
!
.+ Q Q. # >
. . !
G . $. M. .G.
> E > !
T
. # $ .. ,# > ? . ? @ B
D
A
C
,#
# . !
+
"G > G -G G / I , > . * # > .
# D G
.G.
G 1 !
$. M +
2 ## D %$
& # 2 #. P 74< #.
.
$
) .
9 .
#
>
#""
!
1>>2 B #
$
/ #
C.$ M !
1>2 . 3 1 " PP$
6 * ) " % "
M(N : " %
L * ( , 94= : % * " 3 F % ' * " * " ##$
64
+"2
" # !
1>>2 I C
# .
>$
!
#
#
# . ! 1 #
/2
C
#.
I
#.
1. c 7;2 ##. # I F##
, # $$
M G *# G # # I @ # . / !
$ .
$
#
'$ @ =
/ M #
$
B @+
#$ # $. M .
C #$ 1
P 3732 # ! . .
M. . M. 8
+ 0!
> # G !
# #.
$ +
/G $ + !
* ! , $ ## 74 63 $ . $ #
$ 1 $G
E
C$ #$2
*+ $. .G +
1@ $ M. # 2 . )+
. - * . C.$ . G
I
# 1
K:6L2 > G # @ *
@ I %
& # +
. G # I . M . I #
#+
+DG ) C$
# D
# .
$ #
#
M. . >
,# *
# $#
1
P 7502 $.I
$ . . # *
"# 1
8#9 C
2 . ?@ . $ ## >. ?@
#$ 9. > G# 1>2 # #G > G$ . G :5 *&$" -..0
@ <EB 2 & 1 - .80 -F./0
1 :5 9 *= # , 9= (> ! % $
" ##$
65
/ > . $ , ,
. U
1. . 8# 92 ,
. # 8# 9 / #G > . 1 9 # > .2 # * 1. > M. !
T
2 D # 8#9 G . #+
.
. , >. #
/
$. M * 1*
# . 2
C.$ $ . / !
. . 9 !
M 1
M 2 E# #
>+ ?@ . !
/ M. * . # . #$
1 ) ## +
M . .2 " !
I ^
. !
# G # I .
+
G # #M CB $ $ CB 1
#
. . *+2 " #
## Q# # I G *+ 1 * 2
$ . # / > . >. #
. C.$ $. M * +
1* # . 2 . #$ / !
+
. G
# . M. E# #
?@ . !
> . !
+
. G # %G& . *+ / 9 !
. * #. @ . / I I $. M * 1 @ . ?
## I 2 #G @ C C.$ 1
## 2 * $ G >$
C * ) 4 :;"*%)F ) 6 * : *
3 K ( # I
( * 4 9 :$
= G " ##$
67
Entwurfs-Phase
statische Analyse
CPT - Schema
dynamische Analyse
(mit Testdaten)
Schemaänderung
(Datenstruktur)
Regelmodifikation
Neuberechnung
aller Ableitungen
CPT
IB verletzt
IB erfüllt
Modellgenerierung
manuell, automatisch
Zustandsverwaltung
Visualisierung von
Instanzen, Ableitungen etc.
IB erfüllt
Visualisierung von
Integritätsverletzungen
(Quelle, beteiligte Objekte)
Überprüfung:
Spezifische Eigenschaften
Visualisierung des Modellgenerations-Prozesses
semantische
* Erfüllbarkeit
* Erreichbarkeit
* Lebendigkeit
* Redundanz
* ...
Konzepte
OK
fehlerfreies
Implementierung in
existierendes DBMS
CPT - Schema
Modellierungsexperte
## 74 ). $ " ##$
63
) ! !!
* > C$ # C +
1 $ 2 > C$ C . M. . +
$ I 9 "#
' 7!
/ . I 1. 3; C
0;; 2 # .$ . F#$ C P 7 1. *
# $#
2 . M I !
. #$ C +
I I . # +
. M. - . , . Q I # .
%
/ . C
&+.
.
C$ . .
#G I C$ +
8>+. 1
P 74: 352 C$
C$ #
,# #. * C$ # 8#9+ /
, > 8>+. # D C$# . $ . +
. I 8# 9 # . . / . @ $#
. +
.
D $ + . @$
C$+
#
, M. $ > +
1
## 70 742 /
# *# # . # . . #
# . # G ## . $ 12 # # F# # @$
# . ## ( > ; G
Q G> % F
* M 5N 5 66
Komponente A
Komponente B
class Person
class Abteilung
class Krankenkasse
class Gehalt
class Erfahrung
Komp. B
class Dienstwagen
class Außendienst
class Innendienst
Komp. A
oder
Komponente C
class Kunden
Komp. C
1
$ 2 C$ + ## + +
. # C$ .# $G . . C$ %
& . I 9 +
C
C$ #M > @$
# #
# # / #$ C$ C$ e >
I +
# I
. # G -I I
# # 1. # ! 2 $
#
. I M 9 E
>
GI C$ E# ## . $ Innendienst
Dienstwagen
32 .G
5
*#
1/ #
* +
4 *# #2 > ). .
?@A)-> 1
## 607 0462 C
" *B . # > / .G.
. C
B$
. .
+
Außendienst
# 1C 2 1# C2 > 1 2 ,+
#
C$+
* +
#G # C
# C
#
. * E #
$
B C$ # . -# * $ / > - C$
B G . .. #
+
9 # .
#. #G " ##$
6<
> . . $
B Innendienst
+
Dienstwagen
#
C$
# . # .
42 .
" # ,# 1. 2 I
. C
Außendienst
* # . D # # . # +
. . @ .
N . #
. D
$ 8# 9 # # .
. > G# . >
G C
C
. >. C
# $
# C$ # #$ * P 60 / : + ;
' ' 7!
> G # E $ C$ . # .
E . # . @ $
B 9 +
#
. D . E #G # C$ .
D . > .
. ) 1R @2 . @ 1 #
. *
# $#
2 # #
. +
E 4 5 # # # 1KB *#L
#. ## 9 # #2
*& + 2
+:
E# ## $G 8>+.
[2. Ebene]
[3. Ebene]
C
a$a
person
person
arbeitet_in
1
1+ > 1*C
#
abteilung
abteilung
?
C
a$a +
8#9 C
a# a #
8> . . 8# 9
8>+. . C . C
. * ?@
. # *
I .
C
. 1
P 74: 352
" ##$
6=
"
#
# $ 8>+.
+= > +=" 'C2
1
. C .G.
?@ #
?
[3. Ebene]
@ $
# # 8>+C
pkw
1 A 2 . V / P 74:
I #
8>+ # $ . /# .
. 8#9 # # "
+
in_Reparatur
8>+ # $ / . *. . >. *B .
fuhrpark
. . 8# 9 .
*&& + %! -
1.
/ . > #
(
(+C
>
$
1X2 X VR X$Z R $Z
> > .
[2. Ebene]
[3. Ebene]
.
employee
>. # C
+
FJ$)*2
1
employee
/ > . >. # - . ## .
C > .
C
#. . # C
. +
C . D
4
@ $ > $
+
# +@ *
. I GM > employee
employee
$
B C$ , . -# # C #
2
2
+
, # 8# 9 C
M $. M * 1. #+
2
E , I C . .
>+
. * #
* C 9 . I >. # * # !
# +
[2. Ebene]
[3.Ebene]
# # # class a
class a
. G
5 # +
# #
" n
2,2,n
2
2
C . $ # +
. 4 # # # 9 # " ! # #
C . D
C+
# " RR$
" S 4
" 6 K 9= " ##$
6:
* . C $ # *
F#+
C # I # .
>. >
# "# # # C .
# # I D
. C #
/ #
C 4 # # C+
C # > 5 # # .
>. # > . . B C / [2. Ebene]
class e
[3. Ebene]
class e
2
.
- . > G# 1
502 - > . . . C $ . . .+
2
C
) # C > # I 4 *# !# C G G 5 *# C .
C
G
9 #
I ,G >+ #
.
I G > # # I
!
@ G.
!
. . ,
#
BZ$ b .Z 8#9 C
aSa # 8# 9 C
*?
# C
aS.a " ! . aS.a $
B E [2. Ebene]
> $G
[3. Ebene]
flug
flug
# C
aSa . +
# I
G > 9
#
9 # #G +
E / # flugzeug
maschine
flugzeug
."
C
*?
# . . # > +
#
> C
flug
flug
max_passagiere
aSa #G > # . > I anz_tickets
C+
$ 9 #G . C > . . C
1#. #2
# N 9 " ##$
#. #G <;
[2. Ebene]
[3. Ebene]
a
a
b
b
c
c
d
d
a
a
b
b
c
c
d
d
# ## 4 # # , > . # . $ - - - # "% # % + * " + # # # * # " + Z
Z
Z
Z
Z
Z
Z
0
4
5
## 4 # @ > .G.
$
C
a#a #G - . # . ,+
8>+.
> G# . . $
. $ 8>+. $ C . # 1 2 .
# > 8>+,
8>+, 1 2 # E G I #G #.
. $$
C
1 a#a2 #
@ > # +
5 # # , +
# *# I . #
$
B $ . 8>+
, - . $ . . #
$ C . #
! 9 8>+, G
. 9 8>+ # .
G C M I , %E +8>+@ $& . . C ! . ,
4 # I $ C Z
#
Z
"
Z
. , 4 # ## 5 *# # I
. 4 5 , GV / 9 . # #
, #
" ##$
<0
>. 8>+.
,
1 8>+. . 5
G$F!+2 # 4 # G $
$ # E. $ " * , " , $
#G E
?@ 9 8>+. # I . @ > C
a#a $$
I E
. , # 1
P 74: 352
G .G.
$ > # 8>+C # * 9
# I $G ?@+, E
I 8>+C $
# # # 8>+C $
.
?@+, # . G
$
# @ $ 8>+ #
$ .
E
> P 74: 35 # , 8>+@ $ $
. 8>+. . D #
CB ?@ 1
E
2 . #
* . , " $ ## +
> . G 9 * , G
- ,
#. E # J )$ *B . #
. . " I . > #
$ C
#
$ > $ S #
. I .G.
" #
$
B . -# # > )$ > 9 I " #S + +
$ . 8$ #
# " # C.$ $ .$ *&# + ! !
$ # .G . C
aZa aZa # aZa
# #M &$"$. #
) "% &' + %$
& # # Z
Z
* #M . #
C
U
#
. #
# . * 7 F F " ##$
<4
[2. Ebene]
4 *# . C . [3. Ebene]
C
SB C aZa #
last_result
med_check
I #
# C
+
# # C
#
med_check
/ #
C . validity
next
# C
. #
.+
E 9 akt_datum
C #
akt_datum
# #
> +
. , C # .
timestamp
>. C
- C . #
G
>. # #M +
>. C
/ . %
FJ$)*&
$ C $ $ .
C # I 14 *#2
.
#
# #. # .
#
# . / #
#
G
E # # M
. #
# C
# / . I #G . C
B C
1C$2 $
*#
I $
C
5 *# C . # . / . .G.
#
#
#
*#
# . #
# C+
. G # I #
# $
#.
*#
#
* # #M *B G 9 GM . I @ #
$$ > # .
M # .
. 1
P 602 " +C.$
# . >+E E . $
B +
1R , 8>+.2 &$!$ % &$-$! -& % -
/$/!/ ¼¼
* * 4 PK
!
" ##$
<5
/
+
[2. Ebene]
[3. Ebene]
# +
iso
iso
#Q # +
neighbour
gr
/
$ E gr
group
1
## 4 5
cl
*#2 I . C
+
abs
c8690
a#a aa a=6:;a
ancestor
$$
- c8690
abs
font
font
#
. $$
C
neighbour
iso
iso
gr
I
.
I !
group
$
+
.
M #M +
c8690
# -+
ancestor
font
.
8# 9
cl
abs
+
.
# fonts
gr
G
E c8690
abs
fonts
font
N +
+
#G . +
C
+
D $
+
, 8>+.
. 1 P 74: 352 C
$ 9 +
#
. $$
- - . . $ " 1
. ## 4 5 *#2 #
> # #
" #
!# + #
+ ,
. > G# #
# . @ 8>+, # *& + )9
, $ #
, @#
1
2 $ , +M $( ! -" & ! $!
! # !% %- # -0 ( !0 0- Z
Z
Z
#
+
[2. Ebene]
[3. Ebene]
angestellter
n
angestellter
sum_zulassung
n
C
#+
M #
C$
M # # +
zulassung
mensch
zulassung
$
+
# C
, + #
" ##$
<7
"
#
# $
$ M ?">*+@ $ 1 2 $ U
N /# .M > # $ # ## 2 # #
1 C
a.
a M $ , #
@ $ 8> C C
. , + #
. # I C # 5 # # !G
# # *# .
. E > #
# , # $
B 1 , 8>+.2
$ G
$( &!" -" & -$" $! $. $!
&!"-$" $. # , , ,'"$$$-$. #
Z
Z
Z
[2. Ebene]
[3. Ebene]
trust
trust
nr
next
#
company
division
dev
members
$. C
I . !
$
C
aa
aZQa
.
# security
s_staff
#
@ , +
company
dev
,
$ C
a$ a aa
s_staff
*&* + )!$"$
8#
P 30 B$
. # C
# C$ #
8#
#
1
# " ,# -
* +
2
# I ^ 8#
-
# #G # C
C
C$
% :;"*%)F 6 P"$5, % > 5, ' > PK P * I " ##$
<3
[2.Ebene]
[3. Ebene]
person
2
2
name
adresse
E 2 employee
costumer
costumer
2
2
prioritaet
kundenNR
raum
adresse
personalNR
anschrift
. -+
#
C
88+
1.
. +
?@+
C2
C
#
2
2
. / #I
2
employee
. 8#
anschrift
person
,#
#
I
#
#
$. B$
. #
,# * # I # 8#+
# -
!
# *
# 9 V / # M 1
$ P 077 :2 - # . #G . > ## . # ] ] $
$ 1> % $ M&
. " +
# $
. 2 I -
$ # #
8#
$ # > # # 1
# 8#+ -
2 . . $ / . "
>
C > ## # 8#
+
# $ E B$
. I >. . 1]]2 C
]$
]
G ) . # #
#
-
- # ,# !
$ . . G# #
+
# !# 1#2 " +C # I # # M I >. -
M # #
> # ## 5 # # . #
# 9 $ # # $ . # ) . $ E > G# . . # > B ## G
E . I )$ .# #
. > A # #
. # 1$ + 882 8#9 #M
*&7 + * # ,# . C$ . C
#.
#
I
>. 8#
#+
" ##$
<6
$
8# 9
8#
$. .G $ $ -# # #
C
. [2. Ebene]
[3. Ebene]
root
root
. #
# N +
DG.
. . ,# #+
C !
c
a
$ par
$
I
+? # %U
&+ +? #
#
# !
c
a
, par
b
+
b
1!# 2 . #G / $ .#
/ # C #Q # #
C
. G $ . $
B 8>+.
G
$ # '-- #$--
[2. Ebene]
zeta
[3. Ebene]
gamma
gamma
kappa
alpha
port
tau
zeta
contact
beta
kappa
contact
zeta
gamma
next
alpha
previous
tau
kappa
alpha
tau
beta
beta
.G 4 # # " # .
## # 9 C
$ 1 8>+
#2 #G . #
C
9 C #G 9
,# > G# #
# $. E . * # 8>+.+, 1. 8>+2 #
#
$
C.$ . #
# . * ) ## . . -# #
$
B D $. 8>+ 1
" ##$
<<
## 4 *#2 # C 1 2 +
9 )I C $
. # # 8>+C
# #
$
B F# C > ! G
# C $
D+
G . C C
a
-#
.a
$ C
. #
C
!
$ *B .# * I *
C
# ! 5 *# .G.
# # +
C
,
. C #
C
#
$ # 8>+ # / . C . C
# . # 1 F!N!!=2
8>+
. , + #
1 5 *# . C $ # C
C
#2 E , .
C . aa a#a
$ . #G 9 . C # #G .
C+
. .
C
C #
# # C I .
aa # !
C
>. aa . .
>.
" . @ 1#
2
! !
#
#
C ) 9 I G
4 1 2
>. C
. 1
!!!55F'355G'3FJ$G3!!!2 C $ I . @ #
C
aa+>. # I . 4 *# $ " $
. $ +
8>+C 5 *# G
. , 1
>+E 2
8>+ 9 8>+ # . G+
" . M I , %E +8>+@ $& . . C
*&
/$ ! !! A 2
+:>" $
# D 8>+
.
9 .
#$ !G
G E > #
# C
## #
B$
E+
)$$ 4 4 #4 & K F G 4 TT$
" ##$
<=
E#
c
o
## . G +
C$ C I+
# # " a
8>+
# $
#G $
$ 8>+
t
. ## b
p
# # . $ # >+
$ . . N# . 1#.
#
C
2 ## # C
# - . ## 9 C . .G.
# # ## . 1 4 # #
#2 * E # 9 # #G > !
I I .G.
N # . G 8#
B GM . I # *Q 4 # # . -# C . # C
.I #G C
#
/ . , +
! #. G # *&0 '5 <$$
. C
# # %N& 1
*B # > 2 $ ## C$
. *
. #
$ +8# 9
# 8# 9
# . =; " #
.
## 30 @ . # 8#9 C #+
# # #G G . # . /
. I # 8# 9 #
#G >+
$
. G
) #G >. $
8# 9 . @ . > # ## # E D
# C # *&8 + $ <"$
,# C.$
" M #. 1 P 077 :2 > ?">*
88+
# " F2
' 9 6(=
" F PK PP$PK "
" ##$
<:
1
n
3
2
2
## 30 C$ 1 . >+@2
>$
# 1
$ 2 . M M >+
G# @ ?">* 1
P 74: 30 K?:5 45QL2 #
! E #
$ # ## . G
+
[3. Ebene]
,# <3Q # #
8#
# !G
]$$
a 1 .G.
#
-
## 2 $. !# ,#
"# # M a
/# G # # # #
b
-
- @ M . # .G.
%& 4 # # #
# #
# 9 %& -
# . +
. "# >$
#
R
a
c
1 #
#2 G a$+
$
a # 8#
. -
C M. #M V DG.
. %& *& ! ! BC !
* ,
# . $
B G # ## 30
# I C
#
# *
Q I #.
$ C
1 I 0; 4;2 . # / # .G.
#
$ " ##$
=;
# / # #
#+
G # C $
. # # C
# C *
# C
0=; ) . D . # #
#
! . I E # #
# C . #
$$
8#9
* . ,# #
# .
/ # G.
# # $ + * #G #
* . G # #.# #G / # C$ . #$ 9 *
#
*& / # E . C$ M # I
!G
#. G
$ 9 $ * #G . $ # ,
E # 9 $ # ## 30 =; GI 9 I
$
B $ > . # . ) . .G.
. . # 9 # .
> . . / . . > # 8# 9 G
# . #M +
# $
B $ 9 CB 1 2 # " G $ # # - +
#
# I . -. E $ # # $ .
#. $
B $
. * " $#
$ 8#9 " ! #
$
B 8# 9 $ # > ?@A)-> I . # C
$ . $
. . #$ +
) I . ?@A)-> G . G
. . # 9
)
> . # # . $ / #
P 600
#
# + <!3= "# /
"#=
> K:6L # . F#$# @ $+C M. # $ ) . F#$
# * K:6L " ##$
=0
*# /$ D ! ' 5
!
> P 747 I ?@A)-> # #
C
B #
. M G ?@A)-> . # . ?">*+ G
-
9 C
$
# G $ !
# !
E
?">*+
* ?@A)-> . # B$
. #$ $ !
# # ?@ I 9 # # I !
!
* GI 9 # #
C
B # # . !
+
G # ? 1?">* 2 #
?@ $ 686+*++N(33' >H
+66=*3/+3(0'3 +6613/(333/N*00'!
> !
*B . B #
#
C
#
E
#
C
# @ # $ #
*#& /$ D /$ '$"$
> P 743 # I -
" # # .
M . - +
. M -
" B #.
#
M # I #
. #
8#9 #
C
$ 8#
#+
/ . 9 P 743 > !
%G& 1* , C
-
2
*## /$ D %! <"$A "$
)! >! $ ! ( > P 746 # I . +
# C
> G
B $ $
$ #
I > $ E P 746
#
$ # I " . * +
$
,# . ##
34 =5 . B$
. ?">*+ #. ? 1?">*
2 # ?@ #
]N] N > G# 1 E C
$
$ #2 $G # 9 C
##+
1 @ # G . 2
$ " ##$
=4
.8 >$ /0 P . 8 81 1
. >$ /0 P . 8 =* 3 '3 1 6 5 ( 6 . 8 13 6 5 *5= 8 8"55
. >$ /0 P . 8 =* 3,3'3 =
** ( 3 6 6 ,* , =*<5=
1 5
) > 1D""*'
) ) 6 )
5 .8 6 6 7 **
*"* 6 1!
) J$ /03 6
1= ** 3' .3 1 *5 8 ) !
** D3 6 3 3' . !
.8 5 6 *"* 6 1
. ! 5 *"* 6 (
6
** "* 8
** )'
## 34 . - >
C
$
$ #
*# /$ )9 %!
J * I , > > # 1
P 74<2 - . #$
> C
C
$ 9 >
$
*G
C
I C # 8> . # C
. .
>
> $ 9 $
0 C
4 C
# 8>+. . > C G
, 0 4 I 1
* 2 .
*#* /$ ,B ;<
/ :;4 ("$ !
> P 74: # #
I
. ?@+
>$
#. $ > . >
9 B $
. >
88+CB
-
M $
$ 8#
- . # E > M # " . / F# # %$$
& M " ##$
=5
. #G I # G G *
D 8>+. ! 1 2 8>+ # 8 9 C
#$ # 8 . C
# 1 2 8>+
# C
> !
?@ >. # C
. . G #. 8>+ # $ . ,# > C G $ 0 #G
M > G# " . $ 9 > , 12 ! / I > G# B
#
F#$
?@ #
+
# ?@A)-> ?">*+
1
?">*+N B2 # . # . . D %
+
A& # D * / !
+$ #
#
G *#7 /$ % A "$ $$"$ 6$
"$ 9
> !G
@ > #$ # I > # $. # * > . G. # #
%8 & GM #
G. %8Q & G )
GM CB # / . 1
K=:L2 ) . /. . # !
$ > !
> C N# 1
P 7542 G > # $ C $ !
. M G
> # #
!
,# 8# 9 C
$
# %8Q & # > !
> @ Q
! # > # C N# " #$ $.I # 9 .
#
/ $ e 8#9 1 $G2 $ # 1
R $# R G2 # . #
G " G > . 1+
W 2 > $. !
I . /# 1
N /2 9
. , G # / +
/# .
I $ !
/# . *# N# 1
G 2 * " ##$
=7
$
B > $ !
#.
G 9 `. D I
$.I 8#9 C
.G
/ %8 &
#
# >
-.
C
C N# # C >
C N# D * 9 @ 9 D @ I
,+"2
1 K-/:5L2 /// 5 )
*
#
# @B+
>+D
* . # @B $$B , . M * $$B ,
#
9 @ @B G2
)
* $ 1
+
GI
* . K/!<7L Q #
NG
@B # # C$
B G "$$+
#
#
@ N. V / 9
$ !
G G B @ G
" N. +
/ 9 #
$ !
?">*+ B # +
B I
$ !
C 1 2 #. C+ , #
#. # #Q #G
.
. #
/ # # +
C$ . G / # 9 !
B I $$+
B # 9 C$ . $ !
#
#
#
.
$$ * GM !
#
"
. @
@ # %
& ! # !
GI I $ !
* . )
. G
+/ 9 $
B $ !
1. C# . #
)
#
#
2
! $$B , . K-/:5L Q
)
. G
W # K/!<7L
# # # B./< & F F 4 # M*N
F 4 56 &( 56 " ##$
=3
> . . @ $$B , I 1 ). . N#+
2 ! $ !
#
. I . " C $ !
.
. > . # $ . C M C . #G !
. # + <!3= "# /
"#=
* /$ E!> >!
K:;L . *
# > #+
$. *
# #. > 1
P 7502 C *
# $ # 9 >
# C$ - . #+
$ # > #
C$ E
@# #
$
#
.
G. . C$ B I / $ .
/ / $
9 .
1#. @ 2 > # . E > # > # I @# G #
+
# CT. B # *
# N -
# . 9 .
#
+
@# # . / $ .
. E EG . +CB +
1
P 462 G
, I # @# . I > $
D $ +DG . N +DG . #
@# +
* @ *B *
# # Q
B > @ . *
# . / I #
B 9 ! G . B P 46 . # # +
E ? C$
B G
E+
G . 0:<0 I *
# $+
#
@ 1
K:4 07:L2 E+
G I 9 !
*
/ #$ ?">+
*
# $#
?">*a E+ *
# `. . N #
* # +* # *
# $#
!1 -.A B<C0
3 + " ##$
=6
IBs
unerfüllbar
erfüllbar
semi-entscheidbar
endliche Modelle
endliche Modelle
Modelle
unendlich
"axioms of infinity"
semi-entscheidbar
unentscheidbar
8# ## . * . @ -
# > # I #
P 750 > # . .
* # .
/* &0 #
!G
+
# 9 .# 1
K:;L2 # I I+
N . 4;;;; ! .
I 4;;;0 # !
B + # * # G. !
/* &0
) Q
. # . . / #
* #
#
, #
1
KE:3 4=0QL2 *B .T @ . +
T I # D 1 > . &0 2
/* #
B # B C
, #
# 1
K@:<L K!>EL2
.
9 /
C . # I *`. .
#
/ # I "$$#
+*+
# *
# $#
`. / # #
. D , . , M + ! K ::L G
@ $
# #
! $ - E+
#
# . *`. .# # # / #+
> C$ - > #. > *
# . $ $ > 1
P 34= ## 302 C
.
$$
G #
*. +
I ,
/
.G $$
$ 8# 9
+
. . # " # # *
# #. E # D # *
# # Q $
# I # *. $$
D " $
6 * "
; 5 @ ACB EC " ##$
$
=<
D N #
* # $#
P 373
C# *& /$ E!> /$ ! !(
$ P 757 I #
9
,
M. I G
# J
/ $
B ?">* *
N # C D # 1 >.2 # D
)*!8 $ G )*!8 $ G " - 5N-'3 5<I'3 -!6N $ I!6N' $ GC
- 5N-'3 EI'3 -!6N $ I!6N' $ GC
# * I .G.
. > , #G # # # $ > # >. C
*
# C
*
I
*
#+
>. # )
, # # B# #
#
9 M E P 757 I /# . # *
- . #$
/# . >. # I #
#
9 D #$
# . / #
+
# * * . #$ G 6!
1
2 . # #
/# # I .
> G# N G . #$+
# / #
# G ! # DG
D > # 9 M 9 # . .G
" .$ , #. -
6!
$ ?">*
N # ! .
$
+
# , > . M , $ # . @ $
@ $ #
# 8>+. . C
#
# I . 9
, +
$
, G
#
#
# . .G.
#
# C
$ C
#
# .
, >. #
C
## . # #M 1 (] . C
2 , . " ##$
==
6 8 6+6++8>
6+*> 3 8*> 3 6> '
6+6++8*> 3 8*> 3 6> '' $ %3 '3 - 5N-'3 5<I'3 -!6N $ I!6N' $ C
6+6++8*> 3 8*> 3 6> '' $ &3 '3 - 5N-'3 EI'3 -!6N $ I!6N' $ 6C
- $ 6> 2
1
G
I $ 8>
, >. #M #G +
9 $ $ , GM
/# #G $ >. !
#
#M $
9 !
I # #+
# 9 >. 1#G I # #G >. 2 , $ # DG
G M > . C
#M 1 (]2
D , #$ # . >. +
# #
# $ > #
# 10 42 #
9 / 15 7 ,0 ,42 #
#
1
2
. >. #
3+@$
# > $
. 9 0 ,0 #
4 ,4 .
+
$G > /# $. / 9 # D # , > 6 5=*5 !!!
+8+5
6+6%3 &3 -%3 -&3 )*' 6+6++8*> %3 8*> -%3 6> )*''3
6+6++8*> &3 8*> -&3 6> )*''3
-% J$ -&
6C
> . #
>. (] B #
#
/ #
# # I /G+C.$ #
$. P 757 .
V #
+
# . *
/ . # I +D . . . . . % & " > . . - M $ P 757 #. # I . 9 9 . 1
$ 2 > $ /G #
5 1
R 062 I
#
. > . . #
G L 3( ' ( ) " ##$
=:
Anwendungsschema
erweitertes
PRPT
CPT
Wächtergenerator
Anwendungsschema
## 35 B ) =7 /G > . /G
1
## 35 352 >$
I E# .
/G , > V
N 9 #M I .
!
$
# #
1 +
$ . P 757
2 # . F#$ # N# 1
P 7542 . $ 9 #M 9 . , .+
#
#
9 /# #
# , #
. $ P 7572 B$
$ , . " . , . )*!* U &3 G% $ 9!%Q3
)*!* #$ %R3 G& $ 9!Q9C
9 #M , # # > !
I . / # , * N# #$ # 9 I $. +
. /G+ !G
.
. N# $. G
/G+ .. E # $. . N# +
. /G # . .G
Q
D #
# 9 I , E I " G ' 4 F K ' 9?<A= 4 ' )
G & ) * " ##$
:;
*# /$ E!> % !( @
4 6
> P 753 # I #
# M # 1R +
>. . C
2 M I >. I # #
# # $ ! #
. I )
9 #M +
# $ ! ! ! $ #
G
P 374 6!
$
$
. > # # I . 9
>. . C
# #
/G # , >
. , >. G
#M /+
# . 9 #M +
$
, 9
$
+*"F'3
#
G ##. 1
C
2
. X . ! $ P 753 , 6 8 5=*<+*<+*"> 5=*<
5=*<+*<+*"F' F!6+*< O F! L F!1+%' $ G3
F!<+ +5=< U %9C
5=*<+*<+*"F' F!6+*< O F! L F!1+5' $ G3
F! $ K543 F!<+ +5=< #$ %9
6C
! . #
# . C
M > . >. Y . C
B # M , !
Y #
# /# > !
# I $ ! ! $ > C
M 6 5=*5 * 5=*<
!!!
*<++66)*' 5=*<+*<+*")*'
!!!
6C
3 %1 F! K ) $
* ' #4 K ' ( ) @ <AA
H
" ##$
:0
# # I !
$ ! >. . , # # #
>. . G
M. !
,# E , > . / ## 35
:; . /G+C.$ *#
P 374 #
.
I
*
*
G
+D . C
M $ !+
. . . . * # 9 / . +
. . . #
#
"
M ,. # M # Beispiel: 1 <= i <= 3
Definitionsbereich
p
1
Definitionsbereich
p
2
p
1
p
p
2
3
vollständige Partitionierung
dA = totale Funktion
#M X
p
3
unvollständige Partitionierung
dA = partielle Funktion
"
! G $ ! # >. X . C
. M M # # # 9
. $
. >.
# # . 9 $ 1R
2 > G# I >. . C
.
> # I $ ! #
G ! # #
. +
# *
# $#
1P 7502 / $$
#.
/ 1 >.2 . ? $ ! # > CB *
# +
$#
$ / # +
#
# $ M . * , . - G C# # D , M #
# . . ! +
. . !
# / . " / # /
" #
.G.
> >. . . )
/ I I #
# " ##$
:4
D %/ & . G ) .+
# @# /. G 1 # # # >2 *B . >.
C
$ N I
/ $ # ) I
! # #
# M. @# # . ,
* # 9 +CB , $ 1>.2 $ M . !
$ , M #
B @# !
G
* /$ E!> ! > P 756 # I . #G >$
+
.$ # .
@ #$ 9 >$
$I / # 1>2 .
# 9 , > $
$
1>>2 . . $
# >$
.$ #
9
.
>$
#
1>2 . # 1 1>2 !
9 I2
:%2
!
1>2 # #M . P 757
# 9 * #M > * I .
!
I . F#
#
#
, $
> I *
9 # .G I 1>.2 9 $ #
G GM F# # # $ ! +
. 00 >$
$. M . /
I F#
$$ # # >.
B G + #
/ 9 . # # # "# Q.
$ 1 ) 1 R72
$ 9 ). $ . +
# ^ N G $#
% S4 :;"*%)F F4 ) 4 5 4
K ) F 4 F > " , ) * " ##$
:5
9 1
$
G " . # I I ! . 9 . E V 1
- *B . .
$ 1
1
5.
#M #
2
!
1>2 . +
#$ # 2 # 0;; # +
I I ) !
#
# $
# C9 !
!
Q # @
1R > P 4522 > # I +
# @ $. > $ P 756
4 $. 0 9 4 0 # #
4
G 0 ,
9 .
GI #$ # $. .
$
1
1
2 $ # !
2 #
9 G 1
@ $ , #
. , #
1
$ P 756 U1Y2
0 U1D2
42
> !G
. .. # ). . .G 2
S
Q
)" ) * )" ) * )" )% $%$!$" ) * %)$$
>. 5 #
#
>. 7 . # I ,
J I
,
, ,
V 3 G I
D
c 43;;; >. 3 #
7 #
E 9
# . C D I #
#
#
# E. * . !
#. #G # G >$
9 .
#
9 G #
# 9 $
B !G
R
T
:
> $ # # #
# # * #
# # * #(
= , 6 < +
I $ @ 9 I F, * " * 4 )
" ##$
:7
.$
$
.
# I ,
. 1 6 <2 .
1=2 #
$ ,
> $ #+
I I I ,
1 V2 6 < . . C9 * #
@
# * # !G
#
C$ !G
#
C # I . I . / # I . !
1>2 + #
! !G
@ !G
.. . $ * C$ . #. . !G
. . / # 9 I !G
# C >. . C
. /.
" # . # >. # # >. . +
> . # ,+ .. /. +
#
# 9 111111
000000
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111
000000
111111
9 ) #
# +
$ ) # G , > I . M #
/ # # ! /. , 9
> $
, ## 9 . , $
/ #
! $
, + I $ . # > I !
1>>2 1
:52 / $
* ,. !
.
1
2 ,
,+ P 756 !
#
C.$ , > #M >.2
!
$
M , @ $ . C > P 756 # I !
.
1# @ , #
#. 2
# .. !
1>2 #
. . # $ . # C >. C
. I . GI . * > . > G # #
!
% MN ) F
4 ; F, " ##$
:3
+"2
/ P 756 I !
. . ! !G
.. $
B !G
,
#
# # B >. C
# # > . C G
#
2
! # $ I
$ C
# / # I .
C
I ,
*
# B > . # >
7
1
K@-:6L2 #
). . # , 6.
> C$ . > I > ¼
¼
/ G
,# > $ - . @ / B$
. *B . > # E > > , ¼
> #
/ $ . I > !
# # I > . ¼
¼
9
#
# . . M *B . ¼
# ¼
) M
#e
¼
I I - / $# . > K@-:6L . $ #
#
"B
. #
*B . . #
$. G .
#
"B
1
K):7L2
9 ! *`. . , / I # " ) *
# 1
P 3702 )
> . # > M . # I , #
!
1>2
GI
** =
- @# # .
# #
G /
$ . @ . > # # I G / # /
. $
B @ $ N # / I # !G
. $ *
# $#
M. 9 . " ##$
:6
$ @$$
. . . .
Modellgenerator
> -. > . # .
%$ & .
>. .
#
M I # $ C
]
$] 3; >. C
]#] 0; >. . . +
E G . I . >. # / > /
# #
, M . . >. C
]$] # ]] / %T$0;B4&
%;B0;;0& G
> > . G
# $ G .# # ]]
. /# # [@ G
"G C#\
#
, M # #
N ## >. . !
# . 8# 9 9. I EG . /
# >. # # # , $+
%$G& #$ F#
. P 60 " #
.G ! G % &+C$ * ! . # #+G N @ $ +
$
B .. @ $ . !
# $ . # . /# 9
# . > D ! /# %&
#. C ,
. # $
B . +$$
# # +
$
. +! E ! #
#
/# V / /# 9 # J . # # # +
# >. . # G 1.
>+D
2 # / # 1 9 # #2 # $ > G ! . +
#. . , ?%" ,%& &" 2
.
C$ +
! # . > G# C$
G ;($5 " ##$
:<
.
*B .
$
. # - *
# $#
. . >
#
C$ . ?%" @A &" 2
D @ D . # # .# $ " # %#
& .
# # #
# $ D ?@ E
+
1
P 74:2 B . . N %#
& #
# # . # .G.
> M. >. . %"9 '"%9?%"2
> $ + .
. I +
. . J 8# 9 * .+
D . $. M I N $ + . # . . >. #. # # # ! ^ # . M ..+
* # $ . . # . E
#
! # @ .$ ?">* . #
$ /
0 +
#
# N+C . @ G C.$
D 9 $ M " . I @ +
12 $ + #+! $
N+C
N . .$ N " . G
$ ) #
. . # $ #+C . N+
C . # . $ ^ G . I 9
N+C C -.
C . * # ! G +
C$ %
& N+C . / . $ ?%" 7 !" !"2
>. . ! # ) # . I 3;
* .
.
/G
. % & *.
* .
9 CT. 1. ^ #
+
#2 #$ 9 .
@ #
>. . . . G
%
& 1
E + . $2 " # .
+C
. @ #
/ . D $
> . . 9 # +C G %C$ 12
& # 9 +C
@ #
9 @ > +
" ##$
:=
. . ## # > . >. .
> !
>+,
. . #
#+
. >. #
# . # >+,
. . #.# .+
. * !. /
#
+C . % !& #
. >. # . $. M+
. .
* @ # . +
C / > . # +
C 9
. + G . # + N +
# %!
G& ) > *
# $#
1
P 7502
I )
*
. 9 N # +
.I ## # G
. !""9?%"2
D 9 N+C +D G ! I .
N+! N+C N >. G
N+C DG.
#Q # 9
+
C$ 1
## 30 =;2 $ # E# # ! I ! # +$. M
#
#
?%" ? #""5"2
E
* # / P 74: G # C
. I /
. # # . # /
. . >. C
(
$( . #
(
$( 8>+.
C
(#( G
I .G G
I # >. . (#(
B > !
. !
I . .G C
$$
I D . "
#
. ?
?
8>+
@ $ # . C
.
. $$
#. N #
# I ! 8>+. # I #
#
#
M #G $
#.
D #
$
.
. #G $ I #
?%" B;5 &" 98"2
/
D #.
V
8$+
>. 9 >. . +
. $
.
E
#
D # ! %N# & >. . #$ . I " ##$
::
*7 < "$ - .
$ .I . . 0;;2 . , . #
$ 8# 9
1
## 37
C$ ! 1.
@ 2 $$+$ $ +
zu
generierende
Modelle
Was soll getestet
werden?
Modellgenerator
interaktiv
Visualisierung
Verifikation
Dialog
Prototyping-Assistent
## 37 * $ + # / C
. $$
> G # +
. G , #
1
P 3732 # # , M $ 1.
# . / $# *
# 2 ! + )(
1
K/=<L2 >$+
. I
#M # )# >
.V GI I >$
C$
/ . N
*# .
$ - $
# * 9
* # I N $ + . +DG
. / !
I E ! !
# . @ ! +
# 1 2 . $$
#G +DG / #
$#
1
KN:7L2 . B +
@
$
1
## 43 552 /. + * 1 *
2
KN:7#L /.
9 G +
> !
I ^ G G I # ^G. %
. & . #
/ * . 9 +DG
.. ! # +DG # #
G
. * D
. +
@
## 33 .. ! D
#
+D B D
+C$ G 5 $ , RR
9 F I = " ##$
0;;
Fakten
CPT
DBFakten
Fakten
CHIMERA
DML-File
PRPT
Zustandsverwaltung
DD
DD
DD
DB-Zustand
Referenzen
DB Verwaltung
"modifiziertes"
Schema
## 33 @ + D
$ +C * N+! #
,
+ . # C . D #
* #
#
*. N+! #
N+C 8>+
. #
# 1
$
.G #2 N+C . 9 " . $ N $
#
*. #
N+! # .#
F# D
. M. +
@ +D @ #
#
* * G . #$ # ^ +
/ # + , '
> 0!
D $ . #
C.$ #+
.
$. M C . M. 1
P 72 # C - . #
, M I . . I C # ?
+
. , ## 36 0;4 . " .
# # C +
?
$G T
% T&+. # ?
GI P 30 C$ - , M . C$+
#9 . !# # 1
## 362 # !
)
# # F#$
# M. C # I C$+
1
! ## 362 ,
# C$ 8# 9+ /
, #
> C
1#
> C
#
" 2 $
! !# 1#. , M .2 ,
" ##$
0;0
state
property
unknown
partitial defined
checked
livelyness
person (oc)
critical
ambigious
see reference state "Testpop
employee (oc)
salary (da)
to_low(ic)
min_staff_violation(uic)
critical
semantic
seems to be a wrong domai
Schema: Company.chi
Component A
Component Human Resource
remarks
Component Productions
## 36 * ?
. $ ,
# %C & , M .G
# 9
# * C 1
C #$2 G# C C #
> C , #
. !
* ,+
# C # # . #$ +
#
# C
. 362 * - !
$ 1
##
# ! N . C . , M . >
#
# ]
] . +D . D
1
P 37<2 ?
# $ $.I . . . >$
C$
#9
. I , M .+
N $ . G / . >$
+
#M G # $ >
# / #
#
$ +
Q . # + $
B #
- ?
$ . D
$ 1
P 37<2
#$ V
* " . G $ .
#
$ $
B E $ I . % ! & > $ +
1
P 3762 9 , # @. . ,
9 ! !
* . ) . . # E . #.
$ + . # I . D $ " ##$
0;4
$ ' ;#
-
D #
I C$ #
.# D $ , M ?">*+ GI P 70
. # C - @. . # % T&+. . C$+
1
P 302 G
> P 77 1
## 742 # ). $ # # 1
PP 74 352 1
PP 75 372 . P 77 # # #. C +
# / # 9 C $ ? # 1
P 74<2 > 1
P 74=2 # C . *
# 1
P 7502 + . $ C #. > $ V
/ I . , @ C E G
I 3 )$$
M. Optional
Indikatoren für
Modellierungsfehler
Mindestanforderungen
des DBMS
Allgemeine Korrektheit/
Semantik
Grundfunktionalität
des DB-Entwurfes
9 >
)$$ G .G )$$ #
J +* #
#$ G # # )$$
-
#
M. . . Q 0 C . ) 4 C . ) G +*
# # * !
% / . I&
.G > . #+
G
!
/ .G - / . 8$ C %)&
> .
# +
9 +* #G I #$ #
- C 5 > +C " ##$
0;5
7 C . C #. +*
3 8$ C G >
)$$ +
9 C .
C . ) @ $+C$ # G $ 1P 7402
$ 1P 7442
M $ 1P 7452
C
1!
$2
1P 7432
$. M #
1]O]+ B
2
1P 74:2
3 C )$$ # #.
/ # / # #G #.
9 - C ,. # )$$ D C B .
C #
$ #
G )$$ #. %!
$& 1
P 7432 ## C # #
)$$ .# ]O]+ B
. +## ?@
C . ) G +*
$. M #
1D 8>+2
C
#
1P 74:2
1P 7432
#M 1P 7572
-
G #M 1P 7532
N# 1P 7542
*
# 1P 7502
C G C
D 8>+. # $$
C.$
C
#G C G
C . # > . # $
G .
I
# I > . G
#
.
# C #
C 14 # 7 D 2
#
# #G G
G C * > . E # # DG 1 . C
2 # #$
C . *
# I # > # I %$& N# > *
# " .G N# > . #$
# *
# V
" ##$
0;7
> +C > I ,# $
$ #
1P 7462
.
1P 7562
.
$. M #
1$
$ >2
1P 74:2
. > 9 I
## M > # $
$ # . !
+
+ C .G.
#$# . # )$$ .+
C M >
8#+ -
## #$ C .
.
C . C #. +*
$. M #
1 >2
$ !
1P 74=2
* # +DG
1P 7552
C A 1P 75<2
, 12+! #
1P 74:2
> .
GM # )$$ # 1+
2 #$#
!
, I > . D #
> P 74= # I $G !
$ ) $
C # # G # C # ! !
9 I , # $$
1DG2 # * #$ 8$ C , >
1P 74<2
)$$ # C 9 * +
$
> # # C # 2
# ?">*+C.$ 1
D
> * # 9 C . # # CB # . / # , . $ #$ #
F#$ $. M C > C$ # 9 +
$ +.I . . D
$ +
. / # " ) # K $ I & " ##$
0;3
. * . " .
. #
)# .I . #
/ . ,
+
# # # " M . #
. " ##$
0;6
0;<
+ > C$ >$
$ # #$+
@ $ 8?.
* )-> . @ # .
P 3 - . > # * -.# @
@ 7 + $"$ !
> P 30 # $ E C$ D @ #
# #
$ $
B C$
1F## #
$#
2 +
.. P 30 1 $ 8# 9 # 2
G
. % & D G ,
.
$ / # C
. # /
+
I C
GI E # ## . 1#
$$ 2 .
e * G
.G I +
#
C C
>
C 2
C
. # +
# I # D #
# I C #
1
C2 G )I
C
#G )I
C
C 2
* / +
# # )I 1
$ 2
2
$ / +
$ % # & .G 9 C # . #
% # & B
C 2
C !
.
.
# 1R
3 4 0;=
2
#G 2 +/ 2 #
2
C 1
!
- %
. &
2
C #
. / # # . . #$ +-
3 # # C # #
$$
C # #.# E . >
4 /
%
. &
#
2
! 2
>
#
*
"$2
3 3
* N # C #
$$+
. $
. DG.
. . # $ . . G
. # # # C . +
# # ,# C 1 #G $G 2 . * Q I #
.#+
. C
# # # C
#
$$
C$
. $
. " . C
%D & # +
# . M 1X+2 # D I
#
C
#G B Y+ #
. I F## DG # *
$ I . C
. #G # . !
I . C 1 $G 2 # #
,# C
*# G # ? D $ E 0
. C$ V / 7 10
4
2
F#
. N #
G
. $ +
C 1R #G 2 . 9 .
C
C$ )I . C$ 1R +
5
C
# 2
$ 8# ## .. )GI $ ). . C$ I . G G B .
CG )
/ C$ I . # $ C . $ C
. .
C
)' ##$ " 0;:
. .. . . C
C$ *
9 . I N .
,
# G +
$
1B 2+ C
#$ %CG
& `. . #
#
9 G # N ?@A)-> * . # $ 8# 9 . $
. . $G . #.$ *B ?@A)->+ . # #.M . C
I
#
+
.
. #
.# C
9 . # I
$ 7& + ) > E P 30 # @$
#G M. / I
!
!
1,
. >2 # B+# !
+
#Q . $ $ # !
# ).GI >. . . .
>. > * >+
. $ visible classes
alpha
beta
zeta
..............
visible views
.........................
derived
attributes
OID-Ref.
pop.rules
constraints
object
class
alpha
view rules
object
class
beta
X
K
O
R
object
Y
K
O
R
Z
K
O
R
Z
O
O
M
object
class
t_unit
class
zeta
## 60 %5& >.
## 60 1 00;2 . .G 5+ C
?@A
)-> % & #M 8#9 D 8#9
)' ##$ " 00;
B ).GI . G N
%+
.& . #. #G . .
>. .
)
. . 9 D # #G . # +
#
* # -. 5+! @
A@+, +
G . )
G " !
D+ # . B+D
I . #
$ .
. -# # I >. %,$#
&
1R . C2
. $
J G #
Im Orginal CPT/GUI Dialog
wird in der Listbox kein Typ
zweimal aufgeführt. Dies
könnte verwirrend sein.
Aufteilung irreführend! Läßt den
Bezeichner oft nicht lesbar,
Benutzer im Glauben, daß dies die
wenn "dichte" Records oder
einzigen referenzierten Klassen sind.
tiefe Verschachtelungen vorkommen.
Durch VTs referenzierte Klassen
(In TclTk kann ein Schriftzug
werden nicht angezeigt!
value types/classes
nicht gedreht werden)
object classes
s1(VT)
.............
Objects
name
.............
string(10)
................
id
integer
line_seg
................
contains
boolean
comment
data
.............
.............
s5(VT)
Object #1/99
.............
s6(VT)
connection
.............
of class alpha
s7(VT)
derived
pft
Object
node
string(10)
New
Search
.............
xtf
string(10)
.............
Update Delete
.............
s9(VT)
s10(VT)
s11(VT)
s12(VT)
1
0
0
1
0
1
derived
1
0
0
1
0
1
11
00
00
11
00
11
00
11
00
11
00
11
1
0
0
1
Darstellung wird bei Expansion
von komplexen Typen zu groß.
In der Listbox müßten dann
Leerzeilen eingefügt werden.
1
0
0
1
Verbindung hier zu ungenau.
Im CPT/GUI häufig:
Typ1
Typ2
-> technisches Problem (TclTk)
## 64 >.
%?@A)->+ &
* . >. G * ?@A)->+ +
C
## 64 1 0002 . G , I M /
E 9 I #G . >. . I > # . # .
>. 1 C
2 > . / #
# #+
# )' ##$ " 000
Visible classes
Visible dependencies
derived attributes
OID- References
...........................................
...........................................
...............................
...........................................
...........................................
...........................................
...........................................
...........................................
...........................................
...........................................
...........................................
...........................................
...........................................
equal
objects
...........................................
...........................................
...........................................
...........................................
...........................................
...........................................
...........................................
...........................................
class: abteilungsleiter
...........................................
...........................................
class: person
...........................................
...........................................
...........................................
...........................................
...........................................
## 65 %4& >.
* . , >. . ## 65 1 0042 " #
>. *
N #B C
$G *B . >+
.
# # N #B >. C
#G C $ D N #B . 9 N #B
. M #G # >.
# #+
N #B C $ D # M >. # # G ! # . $ C I $ >.
# # / . # C
#G N I @
A@
$
* %,+
$#
& GI . N #B . #
#.M #.$ I * G N #B >. $ " !
>. * G * S #
N #B # / 8> >. . D > M. >. .
# .G
>. $G #G 1 #M 2
8#9 G . # I . >.
N #B #G 9 . $. M. #
$G # 1## 6< 00< . $ !
+
" 525 4 ' M N M$N 4 )' ##$ " 004
. 2 DG.
. . # G >.
8>+*. # G , I .
# .
N #B+* G # .
>. +
. C
. * >. # >. # # ! . * . % &+N 4+
?@A)->+ N . G ## #G . .
>. . * # E >$
#.M # >.
N #B $G 9 CB . .G.
. #
8#9 /
. *
#G . 88+8# 9 > G
# * >. #
7# + + >. . $
I
@
+
@
@ K::L ?@+.
B ! G # # * .G ! # % & I * $ ) $ +
. $
@ # ) G * # # + / # 9 ! G ! # # >. $ " # . N+* #
> $
# . * ) G -#G @ ?@ ?">* >$
. # . ) . @ C -+
. , $
B / $ C
* G >$
@
# $ N+> * >. #. N+ ## 67 63 1 007 0032 . *
>. B$ # # $ +
$ B$ / . > # $
# > M #
. # . >+ #
. . >+ 1
## 6= 00=2 +
#G 1 #M 8>+. 2
# . $ > $ 1## 672
]$] #.M # $ # B$ / # $ B$ $ @B
+
# # #
@ $ $ @B
@B
* #
.
I
. G
# / 8$ G
*B$ . +
# #$ # ! - 71 2:52 I"2*&2 F*5 BO "
) F K F*5 >
)' ##$ " 005
Es existieren constraints
mit diesem Wertetyp
rang
string (20)
person
employee (VT)
Abstand vergrößert
sich bei Expandierung
gehalt
start
datum (VT)
integer
2000
(derived)
pers_nr
object of class
assignment
10435
ende
datum (VT)
integer
ort
string (20)
zugewiesen
assignment (oc)
Link auf
Objekt
einer anderen
Klasse
Attribut ist
Bestandteil einer
View
art
string (20)
object is also
member of
class .......
Object 1 of 10
New Update
Search
Delete
Load predefined expansion
Save current expansion
## 67 . >. 102
1## 6< 00<2 . ## 67 . B$ #.M # $ > ## 63
. $
B # $ * ,# 1Z 2 . #
#
! /
+@ $ . ?@A)->+
"
*
+
! N # $ N #B *
>B . # $ +
G
> $ 1## 632
*
] $] G
+@ $ / N #B $ +
!
#. / . . $
B / $ I +
# # #
I . 9 " # # $
$
G
I # . # # # . # # #
$
B G # >. . $ !+
G P 373 .
/ . >. #
*. # % *4 525
+!
S # )' ##$ " 007
reliable
true
boolean
false
typ
part#047
(value class)
part#041
part#038
qpf
record
lable
string (20)
number
integer
1/20
ktyp
2/20
3/20
set of
New
Object 1 of 10
record
Delete
tag
integer
monat
integer
jahr
integer
New Update Search Delete Load Predefined Save Current
Expansion
Expansion
## 63 . >. 142
@ # # .
. $ # . B$ E
# # / .# # # P 373 %#
& # #. # # /
D #
I $ # 1## 66 0062 @#
. N #B .
" G
I # N #B+C.$ +
@
A@+, # @ K::L #
#$$
N #B N #B #+
$ # $
N #B . C
%&+N #B # ,
. . ,
9 #
. C N #+
B G 9 N ## . # # # # !
1. # >. >2 . > . N $ N #B . . *
. I
$ + GM # 8# 9
# * >$
)' ##$ " 003
name
:
string (19)
alter
integer
:
100
rente
boolean
:
true
komplex : (log VT)
tag
:
monat :
jahr
:
visitors: set _of
name :
id
:
1/5
New Update Delete
New
Object 23 of 50
Update
Search
Delete
## 66 . >. 152
7
+ )9 4
> $ # >.
#.# 9 #
- #+
. > . ## 6= 1 00=2 . " . $. M
1. >+ - #M >.
1
## 6522 .
# . * CM #$ I -# @+ . I
7*
+ "$ 1:)
@ G $ >+,
. #
. >+ #
C$ C
. >+ #
# ## 6= 1 00=2 . > .
# N #B @B
+
! > N #B . > C
.
> N $ > ! C$ . DG.
M >
# @B
/ !
> >
# >. N #B * N #B G
>. .
# # 9
. ,# # $ > # # . $$
>. $
>. * ! ( 8
#
M > . . @. M+
. /G
! $ -$ M. > @ , +M N #B Q. )' ##$ " 006
PRPT: configuration of visible attributes in object-selection menus
New
class
list of configurations
.....................
.....................
.......................................................................
.......................................................................
.....................
.......................................................................
Update
Delete
Load
Save
used in
available attributes
........................................................
general
........................................................
constraint dialog
...................................................
........................................................
........................................................
pop-rule dialog
View-dialog
derived attr- dialog
...................................................
...................................................
........................................................
## 6< # . . >.
#
. # > . 12 ! . #
-
.+ *
# $#
77 + >! ## 6: 1 00:2 . > # $
>. D+
. C
C
.
#+
C
. $
. # ?">* C #
C
+
. . >. #
C
-$ C
> 9 # C$
B G %$ . $& . # #
# ! C .G > . C
> # > .
/ ! . #
>.
#G $
# @B 9 M G
. $ -$ 1
>+ 2 # 7 + >! !(
## 60; 1 04;2 . #M >
. C
#
# #M . @ $ / #
#
)' ##$ " 00<
PRPT: information dialog on constraint violations
Constraints:
class
[poly]
untargeted
.................
visible
object
attributes
name
zu_wenig_artikel
partner_fehlt
........................................
choose
applied
constraint
set
Violating objects:
class
[poly]
object
sum_quietscheentchen: 1003, sum_badesalz: 77,.............
............
........................
............
........................
recompute
conflict
set
Object involved in violation:
class
............
object
........................
............
........................
............
........................
Constraint definition:
test
modified
constraint
undo
test
check
special
properties
(changed)
zu_wenig_artikel(Self: poly) <- ........................................................................................
CLOSE
## 6= . . > G# #G G
>. . G
. . M. *# $ -$ 1
>+ 2 . / . # > B #
#
. #M # .
>. # >.
1 2 C
A # >. C
M %
$& . .G.
# $. #
1 ## 60; 04;
2 70 + >! )9
## 600 040 . , E# , #
. $ -$ 1
>+ 2
! $ ,"#
! >$
@ # .
, .
## 604 044 . +
, .
1
%
2
, # ,# . 88+ 1 !
. ?@2 ,+
* B$
. I $ +@
-#G ?@ # I @ )' ##$ " 00=
PRPT: information dialog on population rules
D
information is being displayed for subclass
A
Source of derived objects
B
class c 25%
applied pop. rules: 1,3,10
class b 75%
applied pop. rules: 2,4
C
D
E
F
circle
column
partition of parent class
Diagram Type:
..................................................
List of population rules for D:
No.
Rule
3. .......................................................
4. .......................................................
5. .......................................................
6. .......................................................
..................................................
Definition of population rule No. 4:
List of derived objects:
..................................................
..................................................
..................................................
..................................................
..................................................
selected object was
derived by pop. rule
No.: 10
visible
object
attributes
Delete Rule
Add Rule
Update Rule
Test Rule
(De)Aktivate
Rule
## 6: . > # $
/. ?@ - G . , +
$ #
88+ $ #
I
G #
D . . ?">* B ! # 88+ 1
. !N8> K!"C:<L ?
WW K:5L
'
K!
:3L 8N KN :6L ?$ KJ*)
:3L2 " 9 !
+
- #G ?">* #$ 88+
# C.$ H > G# H . >
F
@ #
DD E)$%
'
# # C
. 8 *# # - . # 88+C
C.$ 1, 2 . - . ?">*
. I %& > . J I @
* ?">*+ #. . , ?@ G >$
@ # G . * $ # G / . @ ?@ GI . )-> " #
Q +
. # $ )-> * #+
F 7 4 ' -./0 )' ##$ " 00:
PRPT: information dialog on derived attributes
class:
objects of selected class: (98)
.................
.................
derived attributes
.................
.................
.................
unit one
.................
.................
leader: "Jupp Müller", score: 1009,
Type, Structure and Value of: alpha
KL-MN
alpha (VT)
2843
visible
object
attributs
alpha
v1: string(5)
b2: integer
Rules for alpha
Delete Rule
1. Self.alpha = Y <- ...
2. Self.alpha = Y <- ...
3. Self.alpha = Y <- ...
Add Rule
Update Rule
.................
Test Rule
Rule Definitions:
Self.alpha = Y <- a(X), r(Z), X.state = .....................................................................
list of constraints with alpha
.................
.................
.................
list of involved objects
type of rule
[class a] .......................
[class r] ......................
## 60; . > # #M # )-> #
! G 1 ,
>+,
.
2 > #M % & )->+! ! B$$ . C$ $ + * . )-> ! . #
-. # G @ >$
* $ #G *
$+
@X
+> @
A@ /G I 9 1 ?A # "
+
2 - G #
#G * +
$ I # >$ # G * $ QG . +C 9 * . +
) N# # G .
@
A@
C$ . )->
$
$
# #
I
@
# *
$+
@
@ +
# . *
$ @X
+> # *
$+
9 # # #
) *
$ #
$ @ +, > >$
# Q
# % * $ . $ ,G&
)' ##$ " 04;
PRPT: information dialog on views
Occurrences of selected View
List of Views
.....................................................................
in constraint xviolation of class beta
.....................................................................
.....................................................................
.....................................................................
.....................................................................
.....................................................................
View Definition
Search
involved
objects
Delete
Update
New
Test
Content of View
## 600 . > # , ) *
.
. a
.a # # G
9 I
^ $
E E
# , .
. /. -G # G . $ # . *
$ # @X
+
. . . M #
*# * C E. # $ DG.
. +! >$
@
/.
. #
# ?@+ 1
## 605 0452
D # # I @ ?@A)-> * C. @
G . #
$
# 9 @ # .
Chimera-Schema
PRPT
DML
Interaktion
DDL
CPT
PRPT
(A)
(B)
)' ##$ " 040
P
R
P
T
PRPT - GUI
INTERFACE
ANWENDUNGSKERN
deduktive
Komponenten
Zustandsverwaltung,
Konfigurations-DB, etc...
DC
Tcl/Tk
DB
Eclipse-Prolog
ProTcXl-Interface
Tcl/Tk
Module: z.B. Modellgenerator,
Prototyping-Assistent, ect...
INTERFACE
CDD
Prolog DB des
CHIMERA
Data Dictionary
Fakten
C
P
T
DB
## 604 >$
D $ # $ ?@A)-> 1
## 607 0462 # # N+>
12 . # ?">*+ @ @
A@ # ## # . F#$+
* N+> 12 N+
C @ ?@ # *# C
1# !
2 ?@ . @ 7# ++,:
"
?@+ ## 605 045 . # > . +
" + )' ##$ " 044
CPT/GUI
PRPT
CPT/CI
CHIMERA
Schema
?- load_schema()
define...
DML-Interface
Tcl/TK
"Schema"
DDL-Interface
parsing
CDD
Schemata
(Prolog DB)
typechecking
....
CPT
"Compiler"
DML
Phoenix
Schemata
Phoenix DBMS
Legende:
"Kontrollfluß":
Schema speichern:
DML-Anfrage:
DML-Antwort:
Eclipse-Prolog
## 605 > @
2 C ?@+ ?">*+N+ B @
A@
@ .
#2 @
A@+&& # ?@A)-> 2 C ?+
D 2 , N @
@
A@+
@ .
?">*+N+ B ?@A)-> @
A@+
C$
## I C . 1
@#
0;72 #
#
.
# N+ I . . @
A@+
* : + :;"*%)F ,
?">*+N+ B $ F#
+
)' ##$ " 045
. + @ $#
G
D #2 / @
A@ # # ?@A)-> .
, ! I 9 #
! *# N+ +
I . . @
A@+
G
D 2 " #
.
?@A)-> ?">*+ $ ?+ 1# K:5L2 . @
A@+
1
&@
A@+&2 ## ?+ + B # # # . @
A@ # # +
, G > -. # N+
. N E 1 ?
2 .G C . +
1
@#
0;72 . F#$ C I %
& 1 # @ K:6L !
2 #G 9 B 7#& +/,:
"
N+C ?@ # * # # N+C G
I C # > ?@A)->
%C
& I .
C ?@ . ,# ?@ #
#+
.
N+C .# $ ## !
+
.# > ?@A?> # #
N+
C .
.# #
9
?@+ # +
Q N+ N+C +
!
$ ?@ %?$ &
C .
B . +
@
#
+G G
@
A@
@
*
+**+65* a A?@A?>A$Z $
a
## # . N+C +
,# @X
6 /
/=* /* +**+65* \ 556*00 *0
/ *
]] E
]
] G
!
!
# !
+
@ I # > $ C$
. 1. . > G# 2
"2P $ % U> 4 "2P $ 3 7 L # 2:52:"2V
D ) I6$ :5 4 R(R
)' ##$ " 047
* I ,# !
) 9 #G /
>. 8#
. C
+
# -
. $. G
?@ !
(6 6 8 1 1++61N+13/23+&2QR&3+&2QR23+&2QRS039'
!
# I # - !
! #
9 1
PP 743 3542 M # !
# 9 N+C .
. . C !
> P 373 # . ! # #
I . # 9 N+C I
E# # # 9 !
C.$ + > + # !
!
?@ #
> G
. OOO 1 8* 5 OOO
5=*<> *<++66%'
" # > > . . C
>. # > @ 9.
# >
? %
& #
$
# 1
>2 7## 4 ;4@?
## 607 1 0462 . ?@A)-> ## 603 1 04<2 . %"$ & 1
@ %"$ & 2
# G
.G
I @ ! . # ,
# G 9 +
G * #
8#SG ?@A)-> G , I . ! # $
. Q I ! $ M / # ! #.
! #. $ 8#9 # C
.
@ C
#
. Q +
. /
G # . $ + .
> ?@A)-> . C
/ Q I ! # ! .
. ! $G
> @ $
@
* #
+
*
?@A)-> . 12 @ ?#B +? @ . D D @
#G 9 *
# ?@A)-> E I # $ #
@
#6 F # % @ ?B )' ##$ " 043
## 607 ?@A)->2
$ "# .! .
,
!
# # >$
$ * 9 #
# >$
. # #
# B$
$ >$
# ! +
# @ $
9 C
+? 7
$ ' ="$
? C$
6%+45 1# #
K:5L2 M. * C$ 8#9+
/
, > # $
#G M C
. C$ . # I " . C
C$ C$ # I 5
# C$ . # )' ##$ " 046
## 603 @$
@
. ) 5 $ . ** ,* ; 66! ,5=! 5 '
) )* 5
5 *5
5
6 =
LC
Regeln zur
Analyse von
Abhängigkeiten
Cn
1
N="
Y V* 61 ,*3 6
- 6 V16 ('
.W
5 ** ,*3 6 8
6 6!
6
*
G
$ 9 C$ )' ##$ " 04<
/ #
, C
, > C
. +
# D Q C$ C
.
> ! B$$ # #
. $ G
? C$ 1
F# +? $
B #
# > +
D C
. R ?2 M . 9 .:" 2 2 2 ;
,-9!5 6
Y F =* *
= G3
Y F 6 G 1* 5 5=
==+
+*G' >H
==++*F'3
+66=*3/F3G0'C
+66=*3/G3F0'
'3
==++*G'3
==++*G''!
! B$$
# G+
==+
+*P%
==++*P% G
.
#
M C
C$ E +66P&
?
#
.
C
# C$
-+
8#
#
C$ +
!
9 .
,-9!5 +"
+661+*3/*3+3+30'
#M # ]] $ C
]
] # . $ #
? . )
T23'> 56+
"3 8*6<3 5=6<3 68)*'3 8*6<'3
8G''3 /8"+653 /8I'0'3 5=3 68)*'3
N'3 68I'3 55=''3 81*3 /8G'0'3
5=6<3 8G'3 *3 1*''0
*G
#M B$
. C
? /=*2 2 2
<.2 2 2 = 2 2 2
M #
# C
? C
C$ . &
9 @ $ ## / # . #+
3 3 3
/
& I #.+
M C
I $ . C$ .
I C
B$
. . " #
8>+
C
]
Z
]
#M +! ? # $
. <. )"2=2=2 2 2
/=
/=
#4 $: ) G " " :
G
1 # $ #+
!
9 2
)' ##$ " 04=
I ? * # !
#
V * I
C
#M $ , #. C
#. > !
, C$ %
&
G # I . C
#
,-9!5 >.
$ 6 8 8 +> 6+5=*> 13 5> '
8 +5=*> F3 5> G'' UH
1F'3 F!5
U %993
G $ I 5I'3 I! $ F!5
'
6C
, # 8#9 C
a#a >+/ D #
C
aa .
## , ?
OOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO
OOO 8
OOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO
&T3'> 8 +3 6+/*6%3 5=*3 1'3 *6&3 53 '0'
OOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO
OOO 8 +*
OOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOO
&23'> 8 +3 88 +3 /6/*65=*3 8F''3
*653 8G''0'0'3 /813 /8F'0'3 5=*3
68F'3 5
'3 %993 ''3 5=6<3
8G'3 +=63 8I'3 /853 /8I'0'3
5=6<3 68I'3 '3 68!!!'3 5
''0''0
* ?+C.$ % &
* G @
*6'
/- +53 - +)0 +
$ #.M @ $ 8# 9
, , >
# . !G
* C.$
*5=0 $
#
/
C$ 8 +*
?
/- +53
*"=3
. $ #M +
/
$ G
, # # C
#
, ! B$$ I . C
, #
C$ )' ##$ " 04:
,-9!5 C "C
? 1.2 )
/,*+53 +53 .)3
)0 ? # C
# . > * !
# "
. . "
#M "# " C
# . +
C$ C$ . # #
N . C$ ,-9!5 C "C
* M. C
.
? a
/63 +53 .)3 )0
a
C
+
! B$# #
G
8# 9
> C$
" C
+
C$ . 8#9
# .G
I N C$
$ # . C$ #
*# ! B$$ . I ## 603 1
04<2 . $G #G @ M. .
C$ M. 1
/
C
0 +.2
F4 4 ) ) &;
9 = )
)' ##$ " 05;
,
! (*
C$ $ $ > G# > P 7 Q $ $ G+
$G. N %# & Q . * I +*
# 9+ $
B #
+ / # C # $ C #$ / +
# $ $ . . C$ 1P 32 # . , $ +.I D
I 1P 62 * >$
@ > /.
# ?@ #. ?@A)-> #$
> # @ @
$
I
@$
?">*+
C$ # +
# + #.M G # . D # $ .
* . * @ G $ . - > $ - I
C # # I . M. . $ B $#
. I " C M. $ .
/ * * * #
"B
+#
. # .
N #
/ .# +D . #
> G# +
# @ #
. D+
#$#
. N+C . * +D . # $
. * # $
+DG
>$
%+ & ?@ . -. +
M 1
$ 2 > G# 050
* 1
$ + 2 $ +
.I I#
. N
%
&
$ $ . %#$& * # I C$
#G * * $ E . % & ,
+
C $ .#
* % &+
$ E . *
+
# > ). . . B . # G +
# * . # . / > . - G %
+& $AA +#A
> # >$
. E. H 6%+45""
1?@2 H G
054
055
#-*
,
D D $ # ?@ , 5; > N # # #+
K?:5L $. M I . D $ K)N:6 7<L I - $
# . $ %-$& # . , !
.G.
# K?:5L # 9(;.)+>
>
>
K)N:6 7<L I
+
#
$
. >
. # # ! G I +
. B$
. # > G# # N K?:5L K?!:<L $
# * $
M >
# # * !
$
+
# " M # %" 8 >
44L K?!:< 30L
N K?:5
# I 8# 9 8#
. -
D ]
!] ]!] -+
8#
]] * >. ]] . ]
!] ]!] >
1"
9 #
-
# #
-) . 2
# ( , /0. 12+! ?">*
. . +D .. > M > K?!:<L B > > K?:5L 12+! D
@ 9 # # > @. # ?@ 12+! > 1
+
C.$ .2
9?; . )(57
> C
#. C
$
# I . %
A&
".)(5
.)(5
#(>
12 I
12
Z + 1
Z Z 2
>
][\] Z ]KL] Z ]12] Z @ $ . 057
# 1 D $V2
) !
?@+ 9 ?@+>$
# # & *
.
F#$ * @ !
- # >$
>$
+
@ .
F#$ > !
$
! =(!>!>
E
# $
. #
-+
E #G # # D . #G $ M. # @
9 M. # V " -)
6 1D * =
1
5 > 6C
6 1D * =1*
=* =
1
> 6C
6 1D * E"
=* =
1
5 > 6C
>$
6 1D * "
686 =* =
6C
6 5=*5 "
==*
"F' UH =1*F'3 68F'
6C
6 1D * 68
686 =* =
6C
6 5=*5 68
==*
68F' UH E"F'3 "F'
6C
053
*
(/ 0 1
$
# %.& ?@ # ) . C #
> " ?@ #
1
P 7432 / G T -.
/
D +8$ >. 9 >+
. . . $
.
E
. +D E
!
?@ . 8>+ # $ # > > G# +
+DG . /
&
!
3 3 3 0 B - . 2 1
!
1 C
## 64 0002 C
2 . I # C
8# 9
+
C C
#
C
!
#B # 9 M . /+@ $ $
B # G
8#9
. Q .
C
C
. #.M # $ # $
. C
> % $
& ?@A)-> # ]! B] ] ] N+C $ - !
# . # $ + 1% B #$ &2
C
?@A)->
#
$
B GM
= > >
$#
?@ N B+ #
"%
D . $ ) #
D . %?">*+ $
& ! #
#
?@ #.
#
%E
& . , # . D > #A?@Z #A$ZT
$AA +#A
$AA +#A
# `# @ $
+
@ 056
?G*3
2
K=:L
J 1 4
4:
$ / 4 S 0:=:
K:<L
# " # . ) *B , #
? >
U M
3 H %
3 3 5
) $ NE? 0::<
K:6L
*
* /. . -. * ,
? $
# > > # >>> - G
.# 0::6
K*@:=L
!
g E# * " # . @
? > -).
K@:<L
? !
g @
) $$
H @#
B +
?$ N - :<L
>? M# +
) /$ J>?N 0::=
?$
! M# K?
>
$ +!+0::<+03 > # 0::<
) ) ?
1 $+, I3J
@ C $!
0::<
K?!:<L
?
K?)":7L
5 $!
!
3 %45"+
+/
0::<
? -
) " .
" 4
4"
: K?=7L
/ ! ?
? , 0::7
$ 4 0:=7
K?:5L
?
?
$ M ?">* 1? ?N2 @ $ >**4;;6;0 *>@ 9 6555 1>*2 K?<;L
0::5
* * ? # >
5+
05 $ 55<H5=< 0:<;
K:4L
C K=5L
? J K:6L
-
* +/
0::4
5 % >> +/
0:=5
$
$ #SG . #9 #+ $
# > > # >>> - G 0::6
05<
K ::L
! * . ,
#+ @+
$
# > > #+
>>> - G 0:::
K:5L
? B
?) >$
!
? N
@ $ >*4;;=;0 *>@ 9 6555 1>*2 0::5
K@-:6L
" * @ @
, -$ >
-$ " @
,
#
)
0;3< $ 353H37:
$ 0::6
K*!@:4L
"+ *## J !
/ @
4: )
>+/ 5 S 0::4
K!
:3L
! N 9 E / " / +
> . > #
8?C ' 8NN 8#9+8 # A *B # $ ?$ *
* " +/ - * # *"07 7 +
-C 0::3
K!"C:<L
6
=
E" E)$% 2 5 )
E" J ! " +@ C. ? $$
> ?$ - K!>EL
! # E# 0::<
!>E!>8 1!>E !> 8
2 $
$+M B$ +
* #
B $AA$ +A
?$ N - K)N:6L
> -
) @ N ? $ @
-
@ $ >**44;;;6 *>@ 9 6555 1>*2 - +
K)N:<L
0::6
-
) @ N @
? * +
$ $$
88 >
3 K 4"4
5 % -5'%LM. # 1 2 $# 0::<
K):7L
-
) -$ $ N @ $ >>+@+:7+7 - K):3L
? 88
$# 0::7
- ) $ $ @
$ @ +
$ >**448;;5 *>@ 9 6555 1>*2 > ?$ >>> - KJ*)
:3L
0::3
J * )
J
?$ + 8# 9 -N%%.
714206<H0:4 0::3
KC*:<L
C$ h * KN:7L
@ N
- N %
%"
*
8
# 4 S 0::<
88 8 #
/ $$ >*/448;;4 *>@ 9 6555 1>*2
$# 0::7
05=
KN:7#L
@ N @ *
@
$ M @ $
>**448;;4 *>@ 9 6555 1>*2 - KN :6L
KN:<L
N 40 $ 750H73< 0::6
E# 0::7
8N *-?@>,* 8J*?@ * NE)-)*
>
%
@ N @ @
@
+
@ $ >**44;;0; *>@ 9 6555 1>*2 > ?$ >>> - KN=0L
0::<
" N ? " $ 4
+
"
0:=0
K:;L
M# > ? S E
+
3 I %
3 = E +
)
$!
$ 06:H0<: $# 0::;
#
>
K8:3L
; = K
:0L
3 4 & '
: J C 8
+/
0::3
J # / ! * / N
+
KE:3L
$!
"$
"
*
?
Q EJ - 0::0
E 5& %
3 5 +
5 +
"
0::3
K:4L
- % > / J
0::4 >E 5+70+03670+7
K:=L
?@ + * @
. $
+
# > > # >>> - G 8# 0::=
K::L
@ * >$
$ . +
$
#9 ? $
# > > # >>> - G J 0:::
K:<L
!
$ E / 8# 9+8 #
>
)
0504 $ 0H0:
$ 0::< >E 5+37;+65306+3
K:5L
?
WW
8#9+8 N # N
K-/:5L
>
3 KL #)'
0::5
* - / $$B `B 5 0;535H567 0::5
K):=L B @ ) # ) -" @#
B 1*B # $ +
!+0::=+: > ?$ N - K/=<L
0::=
5& %
5 C #
>
* /
N ?
0:=<
05:
K/!<7L
* / J ! @ ++ $#
+ 5 4006=H0<5 0:<7
07;
Herunterladen
Werbung