Database Reference
In-Depth Information
(1)
J
:=
J
+ J
0
J
J
1
,J
0
}
A
out
in M
J
0
gultig in M
(A):=
{
(2)
ACons(A)=
{
B, C
}
L := ACons
∗
(A)+A =
(3)
{
A, B, C, D, F
}
L
old
:=
{
A :
out
,B :
in
,C :
out
,D :
in
,F :
out
}
% E ist unverandert
in
Label
(A)=
unknown
Label
(B)=
unknown
Label
(C)=
unknown
Label
(D)=
unknown
Label
(F )=
unknown
n
(1)
= A
J
0
ist fundiert gultig
SJ(A):=J
0
Supp(A):=
(4)
∅
Label
(A):=
in
Cons(A)=
{
B, C
}
, beide haben den Status
unknown
n
(11)
= B
J
J
2
}
J
2
ist fundiert ungultig, da A
in
ist
Label
(B):=
out
Supp(B)=
(B)=
{
{
A
}
Cons(B)=
{
D
}
n
(111)
= D
J (D)={J
4a
,J
4b
}
J
4a
fundiert ungultig
J
4b
weder fundiert gultig noch fundiert ungultig,
da
Label
(C)=
unknown
Bestimmung des Status von D wird aufgeschoben
n
(12)
= C
J
J
3
}
J
3
ist fundiert gultig
SJ(C)=J
3
Supp(C)=
(C)=
{
{
A
}
Label
(C)=
in
Cons(C)=
{
A, D, F
}
n
(121)
= D
J
J
4a
,J
4b
}
J
4b
fundiert gultig
SJ(D)=J
4b
Supp(D)=
(D)=
{
{
C
}
Label
(D)=
in
Cons(D)=∅
n
(122)
= F