The Next 700 Data Description Languages - University of Oregon

!
!
"
#$
%
!
(()#
& %&
'
#
! "
#
!
%
$
(
"
!! "
!
)*
!
,
( (
,+
9
*
)
%%
(
*
9
*
( * (
* )
* (
+4,0 1273
##
* *
%%
**
#&' (
(6
!
1223
* +. /4 1253
%
! 4
+,-./0
#
"
*
*
%
) :
*
(
*
**
+ (
#3#
#
- 1283
)
;
)
( (
%
*
%9
) (
*
#
*
!! "
%
(
**
##
9
9
% ( ( #
9 ( (
*
$
%
)
)9
*
!!
( (
%
)
%
9
&
#
!
! B 9
!
!
%
'
(
) %
( (
%%
*
9
'
(
( (
( ( A
A
"
%
*
)A
< =# #
!
>?@8#
9
%
*
;
9
%
( ( #
9
(
)$A
&
'
!
*
+
,
-"
+
"
(
! 4
(
%
/3
! !
! 6
"
( &
"
9&
*
$+
/3
. /
0
/
! 6
9
*
1
'
,
)*
" /
/
A
9
, *
!
2
( (
+
3
A
3$, 41 3$,5
$$&
**
%
$$*
" #
6 +
"
2
("
4
47898755
-"
6
!
4
5
$
6 3
4 "
,
!
5
"
6 3
4
5
,
6 :
/
;
,
6
4
"5
2
"
<
/
3(
6
3
"
+
(
(
(
) *
! /+ 3C
! Σ C τ# τDC
=
>
! 4'
DEB
)* *
*
(
"
*
τ@
! E C τ F GC
"
;
%
! 4'
;
A @
?
4A9@5 ?
Σ
7
7
4DEB
F !4D5
F !4
4
5?
5
A9@5
4B CDB5
4A7@
*
C
#
C
Σ
7
) '*
*
7 τ ? τ@
9
BCDB
7
7
/
A7@5
*
)*
9
L 7
DHD
KE
L 7
GB9DHC9IJ
Σ
Σ
L
%
9 M A @N
9
'*
A @
DHD
KE
P DHHN
7 , 4A9@5 ?
7L 7 9
7 9
)* τ
#
N , 4A9@5 ?
O
N
4GB
A9@
A9@
DHC
IJ5
+
,#
! τ H τD C
" τQ
!
C
! 4' *
CG
" τ@
!
'
*)
EBGD
(#
CG
R
S
EBGD
45
τ3 *
;+τ I
;4, 4A @5Q
&$
!
9
DH9DE
*
!
" < 5
C
! / *
! /
*
! 4' * C -
9)
"Q
/
5
*
,
,
"
F
τ
"F
(4, 4A9@55
Σ
Σ
7
Σ
45
Σ
, 4A9@5 ?
7
4, 4A9@55
4
×
4DH DE DEH5
7
5
4I
.
55
4UD E B GV
DIF'.4 5 9 DHH [M
M
7
7
F
7
4
"F
0 &)
4A@5
M λ L 7
Σ
A9@5
/
9 M N
M ,4 / 5 S
F
C
(
G ,4
A9@ ? , 4A9@5
#
, M λ L 7
)* #
Q
Q
9
;4, 4A @5Q
1 F
Cτ
** ) )*
UDTE DIK D DV
)
(4τ5 7
4 7σ5 7
4τ5 7
*
D E B G9
Cλ #τ
)*
()
λ
#
G (
#
7
WXYZOF9
4 3
DTE DIK D D
"90 9
C
( % (( (
#
* C-
(
A
;
τ
"
DTE DIK D D
! 4'
%
" τ
"
τ
C
&
;
&
#
,
-
!
! 4'
9
( !
! 4'
S,4 R 5
#
! τ
%
#
,
-
C
R
(
)
;4,4 \ 5 λ
,4
5?
,4
5?
F B
M
(
7(
5
5
[ IHH N
A9@5
) #
*4 5
3
Σ 7 τ τ@
'
L 7τ9 N
3
τ S τ@
!
3
!
τ
τ 5
;4τ Q
"
2
;
:
(
(
,
"
#
"
3
"
*
2
7
)* τ C JτK
%
*
%
)* τ C JτK
%
)* τ C JτK
(%
→
?
? UτV
$
? UτV $
("
"
R
"
1
!
/ )* C Γ F& τ C κ
%
!
UτV 7 (
2
R(
!
;
λ τ
τ
("
!
'
)
(
)*
Γ 9/ τ 7 σ → κ
Γ 9/ τ 7 κ
9
Γ 9/
%
#
7σ
Γ 9/ τ 7 "
Γ 9/ τ 7 "
Γ 7Uτ]
*5 S
U*4 5V
Γ 9/ τ@ 7 "
Γ 9/ τ S τ@7 "
UΣ 7 τ τ@V
UτV
? Uτ@V
UL 7 τ 9 NV
UτV
S 4UτV
Uτ S τ@V
UτV
S Uτ@V
Uτ
∗ [τ] 9/ 7 (
Γ 9/ L 7 τ 9 N7 "
(
;4τ Q
Uλ τV
τ 5V
? 4UτV
Uτ V
5
S
;5
UτV
>
U
)
"
"
) #
6 ,
U*4 5V
UΣ 7 τ τ@V
UL 7 τ 9 NV
Uτ S τ@V
Uτ
U
V
$
$
;4τ Q
Uλ τV
L JτK C
$
$
$
τ 5V
Uτ V
$
$
F
? UτV
$
F
? UτV
$
F
? 4UτV
F
?
UτV
? Uτ@V
$
?
6
$
!
λ/
"
F
$
M %%
7
→
%%
M JτK
? JτK $
UΣ 7 τ τ@V M
λ4+ ω 5
S Uτ@V $ 5
? 4 UτV
4ω D
$
M4
;5
4ω E
D
D
E
D5
M UτV 4+ ω 5
D5
E5
M Uτ@V 4+ ω E5
$
F
F
?
4ω E 0Σ4
M
?
!
V
D
E5
Σ4 D
E55
"
2
C -% Γ F& τ C κ
!
Γ 9/ UτV 7 (
?
τ
!
C
τ
? UτV
→
+
? UτV
*
)#
#
⇒τ
."
),
,
#
%*
%
% * $/&
#
$&
⇒ τ
(#
+,, -
- .,,
τ
τ0
%& '##
*4 5
L 7τ 9 N
( (4τ5
4τ5
⇒ τH
$&
!#
%*
(#
$&
(#
)
!
,
τ S τ@
λ τ
L 7τ9 N
"
#!
$
#
,
⇒τ
⇒τ
+λ #E CτD F N
+
+
0
DG H E CτE F N
0
1
EG H OH τ 3
⇒
τ S τ@
λ τ
L 7τ9 N
6
*
⇒
+
+E C
F N G33
#
⇒τ
⇒τ
+λ #E CτD F N
(
D '
+
+
0
DG H E CτE F N
) (
*
( (#
0
1
EG H OH τ 3
⇒
,
*
+
⇒ τ
+
*
0
'
! 4
0
0
⇒
⇒ τ
+
τ $
!" #
) 9
#
!
,
)
*C
+
)*
+
>
1
3
&*
(
)
)*
+
!
3#
!
(P
/
*
"
'
4
5
4
"
(
(
3$,R &5
%
!
3$,R*
"
7
7!
!
*
( (
9
&
(
#
! Q
**
9
9
% '*
! 0 9
%
( ( #
!
%
( #
%%
%%
%
( (
#
9
%
999#*
%%
*
* :# (#
(
+
) #
3
3
) ##
*
1
+
! 6 (
)
+
*
'
)* C
+
%
1
τ
! #
-
!
;
"
(
<