Flexible Queries over Semistructured Data
Yaron Kanza
Yehoshua Sagiv
Institute of Computer Science
The Hebrew University
Jerusalem 91904, Israel
Institute of Computer Science
The Hebrew University
Jerusalem 91904, Israel
[email protected]
[email protected]
ABSTRACT
!#"$%"&(')+*,-./01-$"324& "5
.5-#"67&82(
359:3(%:30');'5-"6<15=?>@*@&
2AB".C5D%".#.E3
F"3295D9E3G
#H#".5&202
"32I"')16)(02/=H>C:J& D9KL-M&N'"6O.P"Q
2R:@S*C&T5D%".#U#V"-W02B=NX5-J'& "YRKZ& -Q
"& D9#."T:N5W@&:@.5-.:V2(
5C"32F:R5#"
:V[& &(*\"6FL*C&H05=R10.H5D9E
V]H^P_`.5-T"32
\5C2
35=Na& "32B),E3G
#N5,.G5-8"2JH2(
35
:#F".-46K:/=JX5-;& ".#"D9".F"3240.'"(
5&;"')16)(02/=b&F:8E3
J5D%".+.5-I0.' (Q
"T*,-FKZ& -"&D9cd=8&:J5D9E3
J5D%".
.5-%0.'"\KZ& -"& D9#B[&\]H^P_e.\"32%KZ&Q
"".#*\:":\N:30')C-=RfH"32U:,5D9E#
"32gE3
;5D%".CL*@&h2
5%&#2i
Z;0.' ".
')"<*\:"7:-<9"&85& D9&K: =O]T(
3590.'"
U&D%-Y2j3"02"32JG:GW02/=N>C:,& D9KS-8&B2Q
c2"6I0.#'"8D9& "6M2(
5J8"3-W02/=%>C:YDYQ
K#& "&H2
5%0.'"9& "g.G5-<' #& "g(
GK#"02B=
1.
aD91INTRODUCTION
502k2(
5l(7#D92m(IK5"."6i2
:I2&g"&;&"[&Dn&op1545:D%H24&p[".
:3"6"4:815G8&R:J2=>C:J#q;&CY5:D%
D%-o#5&7
ZML-K#\&8"i"'& "D9".*\:ID%".-p5
& ".5
2(#"Mb'S-%&+&D9&8:T2
5 =V>C:
r7&#2Qsrk#2Jr7
45:l"l"'& "D9".0=P&F"l&(')'*
&R5D91502;2J5%tuZv.Zw(xy=
>/ 2& "/.5-Yc"636\"2%52& "/.5-"68D9:Q
&2@(,"&N*@502b&@5D9#1522(=R&N& " :
5D9#152i27D9&2,O
502o& "`<#
Z02`202
6K:+=gz;&;D9KZ&5".-.U52& "\.5-7#"636 9(
"&%6002g&h2<:0'"6<"&75:D%$O#d,&O<5:D%
:bD%-7:3"6 O&"5#2
-h&(')GbD9%&J[&D{&"M2
>C:C*C&q%*C\5KKZ&502O";K3(5,
.-M_H".Pw| }uGQL~(QS [&D
:T€L1z;"155-;&Na"=
"1"F&9"&:0=V^H"; 22& "3+& "5#2& "4,:T5W
&N:85:D%3*\::l& c24
Zb.8c(6 Y& D9K3(02;&9:
5W8&U5:D%,&R152;2(=
rk:"i:45G:D%<%#6 <"2i&D9K02/P.5-"6$:
2(9& c2l
Z8:GT290=T^P"4#"cUK:5J&@5-"6
:O5:D%ID96 :.b
ZM"0202p
Z&M:O.G5-h0"o
Z%&5Q
D#02B=h‚R')"p*\:p:Y22& ",1K/V:O5-h& #2
Z8.F#6J"32O:3(2M&YK:5 2&:F"2M&Y&(')
D%".-H15-F5D9#0
+"&+15-F#2"0.2(
"1"=
>C:T5W8&:T5:D%JH"&,:T&"-O5& 8&N29=
^ƒ05I"oKZ& ".%9"i„TzI…kKZ& 5&5-o&T2&.D9".b*\:
]T>C]Fb25#6"02$&D%:"#".:3"6$†sJ*@C]T>C]F
:3(,*CF-;6"(02M
.-%D%G:#"‡G=U€S"O:F-.,&U
#-KZG5& "+5:J]T>C]FUD96 :."&U
ZV01-8&P65K+ 6)25
&U:F5W =
>+2& "3.5-H#"636 U(V
502T&"F:R& "K&Bˆ‰#Š‰s‹
Œ9Žy ‰‘Š’“:3@.:P5:&#2Y
ZTKZ5[@D%:9
ZL*@"
:O&"32& "5KZj02g#"p:M.5-p"32h:O2(=7”H6 #2
D%:"6 \T' 5-O5"5')F&Y'#&"\";:F5:D%=N^
.5-o:3(O#MKZ& 502•:0'"6gh5KZj3l5:D%h"•D9"32B\
q)-%&-#c2O& "-O5&D9&!:T"1*CGP&P"&Y"1*@HPd
')"O*\:";&"-%D9"&CG:"6,&.\"M:H15&:
2(b*\:T:T25N2&.\"&P:3"6 FHd=
€L"i".O-.0Hh&"5#2G
<D9&".%&8*C&q`:O
Z"
2&",&"%5-"65D9#152Y2(."Y6"d"32b„TzI…
2(,"oK3(5##0=mzI".-o5-p#"6 6 O[&%5D915GQ
2Y2(Yt ~–.—3uu vvv(xB"32b[&V„TzI…ht v˜.}u(–(x:30')
Z";K& KZ&502/=C€L";&2P&%2+*\:;:T5KZ#!G:G5Q
1Y&H5D915G02p2N5&D9M&H:5M#"6 695
6#@K55& "=R€L55Nc(02Y&F:\'3(& "%"2Y& KQ
D9W0& "7&P.5-l#"6 6b*\:76#bK55#&"J
255502k"™t |Tv(|xs=š^›#"6 6<:3(;ID9&lK55')
:3"Y:,&D
#"& "9&Bj15Qy&2N#&6 F"32b6 #(CK1Q
5& "YY25
Z02p#"kt v–(xs=p^H22& "@*@&qh:J
Z"o2&"
& "M& "15""6Y5D91502%2(Mtu0+u0v(xsZ25
"6J:
15G@&3:@2(P&N.5-T[&D#& ""328& KD9#W& "
tu(˜0xy"325"6T"[&D%&"O&"9G:"6 N"Y:P2(Ytu~xs=
>C:J.G5-M#"6 6H24
Z&(')88
502;&";6 #2ID%:Q
"6"3295&D9P&+:5Pc"636C5P6#CK55& "V&
K5CKZ& 55
H' (c(& "@#"%:P15GP&/:H2=Nœ@
:@KK&)G:J&-"6&"J6 #(RK55& "UK&
D%
"lH01HL*C&O5KZ=P10Z:T&"J&R5KZ& "5#
#S-4
University
1
Course
Course
2
Course Name
Teacher
4
24
Teacher-Name
10
Student
3
Student
Student Student
5
Address S-Name
Course Name
Teacher
6
7
8
9
S-Name
S-Name
S-Name
25
Teacher-Name
11
12
13
14
15
16
PCDATA
PCDATA
PCDATA PCDATA
PCDATA
26
17
18
19
Database
A. Levi
...
Reuven
PCDATA
20
PCDATA
21
Shimon
Rivka
PCDATA
PCDATA
22
23
27
Rachel
B. Cohen
Logic
\ž[Ÿ3 !¡(¢g£¤8¥{ !¦ž[§Z¢¡¨0ž[©Gªo«!¬©¬­!¬3¨¢l®9ž[©0¯`ž¦!°y±3¡²<¬©0žc±Z¦k±Z¦•³ ±Z +¡¨¢¨ ´R¨© «!¢¦/©¨Y¬3¦«o©¢¬3³¯!¢¡¨ µ
&"p:%50U*\:&l5:& #2gK:5%:96 c(9K55#&"b#"
4*,-h:b*\#,&(')G:OKZ& 55
#M' (#& "Y"o:O15Q
F&!:T2"32%-.C*\N‘3¶ Ž &' ,&.&YDG:/=Ra& "2-.
:@5qR&Z5-8'3(& "Y"32J& KD9W0(#&"Y
Z&D9@D9&
& D9KO";:FK5"T&6 #HK55& "=
^P"p"')MKK&)G:p8:3(b&P5"6I:l¶‘ Ž ¶·¶Š¸
c& D¹:8]T>C]Fb†d&F5:D%‡G=H>C:J& ".& &6-l&"51F&R:
1F&R"3D9\6 ')";&Y:TD9".P"2M&:8(55
H&
:b]F>C]FB"2IDG:;05F&%&D9K:"32O:3"I:T
15U2GF&R:J]T>C]F=P€S"4D%".-;5+.H0"
ZTK:502M5D9K-M"2M5"-M5"6Hº11\:F& ".& &6-.=
€S"Y:RK3KZ0)*CPK5".NS*C&85D%"U:@\5
P[&
&".& & 6-Qy
502p.G5-"6;&\5D9#152<2=IaD9#&M1#"6;.5-4#"6 36 !& 8.8(bK5".02$
#
Z02h2G02$6K:=9>C:+K5'"6O:5D9#L-$&
."32h2=I»&0*@')0R"1 27&I5D%".T:3J
502l& "l6 #2lD%:"6/*@".5&2bS*C&O"*¼5D%".
:V\
502&"I’½ Œ ‰ ¾\½5¿‰sÀ·#½ Œ9Žy ‰‘Š’P"32F¾\½5¿‰sÀ·#½ Œ9ŽyÁ
‰[‘Š’=@r7J
Z#' F:3\:585D%".\0KT:T"."202
D9""6&D%".-%& D9D9&";.=N^Â5\& "-O"02C&
Z
D9#N*\:b:C&"&& 6-b&:,2
5,"&2R&FK:5
%.G5-.3"32;:"J.G5-M[&D#& "4PD9&8"#' 8"32
5D9K#GY&D9K327&l5-h#"6 6:3(5O6 #(9Q
K55& "=
€S"%F#6#2QyD%:"65D%"..:T‰ ŒHà · ‰  ‰ Ž #& "5:KV
ZQ
S*C"o&
ºL%(MK5502p
.-h#
Z02g026 =oz;&;&DYQ
K#02p#& "5:K:30')9&l
ZO& "1502pK-p
.[&Db#"6FR"bD9U&Z#
Z02Y202J6K:=N>C:
5D9E
5D%".#+"$& D9K5& "/+5&;5T#
Z02$2Q
0246K:H&OG:
Hc(& "5:KT
ZS*C"l&
ºL/
:&0*C')G0\55D99:3O2
354&
ºLO4D9K#-gQ
#(02M!:-%(F& ""G02O
.-%b22OK:$†s"329"&Uº11
.-O";026 (‡G=N>C:JK3:MÄl&:F.5-%";D%(G:OJK3:
Å &R:J2
5J Å "2!:T#
ZF&NÄRÆZ:&0*C')0
:9"5&"p"02$"&b
Z9& ".6 &J&J"7:9D99&2
P"IÄR=C>C:FE3
T5D%",[5:GHG"32,:#\#2Y
KK-"6Y5"5#'L-M&9:8D9KH#(#&"5:#K:3(:& #2
"2,:F5D9E3G
#5D%".=
a& "kv$K5".Y:I55".#%&F:42(7D9&2s=kaGQ
& "p~42j3"T:Y"*Ç5D%".J"2h2555b5&D99
35#
K&KZ5&U:85D9E3G
#T5D%".=Pa& "4|9K&('#2
&D9KL-;5H[&8.G5-;'& "$"2\:J5D9E3GQ
%5D%".=;a& "g–M6')J5#D9#J5T[&J:YE3GQ
O5D%".=7>C:%"""64D9b&F.5-QS' #& "hQ
6 &:D9J%01YJ["G#&"J&,:9& Db
"02<5#WO&,:
.5-.(:C2(
5,"32J:V50=R>C:RKK& :&Z"3-WGQ
"6P:C&D
#"02T& D9KS-%†::3"J:CD9&V& D9D9&"
2(I& D9KS-‡T"g25G"p
ZL*@"h05:bO& DYQ
K& "-4:3(2/B' "I*\:"4:85FF5D%#d/"32I05
*\:G\:@"""6H#D9@#N6 &(')G"02JD9-J
-J:@5#WP&Z:
50=,aG#&"l—6 ')H:3(W0(& "F"32M& D9K#GS-OGQ
5@[&\&"."D9".@"2%' #"H&!=Rf"2V:
5D9E3G
#b"2IE3
J5D%".ZL*@&;2
35F& #2$
Z
0.'".Y†d')"l"<"& ".5'#U05‡"4:b5"5J:3(:G6 ')8:8D985[&8#=aG#&"<˜9:3(G#W
0.'"Y&VL*@&42(
35=9€yJ5&I:3WT*\:"h
6 ')"92(
35,N' #"U&FH5,"326#' N"Y6 &:D
&85"1[&D9"6O:2
35Y&;%5 =9>C:85T8#DYQ
KZ&5".U"J:@&"G&Z.5-T'3(& "+5"@.U&(')
5%2
5J0"p
Z9' 327D9&YG9".-.R85:&0*\"
"la& "I|=
2.
È 92DATA
$D9&2MODEL
\%<5D9K#j02o' 5& "`&F: È ºLO‚UQ
:3"6 8z;&2R† È ‚@z4‡@&Ct v—3~(xs=@>C:T2(JCK5".02O
#
Z02O2G0296K:=N6 bu2KCJ2(
35†*\:#:
H55".c-I"4„FzI…h2&.D9".G‡G=N‚VG:4"&2FK5".H"
¶)ÀÉ(½ Ž "2J:R"M¶‰s‹=U>C: Ž ¶ Œ ‰  ‘3¶0‹.½G’†dd= =)"&2+*\:& & 6 &#"6T026‡U5&T:30')@' # *\:G:\5:&0*\"
Z#&0*o:
"&2=@&P5D9KL-.*C855D9F:H(& D9\(J&L-KZ
ÊË3Ì3ÍÎ)Í †dd= =+ÏÐsÑ5ÒÓԇG=TÕH&2*\:l& 6 &#"6;026 HK5"
 ¶ ŒÃ ·#½5¿<¶)ÀÉ(½ Ž ’=M^Ö2
5%:38<ˆ5¶0¶ Ž "2<')G5-<"&29"
University
University
u
Student
Student
v
u
Student
w
x
S-Name
v
Course
y
(b) Query 2
w
s
r
PCDATA
x
Course
PCDATA
w
(a) Query 1
u
Student
v
Course
Course
University
Course
Name
Teacher
Name
t
PCDATA
z
(c) Query 3
PžcŸZ !¡(¢<×/¤8ØJ¯!¡(¢¢lÙ/ !¢¡ž[¢¨±§Z¢¡©0¯!¢$ ¦ž[§Z¢¡¨0ž[©ª`«+¬©¬­¬3¨¢Zµ
:82(
35T\:3
8c& Dš:&.&0=
&D%-.Ph2
5$ÚÛ;7|QsKlÚÝÜßÞsàáâJä ã á5å á5æRçG
*\:Cài#\j"V5GU&& º1G.â ä ã U,5U&3#
Z0280ã 26 å ã #P:8&.&8"324æo#F9["& "4:3(FD%K0G:$(& Dè&
Y' =\>C:85Hé•&V#
Z&Nâ ä ã H0#24:%¶‘ Ž ¶·¶Š¸;&
Ú;=M&8D9K#!:& ".& & 6-7&C:%2
359&\6 Iu
P:T50ê\ëìRíîÑ5ÏGï(NìRíîÑ5ÏGï8ðñòMï(óZïñôõZïÑNóZïGñ ô5õBïÑösðFñ(òMï(
÷Føø ÑGïÏ5ÏZùZÐî ø ïÓZÐ5ùösðFñ(òMï( ÊË3Ì3ÍÎ)Í!ú =
3.
XQUERIES
PJ5&YK5".02MPc
Z02I202;6K:P"32
(b5D9#P&Y:&5b2j3"02;"ptu0w(xy=PÕH&2P&N.G#PKQ
5"R'#
:U:3"b&
ºL"328"&H' #@N55&.#(02
*\:J".-"&2=U&D%-.Jûü½Gˆ¸!~QsK#VýmÜþÞyÿNá
â ä á5å çG
*\:Mÿ¹b;j3"95b&
 ˆG‰  À·#½G’N
â ä #bI5b&\#
Z#2
26 "32Må P:&.&P&U:T.G5-.=
^P"`026 Ic& DÛ"&2•&h"&2h:OO#
Z02i*\:
2"&02h
3=I^šK3(:7[&D "&2p&4"&2$:J"32
*\:b,c
Z U2"&02T 3=>C:"&& "J!6"#W02
"T:N"3( *,-.=U&GD9K 2"&!PK:F:3(
1(58
!+&""
& I:& 6 :<"$026Y#
Z02l*\
: S
"32%:"M& "."C& :&6:IK:M:\"2C*\:;:
#
Z =
…/HýþܼÞyÿNáâä á5å çC
Z89.G5-;"32IÚÇܼÞsàáâ ä ã á1å ã á1æRçC
Z
;2
35 =I^ƒ’ Ž ‰’G¸‰‘Š  ’’‰Š‘ Œ ½G‘ Ž †d&b Œ9Žy ‰[‘Š‡T&\ý
*T= 0= 0=ÚÂ!\D%KK#"
6 TêZÿ{àg:3+1j!:  ¶‘’ Ž ˆ  ‰‘ Ž ’
D9KZ&502I
.-IýY=\>C:JJ5')!L-KZ\&N&"15#".= È "
S-KZI;iˆ1¶0¶ Ž9 ¶‘’ Ž ˆ  ‰‘ Ž †(‡b:3(%0.9:;&.&;&8ý
&;
Z9D%KKZ2l&;:&.&J&PÚ;=O^Ç5&"32<S-KZYb"?½5‹0Š.½
3Z*\:
;T"4026
 ¶‘’ Ž ˆ  ‰‘ Ž †d(‡\:FP*,5"<
&Vý9=P>C:8
MH1j3024
.-O:8D%KK"
6 hVڃ:3F"
26 ,#
Z02b*\!
: c& "
D N#† B‡+$
& N#† ‡G=^o:28L-KZ@N
%@½  &
½5‹0Š.½  ¶‘’ Ž ˆ  ‰[‘ Ž †*C0‡F:JJ*,5"g
3U*\:9'#
;&@ýÖ:3T"l"&D9"6O026#
Z024*\'
: y=8>C:J*C
;
(1j3029
.
- I( V#† ‡:V"9"&D9"6T026 \#
Z02*\
: S=R^
[& 5:<L-KZJ8<ûü  ’‰½5‹0Š.½  ¶‘’ Ž ˆ  ‰[‘ Ž †s.(‡\:3F#H*,5"
3.*\:)
;"3
2 Y(H'#
C&!ýe"3
2 B#V:\#
ZZ&
"Y026 ,[&*
D %$
& 3=R>C:\.+
JN1j32
.-J:,D%KK"6
<NÚ :\:PK3(:;[&,
D N#† B‡@
& N#† ‡@&P'#Qy')=
È :GL-KZ&C& "15"F5&I"2-N· Ž ½GˆG‰[‘Š  ¶‘’ Ž ˆ  ‰‘ Ž ’
†0‡\*\::$55".c-l5#& "=.@& "5c2"6O0/ F
ZGQ
-.&"32<:O5& KZO&\:KKZ0=<a& D9%&\:%G:"#.J2GQ
')&KZ02<"`tuwxV& c2$
ZY52$&;G"32l& T585&;&
.,*\:;[0 / =
>C:953V5D%".#J&P.8J2j"02$#"<D9T&,6 #2
D%:"6 =N^þˆG‰Š‰s‹ Œ9Žy ‰‘ŠY,& "H:3(C(#1jC:PF"32
Z:H0 / ,&+:H.5-%ýY=N>C:5,&U#Z6 #2OD%:"6C&
ýþ*T= 0= 0=3Ú #H2"&2;2
135476㠆sýJ‡G=
€L"<:bKKZJ*C%".5&29L*C&4"*š"&& "b&PD%:"6=
>C:;556 "D9".!
m%g’½ Œ ‰ ¾\½5¿‰sÀ·#½ Œ9Žy ‰[‘ŠhF91j
:T8&NýÇ\*CUH:8[& &0*\#"6OS*C&9&"32&"=8†1u(‡\&
0G:Jj3"CK
: 089;:7:<>=?0=A@B@B@7C0CJ&BýY*\:
D8C:N&.&0
:TD%6 E
N#† 0FS‡F†s
 GIHJGIK+‡,8& "45&D9TK3: Å &NÚ;35:
:3(8&
HJ†1
u GLHGMK!‡G!:9026 %& Å :3(b"G
N#† DFL‡
9#
Z02g*\I
: F =oÕ&M:3(!
N#† 8 ‡J#Y:M&.&%&TÚÛ"32B
:" !8:j18"&2Y&" Å !
T:1J&C:
N#† 0FS‡F
"&\"5-4(5"602;&" Å "M:&2G+
V#† : ‡GBá NBN?N7á N#† C ‡G=
z;&&' 0F&:M"&2;&#2k
Zl& " Å ZS*C"•:O
V#† DFy‡G=
†yv ‡9&%')5-o15&"6 -i& ""G02i&D9KZ& "".Q
P›#"`ýYC:
D%6F&R
Pe\J15& "6-M& ""02O& D9KZ&"".@#";Ú;=N”H
:3(F915&"6 -4& ""02I& D9KZ& ""."l96K:4F95&
"&2N#"b*\:G:9
ZGL*C"90:S*C&T"&2R:\@FK:/=U>C:
K5' (& "J&:@15&"6 -8&""028& D9KZ&"".+#!"0202
"7&2F&;20U*\:<K3(::T:(' -=Jrh95&;6 ')
"GPbD9&[&D%+2Gj3"& "/=
&D%-.\hK3(:SD89T:7:<>=?0=A@B@?@UC0Ci&Jý 1j3O:WVX Á
Y ¶‘3‹‰ Ž ‰s¶‘o*T= 0= 0Z= •H:%Y4KZD& "\[`&HáBN9N?Ná7KU
5:M:)
[N†s)‡RÜkY"2;Ú :3HbK3:M&U:&#&0*\"69&DIê
N#† D]^ 8U_ ‡ ]`^ :a_ N#† D]^ :a_ ‡ ]`^ =7_ N#† ]`^ =7_ ‡ @B@B@ ]^ Cb_ V#† ]`^ Cb_ ‡G=
Õ&0*TT*@h&D%-Â2j3"h"e556 "D9".c
&`
Zpo5D9Q
E3G
#pD%(G:"6•l†1u(‡I<1j3$:hp&Oý9b"32š†yv ‡
')G5-ij"4K3(d
: 08?T:U:<>=e0=A@B@?@UC0C`&JýY,*\:O
D8l%:
&.&01j38:Oa!fQ .@& "32#&"7*T= 0= 0= RU"32`†s~ ‡F[&J')G515& "6 -O& ""G029& D9KZ&"".E
PmÜmë DF>g Bá NBN9N7á 0Fih ú #"MýY.:
589ë N#† 0Fg(‡GBá NBNBN7á N#† DF h ‡ ú Y15& "6-4& ""G02I& D9KZ&"".
"$Ú;=rhb2"&T:b5&@U5D9E3G
#JD%:"6 P&@ý
*T= 0= 0=Zڃ2
134kj7l †sýJ‡G=
ã
mOno7p<qrist0u v
w
x
˜
œ
y

Œ
Œ
Œ
Œ
Ž
›
¤
Ž
œ
Œ<Ž
Œ<œ
ŒU
<Œ 
z
ŒU
ŒU
Œ<›
<Œ ›
{
|}i~#T€D‚7ƒBa„
Že ‘ ‚7€’?‚7ƒ} Œ<“ „
Že  ˆ— ž+‹?ƒ} Ž< „
Ž? ‘ — ’ŸU†} Ž9Œ „
?Ž  ‘ ?† ‡aˆD‚7¥ } Ž?Ž „
…}iT‚7†e‡fˆ‚7‰a„
”R•0–‚k’—
} Œ<˜ „
”R•0–‚k’—
} Œ<˜ „
•5¡¢‹eˆD‚7ƒ} Žeœ „
•5¡¢‹eˆD‚7ƒ} Žeœ „
Š}‡7‹e€D‰;~;‚U„
™Z†eT†ešD†e~T‚E} Ž?› „
™Z†eT†ešD†e~T‚E} Ž?› „
–‹?£e— ‡)} Že˜ „
–‹?£e— ‡)} Že˜ „
ØC¬­Z¦[¢h£¤8Øb¯+¢§U¢¨!ž[­©¦[¢$²<¬©³¯ž[¦!ŸZ¨9°S±¡ªY !¢¡(ªI«<±3°H\ž[ŸZ !¡(¢<×$¬¦«`©0¯!¢$«!¬©¬­!¬3¨¢4±3°H\ž[ŸZ !¡(¢p£3µ
^i¾\½5¿‰sÀ·#½ Œ9Žy ‰[‘Š91j3,:H B:P*C0/ P"2M/:
.D / \&Ný9=Ur782"&:T5P&R+E3G
#D%:"6P&Rý
*T= 0= 0=Zڃ
13547l †sýJ‡G=
ã
€S".')-./#"<
Z&:$:Y5D9E#
9"2$E3G
#5D%".
*@P55D9C:N"&2N&/Ú¼:3V(,& ""2
.-YK:9(
5D%".0-7#(02/=$>C:M2AB"OJ:3b"7:9E#
5D%".(*CC5&55D9R:3/:!c(& "5:Kb+5"5') =
>C:@2ABG","#V"&:N#D9KZ&5".V2AB",
ZS*C"
:%5D9E3
%"2<:9E#
95D%".=4€S"7:YE#
5D%".R-"h:%5-7O"&b"5-pD%KKZ02
&9G-#P"I:T2(
35 =\aD9E3
FD%(G:"6 :&0*C')0
O15&"6-7& ""G027&D9KZ& ""8"7:M.5-l&4
Z
D%KKZ02Y&b15& "6-%& ""2O&D9KZ& "".C"O:F2(
5 =
¬­¯® Ê ®¢°B± Î ±®¢²š~=u=2X!¶ˆ  ‹ Žy À  ’½TÚ  ‘Z‹
¶ ··¶D%R‰‘.Š  ¶·‹’?´
1µ354 6㠆sýb‡J¶S134 j7ã l †sýJ‡J¶S1µ354 lã
 ûü3½Gˆ¸ý³ Ž[ ½
†sýJ‡
a& D9Hc"636,&H5D9#152O2J56#\GK1Q
5&"\\8&.& Z&,&D#(#"6Y.G#@*\:"%:H15
"&P&D9K-Mq"&0*\";&:T50=N€L"IK"K :FGK1Q
5')8KZ&0*CGF&U6 #(FK55#&"H5
5D9,:T5D9E#
"32IE3G
#J5D%"=H»&0*@')0B"$ 22& "4&O6 #(TQ
K55& "@&"OD%0-75&$"2g"& ""32;ºL& "Y"g&2&
[-`GK59:545D%".=m€L"•".-i5 ,:45D9E3Q
I"27E3
O5D%".4lDG:7D9&O5"
"32405#GT1L-&N*,"6;.=Fz;&&(')G0/*@b*\U5:&0*
:b'3(#&"o"32h&KD9W0&"o&P5D9E3
O"27E3Q
I.M05Y:"g'3(& "i"32h&KD9W0&"i&
.,*\:M6 c(GK55& "=
3.1
^›"')Examples
5S-k2(
5l:3M:&#2;"&D%(& "?& "?&5
12".,"3290:GC\2K#G02O"M6 bu =VaKKZ&5H:3(
^P#\*C".U&T.5-8:,2(Æ.5:,#RdD9##(V*\::,& ".& Q
&6-&3:\2
35 .
N2&.N"&Nq"&0*g:&0*i:C"[&D%&"
P&6 "W2/=RrhFGD9"Tb[*Â05=
·J¸ ͺ¹\Ê»0¼ ~= v=$½H· ‰  ½ Ž ˆ‰y½G’ Ž ¶I·¶0¶ & ‰[‘ Ž[ ½9‹ Žy À  ’½)¶ˆb‰‘ Á
¶ˆ ŒYŽ ‰s¶‘$¶‘  ¶üˆ’½G’?¾2V  ½  ’’ü Œ ½G’ Ž[ŽVŽ[ ½F‰‘9¶ˆ ŒYŽ ‰s¶‘$¶‘
½ ) ’ Ž ü‹)½G‘ Ž ‰‘  · ü‹.½G’ Ž[ ½  ¶üˆ’½G’ Ž[ŽCŽ[ ½8’ Ž ü‹.½G‘ Ž ‰[’ Žy& ‰‘.Š5¾
¿  ü’UJ
³ ’  ½¶ˆ Œ ü· Ž ½G’'ÀCü½Gˆ¸ÂÁp¶kXV‰Šüˆ5½cþĿ  ½Gˆ½  ˆ5½4‘3¶
ˆ‰#Š‰s‹ ŒYŽy ‰‘.Š’4¶kÅÀCü½GˆG¸ÆÁO%¾ˆ9¾ Ž ¾ Ž[ ½4ü‘‰>½GˆG’‰ Ž ¸p‹ Žy À  ’½9¾
Ç ¶D@% ½e ½Gˆ<³R%  ½G‘ Ž[ ½Tûü½GˆG¸b‰’½e  · ü Ž ½5‹9ü‘3‹.½Gˆ Ž[ ½H’½ Œ ‰ ¾\½5¿‰sÀ·#½
T
’½ ŒY ‘ Ž ‰  ’U³+  ˆ‰  À·#½ R
% ‰d··+À½  ’’‰#Š‘B½5‹ Ž ¶ Ž[ ½Y‹)½G’‰[ˆ½5‹  ¶üˆG’½
‘3¶0‹.½G’È>8
É ¶0‹)½Ã  ‘Z‹8É ¶0‹)½ÊBËD¾
·J¸ ºÍ ¹\Ê»0¼ ~= ~=$½H· ‰  ½!%  ‘ Ž ’ Ž ¶-R‘Z‹ Ž %V¶4’ Ž ü‹.½G‘ Ž ’%  ¶  ˆ½
Žy9& ‰‘Š [Ž  ½\’ Œ ½  ¶üˆ’½9¾EV  ½ ¶ˆ Œ ü· Ž ½G’$ÀCü½GˆG¸Ãb¶kÌXV‰#Šüˆ½Eþ
Í ‘  ½  Š  ‰¯‘ ³ Ž[ ½Gˆ½  ˆ½‘Z¶JˆG‰#Š‰d‹ Œ9Žy ‰‘Š’P‰‘ Ž[ ‰’  ’½9¾+ÇT¶D% Á
e½ ½Gˆ<³Vü‘Z‹)½Gˆb½G‰ Ž[ ½Gˆ Ž[ ½F’½ Œ ‰ ¾\½5¿‰sÀ·#½8¶ˆ Ž[ ½R¾\½5¿‰sÀ·#½T’½ ŒY ‘ Ž ‰  ’<³
½H· ‰  ½%R‰d·[·¯-R‘Z‹D³©¶ˆ;½5¿ ŒÃ ·#½e³2Î\‰> & $ ‘Z‹Î   ½·  ’ Ž %V¶l’ Ž ü Á
‹.½G‘ Ž !
’ %  ¶  ˆ½ Žy & ‰‘.Š Ž[ ½9’ Œ ½  ¶üˆ’½OÈÏ!¶Š‰  ËD¾W¿  ‰’J‰’‹ü½
½ )Ž,Ž[ŽF ’’‰#Š‘‰‘!
Š !ká 3á ká Ð Ž ¶Mu áG˜.á}á~³,ˆ½G’ à ½ Ž ‰>½· ¸³
Ž ¶ Ž[ +
‰’  ’½ Œ ‰ ¾\½5¿‰sÀ·#
½ È  ‘ZD‹ ³  ½G‘  e½ ³  · ’G¶  ¾\½5¿‰sÀ·#f½ Ë ŒYŽy ‰‘.Šk¶ Ž[ ½
ûü½GˆG
¸ %J¾#Bˆ ¾ Ž ¾ Ž[ ½8ü‘>‰ ½GˆG’‰ Ž ¸M‹ Žy À  ’9½ ¾
·J¸ ¢Í ¹\`Ê »D¼ ~= |c
= Ñ  ½G‘\ÀCü½GˆG¸Ê%¶fEXV‰#Šüˆ½ÃO‰[’ à ¶’½5‹ Ž ¶ Ž[ ½
ü‘‰>½Gˆ’‰ Ž ¸%‹ Žy À  ’½  ’F½G‰ Ž[ ½Gˆ  ˆ‰#Š‰s‹9¶ˆ  ’½ Œ ‰ ¾\½5¿‰dÀ·#½8ûü½Gˆ¸D³
Ž[ ½Gˆ5½  ˆ5½\‘Z¶ ŒYŽy ‰‘.Š’\¶k Ž[ ½Pûü½GˆG¸%J¾#ˆB¾ Ž ¾ Ž[ ½\‹ Žy À  ’½9¾EÉ8½e Á
½Gˆ Ž[ ½·#½G’<’ ³9ü‘3‹.½Gˆ Ž[ ½b¾\½5¿‰dÀ·#½4’½ Œ9 ‘ Ž ‰  ’U³!%@½OŠ.½ ŽŽ[ ½  ’’‰#Š‘ Á
Œ ½G‘ Ž ’ Ž[Ž8 ˆ½%’  ¶%N‘o‰‘µ¿  À·#½ÒÁb¾O½ Ž ¶ Œ ‰  ‘3¶0‹.½G’%  ½Gˆ½9ˆ½ Á
‹ %N‰ Ž[IŽ[ ½G‰[
ˆ  · ü9½ ¾
à · ) ½5
3.2
Matchings
€SY"&More
9"5on
Semiflexible
-o01-p&$G:q7
*\::9"`556 "D9"
&h:l'#
;&Jo.5-iý{;h5D9E
lD%:"6=
>C:805& "$#P:3(F#UK:&VýÖ:0')T&O
Z8&"5#2G02/=H€S
ý›O726`†s202`-46K:Z‡GV:;"D
Z&TK:
&#27
Z9KZ& "".#dU"32<Pý :3J;- :"<:9
"j"-lD%".-lK3(:=€L"l:T5& "/!*@Y5:&0* :3(TC:
6 ')"%2
35HÚ @T26):"G:Gq"6H*\::C"%556 "Q
D9".UV5D9E3
CD%(G:"6& #2
Z\2& ",#"bKZ& -"&D9c
D9F";:T5W8&RýÇ"32MÚ;=Vr785&95:&0*m:3\";:T05
&ZH-\.5-.RN59".U&& "5#2N& "-J5D9KCK:
"24-F"l&2G&OG:GqO*\::T%6 ')"<556 "D9"
b5D9E
FD%:"6=RÕ&H:PPJD%5,&D9"&Q
& 6-.3YG-#8.G5-<†s2
350‡\:PP01H& "T- =@>C:
:8#5T&N-.G#†s2(
5‡2&."&#"32b".26%.5-$†s2(
5(‡G=@^m5J.G5-<†s2
350‡G3:&0*@')0
5KZc!058&RY269.5-$†s2
35(‡G=
Ó ¼¹E¹\Í ~= –.= Vü Ã)à ¶’½ Ž[Ž ý ‰’  ‹  Šhûü½GˆG¸  ‘Z‹MÚn‰’ 
‹  Šl‹ Žy À  ’½9¾Æ¿  ½  ’’‰#Š‘ Œ ½G‘ Ž TêBÿÔÝà ‰[’  ’½ Œ ‰ ¾\½5¿‰dÀ·#½
Œ9Žy ‰‘ŠY¶fVýÄ%J¾#ˆB¾ Ž ¾Úè‰  ‘Z‹b¶‘3· ¸8‰ Ž[ ½¶ ··¶D%R‰‘.Š  ¶‘Z‹‰ Ž ‰s¶‘
‰’H’ Ž ‰’-C½5‹5¾
Õ !X ¶ˆ  ·[·U·  À½· ’a³  ·[·‘Z¶0‹.½G’  ‘3‹ Ž[ ½Yˆ5¶0¶ Ž åh¶kTý!³,‰ ý
 ’ J͎[ ¶k Ž[ ½¶ˆ Œ å ³ Ž[ ½G‘IÚ  ’ J͎[ ¶k Ž[ ½
¶ˆ Œ V†då ‡ iV†#‡G“  ‘3‹
Õ !X ¶ˆ  ··+·  À½· ’)  ‘3‹ ³  ‘3‹  ·[·/‘3¶0‹.½G’)³  ‘Z‹ ¶ký!³
‰C
ý  ’ ÃŽ[ ¶k Ž[ ½Z¶ˆ Œ ³ Ž[ ½G‘OÚ ½G‰ Ž[ ½Gˆ  ’
9͎[ ¶f Ž[ ½)¶ˆ Œ N†#‡ D N† ‡%¶ˆ ÃŽ[ ¶k Ž[ ½2¶ˆ Œ
† ‡ iV†#‡9¾
V
¬­`®º®¢Ö
×H€yC@1-9&85H:@¢4,T5D9E3G
#PD%:Q
"6V:"gY1j3Y:M& "32#&"i&:MD9D%=p&Y:
&:M2&"+\5KKZ& 5I:%:I& "32#&"k&F:4D9D%
:&#2R"2J& "5#2NHK:ÄId
Ü 089;:7:<=e0=A@B@B@<CDC8&BýY=Ra"
ÚèT%26BH"&20"$
Z85&502l&KZ& & 60-.=8…+G$
[p
Z
IKZGD(& "h&áBNBN9NákKRR5G:<:3[N†s)‡JÜ 4"32$:%5Q
."N&& º1GN†# ]^ 8U_ ‡GákN†# ]`^ :a_ ‡GáBNBN9NákN†# ]`^ C0_ ‡+& "[&D9!&
:& KZ&& 6 0!&2"6b& ";Ú;=RÕ&H:3D]^ 8U_ "32QN†#]`^ 8U_ ‡
(9:9&.&J&Hý¹"327Ú;U5KZ')-.=4z;&&(')0N\
Z&:
N#† ]`^ F#Ø:a_ ‡P"3Ò
2 N#† ]^ F_ ‡J†1
u GH+GK+‡,#J& "4:8D9JK:4&
Ú;:"O:FK:MD1C
ZF[& ,
D N#† ]`^ F#Ø:a_ ‡C
& N#† D]^ F_ ‡G=
r7T#Dš:3(Hڃ:PK:;&:F[&D
N#† ]^ 8U_ ‡ ]^ :a_ N#† ]`^ :a_ ‡ ]^ =7_ N#† ]`^ =7_ ‡ @B@9@ ]^ Cb_ V†# ]`^ Cb_ ‡eN
>+&OK&(')T03*CJ5:&0*m:3P&T#VuGSHGdKU3:GJYK3:
&\:Y&Ù
D N#† ]`^ F#Ø:a_ ‡ ]^ F_ N#† ]`^ F_ ‡T"gÚ;=4&
HFܛuR"&2
]`^ 8U_ 9:M&.&O&8ýY,"32g5&Pý›:%<K:i&:;&D
]`^ 8U_ ]`^ :a_ ]^ :a_ =>C:+
-;:bj18K3(5T&V:& "32#&"7&
:D9D%ښ:3\JK3(:M&!:P&Ú
D N#† D]^ 8U_ ‡ i]`^ :a_ N#† D]^ :a_ ‡G=
&H)ۙuB:bS*C&O05F&M
ZJ& "5#202B+2KZ"2"6
&"O*\::G+ ]^ F#Ø:a_ KKZC
Z[&F&\c+ ]`^ F_ & "%:PK3:
Äi&PýY=I€y+
]`^ F#Ø:a_ KKZ0(Jj10:"hý¹:JIK3(:h&,:
[&Ü
D ]`^ F;غ:a_ i]`^ F_ ]`^ F_ =J>C:/&2"6O&O:5& "32lK3(5
&C:b& "2& "h&@:YD9D%+ڛD1T:30')MK:7&@:
[&Ô
D N#† D]^ F;غ:a_ ‡ i]`^ F_ N#† ]`^ F_ ‡G=,^H"3(')-.3R
D]^ F_ KKZ
j10+:"l:b#8
Ý7†s
 GÝcG"KÞiv ‡G+5:l:3Týš:3F
K:%&/:\&Ú
D ?ßDi]`^ F_ ]`^ F_ ]^ F;غ:a_ ]`^ F#Ø:a_ =N>C:&2"6
&M:Y5& "32$K3(58&C:Y& "2& "<&C:YD9D%!ڛD1
:0')TK:I&:[&à
D N#† ]^ F#Ø:a_ ‡ ]`^ F_ N#† ]^ F_ ‡G=
HG ‡8"ÆPbN:%YIK3(:h:3(Y15J:9&.&Y&HýY
&""F&4M"&29"\Pš"32$:"76&.8&Ò F :&6 :$:
026 F;غ:<F#
F5=H>C:K:40"$
Z8"202I
.-M6 &#"6;(& "32
:-Qš
P c& Dâ F 3Gq4&I5S=;>C:Uý :3bMK3:<&
:P&Dšå F#
F F#
5F *\:å C:H&.&\&UýY=N>C:,K:
1jP:8a!Qf@
. &"32& "/5"7
\5D9E3G
#D%:"6=
>C:G& \Ú D1Y:(' IlK3:o&H:O&DåV
†# F ‡ F N †# F ‡
†1uGÆHRG ‡G=
œV-9& D
""6F:HK:Y[&DÄN
†#
F#ØG: ‡U&N †#
SF ‡*\:9:HK:
N†# F ‡ F N †# F ‡†1uÒGLHG ‡G8&#&0*\b:bÚ :3bMK3:<&
:,[&DÄN
†#
F#ØG: ‡ F>N †#
SF ‡\†1uGÆHÌG ‡G=R>C:G& ÚÖ5&J:3
%K3:$&N:J&DæP ã ÜçN
†#
(8 ‡ T:7N †#G: ‡ @9@B@ áN †#()á ‡G=ba"
$
8 ÜÜ(á @9& &0*\O:!N †#
(8 ‡%ÜèN †#()á ‡"32B@:P ã 4-%#"oÚ;=<>C:U*@M:(' O5:&0*\"h:3!@
. & "2& "m†s~)‡T
1j02/=
&P:T&:P2&"+35KKZ&5F:3E
<HbD%KK"6&U:
'#
#,&!ýÂ&b&
ºL,&UÚ;5:9:3+.@& "2& "T†1u0‡TéZ†s~ ‡
J1j02/=\œNO
- .@& "2& "g†s~)‡G` hD%K\15& "6 -4&""02
&D9KZ& ""8&ý &415& "6 -p&""027& D9KZ& "".8&HÚ;=
ÕG0*C,*\Z5:&0*i:VK3(:R&+ý?1[-Y:Pa!fQ .@& "2& "
*T= 0= 0¯= R=
…+GHÄ4µ
Ü 8 : : @?@B@< C C Z8YK3:M&NýY*\: 8 \:F&.&
&,ý9=9r7*\V5:&(*Ç
.-l"32& "<& "'Kg:3(8Äi(1j38:
a!fQ .@&"32& "M*T= 0= 0`= N=
ÕH0(*CV*\& "5#2UG-#@=Ra"V5:b.!:(' "j3"-bD%".-JK3(:F"')C1V
3502Y& ":P2j"& "Y&
O5D9E3
bD%:"6M2&.T"&TD9" =b>C:b& &0*\"6
D9D%b'#\:P29L-.=
&2
K;Üeu Ä<\:Gb5#D9KFK3(:7†dZD8Üd
ê :G‡@&H5D9K
-o†d 8 Üë : ‡G=րL"•:$j1I05 Fļ(#1j;:ha!Q
.@& "2& "p
.-W.@& "32#&"k†yv ‡GR"327"7:95&"32h05ì .@& "2& "h†s~ ‡G=
>C:KQ
: 8 : : = = @9@B@U C C †*\:2 8 C"&,"5(-%:
&.&G‡NC’‰ ŒHà ·#½ ͎[ !:EDFP21"G0=R€SNC  ¸  ·#½\
8 Ü C "2YV@Y’‰ ŒHà ·#½  ¸  ·#½P¢ 8 Üd C "32 : áU = á9NBNBNá7 C
(J21"0=
ÕG035KKZ&5b:P:J#D :& #2[&TK:&N"6:$#5
:3(EKU*\:KÅÛ?u=Nr7F:30')H&5:&0*?:3(,:FcD :& #2
&H:FK3(:;ÄR=
Ó ¼`¹E¹,Í ~= —=2Ͻ Ž ýÛÀ½ 7 ¸  · ‰  ûü½Gˆ¸  ‘3‹;ÚÝÀ½ h ¸  · ‰ 
‹ Žy À  ’½9¾!¿  ½  ’’‰Š‘ Œ ½G‘ Ž o‰’  ’½ Œ ‰ ¾\½5¿‰dÀ·#½ ŒYŽy ‰‘.Š9¶kCý
%J¾#Bˆ ¾ Ž ¾3Ú ‰  ‘3‹O¶‘3· ¸‰ Ž[ ½R¶ ··¶D%R‰‘.Š  ¶‘3‹‰ Ž ‰s¶‘’  ˆ½8’ Ž ‰[’-@½5‹5¾
ÈfÁeË'¿  ½  ’’‰Š‘ Œ ½G‘ Ž ’ Ž ‰’-C½G’ Ž[ ½9ˆ  ¶kTýQ¾È;Ã9ËQ½H··’‰ ŒHà ·#½
͎[ ’lk¶ Yý Ž[Ž ’ Žy ˆ Ž9Ž8Ž[ ½Iˆ5¶0¶ Ž ’ Ž ‰’G¸ Ž[ ½cV5X Á Y ¶‘3‹‰ Ž ‰s¶‘
%J¾#Bˆ ¾ Ž ¾J¾ÈTÊBË+X!¶ˆ  ··)’‰ ŒHà ·#½  ¸  ·#½G’
89T:k:@B@?@U>á(á¶kUý,È;%  ½Gˆ½
8 ‰’8‘Z¶ Ž ‘Z½  ½G’’  ˆ‰d· ¸ Ž[ ½bˆ5¶0¶ Ž Ë9³NÚ  ’ I ¸  ·#
½ È;%  ‰  ‰’T‘3¶ Ž
‘Z½  ½G’’  ˆ‰d· ¸O’‰ ŒÃ ·#f½ Ëk¶ Ž[ J
½ ¶ˆ Œ N#† 8(‡ ;:7N#† :G
‡ @?@B@ áN#† (á 9‡ ¾
€SBÄ;#V":CF5D9K#\K:9"&CT5D9K\- ):"9@Db1
:30')' (c
F "3
2 á #† Hí ‡G5G:$:3(T:YK:7įîÜ
DFaFã©:7DFã©:@B@?@U>ábáHN5D9KCG-#=RœV
- .@& "2& "I†s~ ‡G.Ú¼:3
-T&:F[&D Å î S
Ü N#† 0FS‡ Fã©:7N#† 0Fã©:(‡ @B@?@ >á9N#† bá‡G=
¬­¯®¢®ºÖ
× È '&5-.!+ibM5D9E3
YD%(G:#"6/:"
.@&"32&"†1u0‡P"32h†yv‡\:& #2/=,ÕH0*@8*\U5:&0*m:8"1Q
5S-;&R@
. & "2& "p†s~)‡G=
…/¼
Z<g5D9E3
$D%:"6p&Yý{*T= 0= 0=PÚ;8"32•
P Üd 8 : : @B@?@U á á *\: 8 Üd á ZTb5#D9KT-T&RýY=
m
>C:M5G%ëBV
†# (8 ‡GáBN9NBN ákN †#(á ‡ ú #b& ".#"02h"gI15& "6 -p&"Q
"02I& D9KZ& "".P&VÚ;B
Z05h
F95D9E3G
#TD%(G:Q
"6h"2kë9
8 áBNBNBN áU(á ú #9& "."2i"•$15& "6-i& ""02
& D9KZ& "".8&\ýY=%>C:[& U:YJ;K3(:$c& DâN
†# F ‡F&
N†#
Fã©G: ‡†sGIHRG i
Þ u0‡G=
>C:;5& "32g& 5'& "o:3(%Ú :39lK3:g&:%&D
‡G=8€L"lK&.&L/&80:<"&2 F †1uG
N†# F ‡ F N†# F ‡b†1uGäH)G È "I6 "+CÄ?#%$5D9K;K:o&O<5D9K#M- @:"
:G.@&"32&"4†yv ‡U&J.@& "2& "4†s~)‡D9KR:3(VÄO1j
:Ta!Qf.@& "2& "+=
œV-O:F"2G#&";:.-KZ&:5:FK3(:
Ä`ïTÜd089;:U:º@B@B@UF;DFT>á
ã©: 0á ãZ: @B@B@<CDC
1jP:8a!Qf.@&"32& "/=N>C::FPbKZGD(& "Ò[ï
&Vá0u 9á NBNBN7á H5á ð u 9á N?NBN7á KUB5:I:3($[ ï †s ‡,Üe%"24Úè:3F
K3(:;&U:[& &(*\"6%[&DI=
Å
ï
Ü
N†#D]9ñ5^ 8U_ ‡ ]9ñb^ :a_ V†#]9ñ5^ :a_ ‡ @B@B@
] ñ ^ F_ V †# ] ñ ^ F_ ‡ ] ñ ^ á ã©:a_ N†# ] ñ ^ á ãZ:a_ ‡ @B@B@
]9ñb^ Cb_ N †#]9ñ5^ Cb_ ‡
rhP*\#/"&0*?5:&(*k:C:- Å îP"2O:K3(: Å ï 0";
Z
&D
"02b".&TF5"6#\K: Å :3(N5:&0*\N:NÄ;(1j3R:
a!fQ .@&"32& "/=U€L".')-.:R@2& ",
-J"5G5#"6F:CG-#
Å î ".&F:,K3(: Å ïT15"68@"9&.5"H&º DF+" Å ï=R>!&
2&P:3(0*@C"028&2j"VHKZDb(#&
" [O&Báu 9á NBNBN7á K9:3
ò)no7nó`nu7ôõö+÷ôBø7ù
Dú †<TˆD†<T†?š†?~;‚
T‰T‚7‚A†eT†?š†?~;‚
D†e£+D†<T†?š†?~;‚
‡kü‡7¥ — ‡Z†eT†?š†?~;‚
ú†eTˆû9€‚7‰#ü
ý
þºÿ ý
þºÿ ý
þºÿ ý
þºÿ T‰;‚7‚Ìû9€‚7‰#ü
ý
þ¢ÿ ý
þ¢ÿ ý
þ¢ÿ ý
þ¢ÿ †?£+û9€‚7‰;ü
ý
þ¢ÿ ý
þ¢ÿ ý
þ¢ÿ ‡7‹ ©ý
‡kü‡7¥ — ‡Zû9€‚7‰#ü
aˆ‚7‰;‚A†?‰;‚̃‹+~;‚7ž+— b‚— šD¥ ‚ž+†eT‡fˆ— ƒ£?~
aˆ‚7‰;‚A†?‰;‚̃‹+~;‚7ž+— b‚ — šD¥ ‚ž+†eT‡fˆ— ƒ£?~
aˆ‚7‰;‚A†?‰;‚̃‹+~;‚7ž+— b‚ — šD¥ ‚ž+†eT‡fˆ— ƒ£?~
‡7‹ ý
ØC¬­Z¦[¢$×B¤8Øb¯+¢l³ ±B²
Z¦c¢¨+ž[©ªi±°H³¯!¢³+ž¦+Ÿh®9¯!¢©0¯!¢¡!iž¨Y¬<¨¢²7ž§U¢¨+ž[­Z¦[¢<²<¬©0³¯!ž¦!Ÿ!µ
& D
"@:FABG,&:KZDb(#&"[ï8*\:O:HAB\&
:M#2".S-hKZDb(#&"h&2H ð uá9NBNBNá R*\::gc(:
5D9K#TG-#TÄ î &:F- Å î =
>C:YKZDb&"[`ïO82j3"02$&(')G8áuá9NBNBNáUH5á ð uá9NBNBNá7KU
d= =B:HY6)K$
ZGL*C"cH ð u"32 =\»&0*@')0:H6 K4
"&P"5-O:FKcF&YKC:F- Å î=N>C:& *@
j1:0')F&95:[H5& D98KZ&5&""4&2P&90(8:T6)K
";:6 :.PK# =
&D%-./:b#JÝ5:l:3[ ï †iÝ.‡HÜMH5=9ÕH&b:2Ý;
:%KZ& 5& "g&EN†#0FS‡T#"h:%K3: Å ï=$>C:O%L*C&l05
[&\"6J:6 K/1(5"6Y(\KZ& 5& "!Ý ð u "2%[&\0G:
5
[<P2Gj3"2;2AB"-.=
€y¯ Ý ð u GÆH5.:":\6)K%:3N&8
ZPG0029
.-b5:["6T6 :.0Æ
:P[&Ý ð uGèGÆH5*@82j"[N† ð\ ÞHS‡NÜd[`ï†4‡G=
€y $ð uGWÝ:"O:6)K;:C&
Z02M
.-%5:["6Y[0Æ
:N.& Rð u$G GWÝ.*@\2j"+[N†ÞI† Þ!HS‡5‡RÜd[`ï†4‡G=
ÕH&0*T *CVj3.:C6 Kb*\:J:@G-# Å î .-82Gj3""6$[N†iÝ ð I‡UÜ
H ð ƒ&uG G ÞÒH5=N#"-.*C& D9K\:H2Gj3"& "
&A
[<
.-M2Gj3""
6 [N†4‡UÜd[`ï†4‡G&!&:\'\&<=
€y\:@&#&0*\:PÚ :3PK3(: Å &U:&D
N#† D]^ 8U_ ‡ ]`^ :a_ N#† D]^ :a_ ‡ ]`^ =7_ N†#D]^ =7_ ‡
@B@B@ ]`^ Cb_ N†#]`^ C0_ ‡
"32M:,K3:;5:&0*\,:3PÄ$1j3P:8a!Qf.@& "2& "/=
€yC5:& #2%
ZH"&029:3(,J.5-b*\:O-C""&,
ZP1Q
j02I
.-I92
358*\:&H-Z"2P:H:T#6#2I&
5D9E
85D%".=P»&0*C')03[&:TE3
J5D%".
:P\"&P"5-;:05 =
®¢­¯® »0»Í ­ƒ~= ˜=b½  ‰s‹‰‘Š$‰  Š‰½G‘
 ’’‰#Š‘ Œ ½G‘ Ž Ƕk 
¸ %J¾#ˆB¾ Ž ¾ 9 ¸  · ‰  ‹ Žy À  ’½T‰’  ’½ Œ ‰ ¾\½5¿‰sÀ·#½ Œ9yŽ Á
 ¸  · ‰  ûü½GˆG!
‰[‘Š%‰[’‰‘%&Õ2¾
¬­¯®¢®ºÖ
×\rhP*\#+25G#
ZFb"&"32D9"1KZ&-"& D9#Q
D9M6 &:D{[&Y1#"6$*\::GkY"&945D9E#
D%(G:"6=%€yJ`2&.8"&JD%Kl:&.&&C:Y5-4&;:
&.&J&,:Y2
35 !:"<:96 &:D "F-.=O>C:
6 &:Dš6 55,85D9KHK
: 8 : : = = @?@B@U C C &ýe"32
G"J-.bP:bK3:g2&.Y"&Y(1[-p:;a!fQ .@&"32& "
†d";:F#+K3KZ0*@T*\#!25
Z8:&0*?&1P:3(PY6 ')"
K:?1c-k:7a!fQ .@& "2& "?"mKZ&-"& D9#H#D90‡G=š>C:
6 &:D #5&%655Y5H&R"&2Fë DF>g 9á NBNBNká 0Fih ú "2MQ
"P-.PN:P5FF15&"6-I& ""2I#"$ýYZ
P:J5
Bë N#† 0Fg‡GBá N?NBNká N#† DFh8‡ ú \"&P15& "6-;&""02O#"IÚ;=
€L"l5D9D%5-.3N:b2(
35TO26B:"l…/D9D%9~= –%#DYQ
KF:F1"6M*\:G:
oTO5D9E3
D%(G:"6%:3
M"""6MD9b:88KZ& -"& D9#V"<:Y5W9&,:9.5"2O:T2(
35 =N€S+:T2
5T\-8"32%:T.5-%
J5 :H1,0"O1+
Z2& ""OKZ& -"& D9#3#D95#"T
5J.5-M:3H&"-4Y"F"D
Z,&NK3:Pc& D :T&.&
&IO0S=Y»&0*@')0B&bO-92
5%"32$;.5-;:3
:9l264&-#N*@M&"-hq"&(*Ç:3(b:%1Y"
&
Õ ,=C>
bvb6 ')P:T& D9K#GS-O53";D9,&U:
5W8&:T.5-M"32O:T2(
5 &P:' (#&\05=
4. QUERY EVALUATION IN SEMIFLEXIBLE
XG5-F
'3SEMANTICS
(& "T:3,KZ& -"&D9#Qs#D9R2,&D9KL-H"Q
2G\:\:5D9E3
F&PE
F5D%"=R€yU
Z&:O:
.5-I"24:Y2%b& "5c202$F"K0Z:"I:b& DYQ
KL-lTG5"-$KZ& "".cd!5":b5#W9&@:b5
&#2J
Z@KZ& ""#.#"8:V5WC&:@5-8"32T:V2=R^
Z5PKK&):I,&9"-WF:  ¶ Œ À‰‘Z½‹  ¶ ŒÃ ·#½5¿‰ Ž ¸9:3
FD90502I"lD9H&V:b5Wb&N:b.5-.3:2
35
"2g:M50=`”P0#,:9"g:Mc(& "305 CD9G:q#"6O*\::G8JºL& "7&
Kp#& "8#T"&TD9KL-;T
Õ UQ
.@& D9K9t vuxsÆ:" :F&D
#"02%& D9K#GS-M\KZ& ""Q
#d=$»&0*C')0[&:%#D9KZ&5".J05O&H-#8º1&"R:
&D
"02O& D9KL-O\KZ& -"&D9cRt v}xs=V€L"M:P5& "+*C
*\8255%:l&D
#"02`&D9KL-o&b.G5-`'& "
"2,:F5D9E3G
#5D%".=
4.1
Queries
€L"4:#Path
5& "l
*Cb& "5c2 ͎[ ûü½Gˆ‰y½G’=b^ K:$.5-;:3
:P&D,089;:7:<>=?0=ZNBN?N<C0CB.*\:D8C:\&.&P"32OZ:
DFCJ21"G0=P10Z*@T*\#R2#55\:805J&N'"6
bK:M.5-%&(')Pb2(
35:3(\\5&9bK:/=RÕ&H:3
')"M"%:C05 :H5\& c2%
ZGKZ&"".#B"%:5W
&\:;.G5-h"327:M2(
5$†dK&('c2027:3(5&D9%c
Z
IKZ002i& "6pK3(:9&:42
5(‡G=?»H&0*C')G0C:
&D
"02M&D9KL-%\KZ& -"&D9cd=
&NF.5-8"&2
3:  ¶ˆˆ½G’ à ¶‘3‹.½G‘  ½’½ Ž & 3.2"&
2 P.
N:,5V&/2
35P&
ºL.5G:b:3H1j3V5& D9
*C&I†dd= =:,8#
Z¢S5G:9:3(,
Z&:J"2Y:30')
"&D9"6O026T#
Z02l*\'
: d‡G=b>C:b&55KZ&"32"58&
:H&.&Hå &Ný & "51P&:F&.&På ã &:82(
35 =
¬­`® Ê ®¢°B± Î ±®ºÇ
² |=u = Y ¶‘’‰s‹.½Gˆ ÃŽ[ ûü½GˆG¸Oý ¶k Ž[ ½E¶ˆ Œ
D89T:U:U>=?0=ANBN?NUC0C(³  ‘3‹ b͎[ ‹ Žy À  ’½TÚÛ¶D½Gˆ  ’½ Ž ¶kb¶)À Á
É(½ Ž ’%à¾à¿  ½I’½ Ž 1µ354fj7l †sýJ‡4¶k Ž[ ½4’½ Œ ‰ ¾\½5¿‰sÀ·#½ Œ9Žy ‰[‘Š’
¶kY
ý %J#¾ ˆB¾ Ž @¾ Ú ‰’Yë9Çê,ãÿå àZV†# F ‡ "P"!̶ˆPIG HQG
K á  ‘Z‹V †#DSF ‡Üd
U
ê N †#Bß ‡R ¶ˆEH$ÜI
ê Ý ú ¾ Y ¶ ŒÃ ü Ž ‰‘.Š!134 j7ã l †sýJ‡  ’
·
‰
B
‘
½
ˆ
‰
½
¶
À
‰
B
‘
5
½
‹
¶

 ÁyŽ Œ  Œ
 ŒÃ ·#½5¿‰ Ž ¸5¾
¬­`®º®¢Ö
×& &(*\\[&DÖ:F2j"& "O&:Ta!Qf.@&"32& "/=
€L"iK3(5##0\"&I:3(%:9& "2& "•D9K#9:OF:
òEno7nónDu7ôõö+÷ô?øUù
ú †eTˆ†eT†?š†?~;‚
T‰;‚7‚R†eT†ešD†e~T‚
†?£+†eT†?š†?~;‚
‡kü‡7¥ — ‡Z†eT†ešD†e~T‚
ú†eTˆû9€‚7‰;ü
a‰;‚7‚Aû9€‚7‰;ü
D†e£)û9€‚7‰#ü
‡kü‡7¥ — ‡Zû9€D‚7‰#ü
ý
þ¢ÿ ý
þ¢ÿ
ý
þºÿ#
a ˆ‚A‰;‚7~T€¥ — ~†e¥ $(†7ü~©‚7ž+úü
ý
þ¢ÿ ý
þ¢ÿ
ý
þºÿ#
a ˆ‚A‰;‚7~T€¥ — ~†e¥ $(†7ü~©‚7ž+úü
&
ý %>¡(‹?ž+ú¥ ‚kT‚ ©ý&%¡(‹?ž+ú¥ ‚kT‚ ©ý&%¡¢‹ež+úD¥ ‚ka‚ a ˆ‚A‰;‚7~T€¥ — ~†e¥ $(†7ü~©‚7ž+úü
&
ý %>¡(‹?ž+ú¥ ‚kT‚ ©&ý %¡(‹?ž+ú¥ ‚kT‚ ©ý&%('©†?‰;}i— ƒ)+*,„
©ý&%('©†?‰;}i— ƒ)+*,„
ØC¬­Z¦[¢Å«/¤8ØJ¯!¢4³±B²
Z¦[¢¨+ž[©ªi±3°H³¯!¢³-/ž¦!Ÿ7¦!±Z¦!¢²
©ž¦!¢¨0¨9 ¦«!¢¡%©0¯!¢l¨¢²7ži§U¢¨!ž[­©¦[¢$¨¢²$¬3¦B©0ž³)¨ µ
2
35T:,"&-:"$D1CD%KO'#
#\:\(
& ""02M
-ObK3:M&Y21"GH&
ºL=
ÕH0B*C& "5#2T:J05&,9592
35Ú;=Y&T0G:
K:4Ä<&Vڃc& Dƒ:T&.&P&OY0SZ*C8& D9KF:F5
&:K3:M.5-Oýe*T= 0= 0=ÄN"2O:"Oq):"& ";&R
:5F5=V>C:*CT6\:[& &0*\#"6=
./
¼ ¢® ­ ¼ ¹
8Ž ˆ½½F‹ Žy À 
12 ‡ Ž ‰ Œ ½e³¢%
Ž[ ½‹ Žy À  ’½
|= v.=ÀCü½GˆG¸M½e  · ü Ž ‰s¶‘¶ˆ T͎[ ûü½Gˆ¸Jý  ‘3‹
’½,Ú  ’  ¶ Œ À‰‘B½5‹  ¶ ŒHà ·#½5¿‰ Ž ¸¶kNàY†" ýf@0 Ú1 ð
 ½Gˆ½3 ý ³4 Ú1  ‘Z‹5 12  ˆ5½ Ž[ ½P’‰76(½G’\¶f Ž[ ½ûü½GˆG¸³
 ‘Z‹ Ž[ ½Jˆ½G’ü· Ž ³Nˆ½G’ à ½ Ž ‰>½· ¸5¾
> :T"\:&D 5:&(*\\:3(P.5-O'3(& "IP"&Pq)C
&l:(' %IKZ& -"& D9#QsD9%& Db
"2<&D9KL-$*\:"h:
2
358PY26=
./ ¼ ®¢­ ¼¹
|= ~=98C‰>½G‘ P͎[ ûü3½Gˆ¸8ý  ‘3‹  ‹  %
Š ‹ Žy À  ’½
ÚÒ³!‹.½  s‰ ‹‰[‘Š$%  ½ Ž[ ½GˆÌ134kj7l †sýJ‡V‰’N‘Z¶ Ž ½ ŒÃ3Ž ¸‰’AÉ;: Á Y ¶ ŒHà ·#½ Ž ½
È;%  ½G‘ Ž[ 8½ ‰[‘ à ü Ž ‰[’ Ž[ ½ûüã ½Gˆ¸  ‘Z‹ Ž[ ½b‹ Žy ËD¾
>C:4ÕUQy»F2"5%%5:&0*\"•
.-i<02& "i&J~ a^N>=C>C:
K& #D #P";Õ\5"T&"T0"I6 5"4556"D9".+7"32
' [-;:HH%5D9E
TD%:"69"IKZ&-"& D9#/D9
†[& &0*\H[&D¹…+D9D%J~= – ‡G=
ÕH&:F[&bMK:<.5-$ý "32$;2(
5%Ú :3(TD%:0')F-ãZ: .5-%'& "M:3\J& Db
"2O&D9KL-%&
àY"† 1
Ú =< < ð ý ‡@#D9=
4.2
€S"•:OTree,
5& "/DAG,
*C$5:and
&0*èCyclic
:3M'3Queries
(& "?&85$"2k26
.Y"&Y56"j30".-g:2:"g'3(#&"g&HK3:
.GK\&\:F058&RG-#J2(
5 =
ÕH&U:3(!:Gq"6,"& "D9K"5B!
Õ RfQ .@&D9K*\:"J
Z&:
:I.G5-g"2p:I2
54(I26`/ ,5";ÕRQy»F(2"5
[& &0*\M[&D >C:&DÛ|= ~h"32iD9D
Z5:#Ko"`
Õ [& &(*\
c& D …+D9D%Y~= –=T>C:J5F&C>C:&D¹|= v90"l
ZJ6 "5Q
#W02h&l26l."3275O2
5Vb1(02h
.-<:
"@:&D :3(C6#' @:\D%#"95,
Z&@' 3&"M&
5D9E
.=H>C:b6 &:D D9".& "02;"4:T:&Q
D #T(:J".5#%"27J25K#&"h0""&8
Z96 ')"
:82&Y5KTD9& "=
./ ¼ ®¢­ ¼¹
|= |2
= Ͻ Ž ý À½  ‹  Š;ûü½Gˆ¸  ‘3‹M·#½ Ž Ú ÀG½ OŽ ˆ½½
‹ Žy À  ’½9¾ ¿  ½Gˆ5½4‰[’  ‘  · Š)¶ˆG‰ Ž[ŒÛŽ[Ž ¶ ŒÃ ü Ž ½G’ = Ž[ ½l’½ Ž = ¶f
’½ Œ ‰ ¾\½5¿‰sÀ·#½ ŒYŽy ‰‘.Š’1µ354 j7l †sýJ‡9‰‘$àY†" ý >@? Ú1 ð 12 @
ý @+@A 1
Ú ‡ Ž ‰ Œ ½e³A%  ½Gˆ½B ý ³ã Ú1  ‘Z‹C 1D  ˆ½ Ž[ ½8’‰76(½G’J¶k Ž[ ½
ûü½GˆD¸ ³ Ž[ ½b‹ Žy À  ’½  ‘Z‹ Ž[ ½Tˆ½G’ü· Ž ³Vˆ5½G’ à ½ Ž ‰>½· ¸b¾
&O:I05$&8-l2
35H5-o'3(#&"•%ÕUQ
.@& D9K8K&('c202;:3(H:8F9KZ& -"&D9cQyD9F1H&
')c-"68:C"O556 "D9".CC85D9E3G
#\D%(G:#"6.d= =
*\:"l:J5-IH:F%K:4&TY5 =&F26M.
:&0*@')0V*C;&"-gq"&0*š:9')Gc-#"6$:%"`556 "D9"
Y45D9E3G
#9D%(G:"64"p&
Õ ,=R>C:G&@:q"6
"&"D9K"5,\F
" EH=G †s"32OP1!
Õ RQy»23‡G=
Õ&0* &"5#2G8-#%.=%a#"b:58&C'"6
7-l.5-o&(')O726h2
354#O*C-OD9KL-.VÕUQ
»F(2"5,2&.C"&C&#&0*?[&D >C:&DÖ|= ~=N»&0*C')08GQ
2& "J5D9##(&P:U&3>C:&Dþ|= ~H5:&0*\:3!"&"D9KQ
"5U&ZP-,.5-8&(')UH-,2(
5CU
Õ UQy»F(2O†s"32
\#1
" EHG= ‡G=
>C:M& D9KS-75&Y:O' (& 05Y;5:&0*\"i"
>
O~=MÕ&Y:T*\:"71"64D9K"5TJKZ& -"&D9cQ
D9\†d#"T:N5WV&:V.5-"2:V2()‡G.5-Qy'3(#&"
:3FYKZ&-"& D9#QsD9T& Db
"02M& D9K#GS-.=Crk:";1"6
D9K#"5T"&FKZ&-"& D9#d+.5-Qy'3(& "l0""&T:30')
KZ&-"& D9#QsD9F& Db
"2O&D9KL-O:G0=
5.
10EVALUATING
*@F*\#+5:&0*?:3P.FLEXIBLE
5-O' 3&"IQUERIES
"2,:E3
5D%"+0"8
ZR0202F&P.5-' 3&"b"32G+:N6 #2
5D%"=
…+GJÚ ÜèÞsàáâYá1å ã á5æRç
ZY;2(
59&(')T:Y58&C"&2
à=,>C:9ˆ½ ) À‰· ‰ Ž ¸Šˆ GÐ &Nڃb&.&02I#
Z02l202
6K:/C2"&02JILK†sÚ%‡YÜ Þsàáâ3MVá5å ã á5æUçGV:Yb& "02
[&DƒÚš
.-O 22"6J026PC&#&0*\=@€S&
ºLNO+&UÚ :3\"
"&D9"6T026 Pc
Z02Y*\
: /"32:\#V:@TK3(:Y[& D
O@&l"&:G&
ºLP
M&'GQS' :"pâ M :b"h26 #
Z02;*\Ò
: ![& Q
D 8P
& O=
.3/ ¼ ®¢­ ¼`¹
–=u =2Ï!½ Ž ýèÀG½  ûü3½Gˆ¸  ‘3‹%·#½ Ž Ú À½  ‹ Žy À  ’½
%R‰ Ž[I ˆ½ ) À‰d· ‰ Ž ¸bŠˆ Ã ILK†sÚ%‡9¾¿  ½’½ Ž ¶kU¾\½5¿‰dÀ·#½ ŒYŽyÁ
‰‘.Š’Y¶kýæ%J¾#ˆB¾ Ž ¾!Ú ‰’½5ûü  · Ž ¶ Ž[ ½Y’½ Ž ¶kˆ‰#Š‰s‹ ŒYŽy ‰‘.Š’9¶k
ý %J#¾ ˆB¾ Ž ¾RILK†sÚ%‡9¾
‚R' #"6Z:\6 #2MD%(G:#"6b&UýÂ*T= 0= 0=SILK†sÚ%‡V0";
Z
2&",&#&0*\=@&\0G:O026 LTHÜd
9&ýY*@F0(Tb
Q
"3(5-O½5‹0Š.½Cˆ½· Ž ‰s¶‘YVå UU:3!:3!:V55
"23"32F:
&#&0*\"6l5b&@KêYë.† Wá OdP
‡ XILK†sÚ%‡@:P";026L
0YO ú =
€L"p&:b*C&2Nå U & "."Y,026 &3
ILK†sÚ%‡8:b:30')
:HD9Hc
Z/;
T)=N>C:Nº1&#"M&Z:26 H#& "C-#2
B:P#6#2;D%:"6C&Z
ILK†sÚ%‡G=Urk:"O:Vº1&"I\- [@""qqB
/ T6 &:DÛt v}(x@0"7
ZKK#27"2/+:" B*C
6 GP:&#&0*\"6O&& #5-.=
®º­`® »D»Í ­¹–= v.=ÀCü½GˆG¸I½e  · ü Ž ‰s¶‘<ü‘Z‹.½Gˆ Ž[ ½C¾\½5¿‰sÀ·#½b’½ Á
Œ9 ‘ Ž ‰  ’  ’ là ¶· ¸‘3¶ Œ ‰  · ÁyŽ ‰ Œ ½  ¶ Œ À‰‘B½5‹  ¶ ŒÃ ·#½5¿‰ Ž ¸Â%  ½G‘
Ž[ ½ûü½Gˆ¸Jý¹‰’ 9Ž ˆ5½½  ‘Z‹ Ž[ ½‹ Žy À  ’½Ú ‰[’  ‘¸bŠˆ GÐ ¾
>C:@":&De5:&0*\:3!Zý`U"&R,5 :"JP5-Q
' #& "b6&:De*\:bPKZ&-"& D9#QsD9R& Db
"02T&DYQ
KS-O#\"&P#q -M&b#10=
>!&l2#2%&""D9".J&Pý!:J"gý=*@8ºL1b"2<&4G:q
:3(\')5-%*@%†d(‡@"4ý : :3Hb5
#F*@9†d(‡C"Iý = =
¼ ®¢­ ¼¹
‹)½  ‰d‹‰‘ŠW% 
Ž ‰ Œ ½9¾
./
ˆ5½G’ü· Ž ‰’CÕ
–.= ~=98C‰>½G‘  ‹  Šlûü½GˆG¸Oý  ‘Z‹  ‹  Žy À  ’½bÚÒ³
½ Ž[ ½Gˆ Ž[ ½J¾\½5¿‰sÀ·#½4’½ ŒY ‘ Ž ‰  ’;¸‰y½·‹’  Z‘ ¶‘B½ ŒÃŽ ¸
ÁS ¶ ŒÃ ·#½ Ž 9½ ¾
ÕRQy:2"5U&#&0*\Vc& D™H02&"Y&/~ a^N>=)z;D
Z5:#K
"8
Õ ;[& &0*\U
Z05CCE3G
#ND%:"6,0"8
ZN6 55028"32
' j302O#";KZ& -"& D9#/D9 =
6.
QUERY CONTAINMENT AND QUERY
€S"<:EQUIVALENCE
Y05%&C#& "C& "ºL"')9.+:j"3V1K
&@' #& "lF9K&ºL& "$&R:JD%:"6 P& ".&9:J21Q
"6 5:02<'#
= .@&"50.".-.B& "."D9"82j"02
"gD9&:& 5;K&ºL& "=`€S"o:M5I&T.&' 5D9#152<2B:bj3"R1K$8O&"15& "7&@:
5T[&D›:D%(G:"6 =Y^Ç2555& "7&@:T1K++:&0*,Q
')0P
ZG-.& "2%:F5& KZ&:FK3KZ0=N>C:"M:,KKZ0
:45D%".%&J.%#O2j3"02i"`D99&8D%:"6
&(')GT!:8' (c
+"2I& ".#"D9".J†d0.' "0‡\F2Q
j"02O\&"."D9".†d0.3L-‡@&!:&55KZ&"32#"6Y5,&
D%(G:"6 =
&D%-.N6 ')"pS*C&$.
ý :"2gý=9&(')b:OD9O5
&T"&2;'#
C*C;0-p:Oý!:Y  ¶‘ Žy ‰‘B½5‹o#"iý=M"Q
2F:5D%"L
\)+2"&02<!
ý :¶ ý =/@&JN2(
35
Ú;
134 j㠆s!
ý :
‡ ¶à1µ354 j㠆s
ý =‡G=7>C:Mj .!
ý :Y"32p
ý =O(
½5ûü‰>  ·#½G‘ Ž U&2(
58Ú;(1354 j㠆sý : ‡Rܵ1µ354 j㠆sý = ‡G=
]#2"6<0.'"I"2o& "."D9"Y&T.Y95[
[&b& K#D9W0(& "h:"c.=M>C:%"T:&D K&('#2J
:3(G#W& "l&& "."D9".,&P5D9E#
T.=
./ ¼ ®¢­ ¼¹
—=#u2
= Ͻ Ž ý :  ‘Z‹9ý = À½%ûü½Gˆ‰y½G’%¶D½Gˆ Ž[ ½Y’ Œ ½
’½ Ž ¶k  ˆG‰  À·#½G’9ÿQ¾7ý!:¶ j7l ý =$‰  ‘Z‹h¶‘3· ¸$‰ Ž[ ½M‰d‹.½G‘ Ž ‰ Ž ¸
ŒYGÃ)à ‰[‘ŠJh¶½GˆRÿþ‰’  ’½ Œ ‰ ¾\½5¿s‰ À·#½ Œ9Žy ‰‘ŠT¶k!ý=E%¾ˆ9¾ Ž ¾ý:¾
®¢­¯® »0»Í ­ƒ—= v=b½  ‰s‹‰‘ŠT‰ Rý:E¶
ý=F‰’C‰‘  ¶É;:I%  ½G‘
ý!:P‰’ J ¸  · ‰  Šˆ ÃO ‘3‹Hý=F‰’P½G‰ Ž[ ½Gˆ  j7l ‹  Š¶ˆ J ¸  · ‰  Šˆ GÐ ¾
]‘  ··!¶ Ž[ ½Gˆ  ’½G’U³V‰ Ž ‰[’F‰‘ à ¶ · ¸‘Z¶ Œ ‰  · Ž ‰ Œ ½9¾
^h:3(G#W& "J&&""D9".B&!E3G
#N.G#+/6 ')"
";:F"G,:&DI=
./ ¼ ®¢­ ¼¹
—= ~2
= Ͻ Ž ý :  ‘Z‹9ý = À½%ûü½Gˆ‰y½G’%¶D½Gˆ Ž[ ½Y’  Œ ½
’½ Ž ¶k  ˆG‰  À·#½G’B¾Jý!:¶ l ý =%‰  3‘ ‹I¶‘3· ¸O‰ Ž[ ½+¶ ··¶D%R‰‘.Š Ž %V¶
 ¶‘3‹‰ Ž ‰s¶‘’  ¶ ·‹b´
bÁ ¾EX!¶ˆb½ ) %@½  l‰‘Mý = ³ Ž[ ½Gˆ½J‰’  %@½  $‰‘Mý : ¾
þEX!¶ˆb½ ) ½  $‰[‘Oý = ³Z%  ½Gˆ½2Wܕ
ê å , È#å , ‰’ Ž[ ½Fˆ5¶0¶ Ž
¶kC
ý=eË9³ Ž[ ½8ûü½GˆG¸Fý!:  ¶‘ Žy ‰‘’8½G‰ Ž[ ½Gˆ Ž[ ½J½  YO$¶ˆ Ž[ ½
½  O Q ¶ˆT’G¶ Œ ½8·  À½·¯ O ¾
®º­`® »D»Í ­ƒ—= |=b½  ‰s‹‰‘.ŠH‰ /ý : ¶ l ý =
‰’U‰‘àY†" ý
: @( ý =
‡
€SZ*@\5&5N:\0/ V"32*@0/ @&/ý = 2#2"6T& "."D9".R0"
Z82&"F"4àY"† ý =^@& 6 ý =^ ð ý!:@&6 ý=^ ‡G=
7.
_')"%DATABASE
L*@&Y2(
5PEQUIVALENCE
Ú "2MÚPO/&(')C:D95\&& º1
à)*@P-b:3Vڙ"2YÚPOBb½5ûü‰>  ·#½G‘ Ž "32U:\5D%"
\TU[&H')5-;.5-MýY:T5P&
\QyD%:"6\&Ný¼*T= 0= 0=3Ú
\0.33&b:5G\&
\QyD%:"6C&ýþ*T= 0= 0=Ú O =RfH"32GC:
#550R†ds= =.6 #2‡V5D%".)S*C&J2(
5,(H' #"
C"324& "-4V:-4(5& D9&K:M†ds= =B:(' J:bD9J&.&
"2O:FD9T5\&R#
Z02;26 ‡G=V€S"O:T05T&:5D9Q
E3G
#b"2lE
b5D%".B:&0*C')0BL*@&;2
50"
ZT0.'".,' ";U:G-;(T"&\#5&D9&K: =
È "405& "•[&I"')16 "6o2(
5$0.' "4O:3
"`5&D9I05M%%D9&;G9".%&7'3(4.%&(')
2(
5N:3N:(' ,F5#"Y[&D¼:3"Y&(')V2(
5N:3
:30');<2AB".Y&DI=i&9GD9K N*CM5:&0*C02g:3(99
D9&TG9".H&' 3J.G#P&(')GFb5b2
35T:"
&(')P26P2(
5 =R>C:(!D9KZ&5"./&\
Z@
N&\:3(5Q
GW%0.' "&\2
5N"32l&I
Z9
Y&;5"1Q
&D 2
35&R86 ')"O&D›†d = 6=26)‡N&Y"M' #"
2(
5T:3(\:3PY2AB".,&D †d= 6=5(‡G=
…+G4Ú "32?P
Ú O8
Z$S*C&i2
35;:3(I:(' l:<D9<5G
&J&
ºL4"32`:lD9l&.&0=Çr7l0-i:3(4hK3(: Å Ü
8 : : = = @?@B@< C C &VÚ;3*\:_
8 P:F&.&0B8‰‘  · ü‹.½5‹I"
K: Å O/&NP
Ú O+!:FPKZDb(#&Ò
" [$&CuBá N9NBNká KR5:
:3( Å O+:3\:&`
D 8 ]`^ :a_ ]`^ :a_ ]^ =7_ ]`^ =7_ @?@B@ ]`^ C0_ ]`^ C0_ =
rh\-:N:\CY’½
C&J')5-$K3(: Å "pÚ
K3(: Å O!"4P
Ú Os5:;:3(
Œ ‰ ¾\½5¿‰sÀ·#½ ͎[ ‰‘  · ü’‰d¶‘O&+ÚÇ"%Ú O
:815J(J:&.&0+:#J
Å O+"32 Å =
.3/ ¼ ®¢­ ¼`¹
˜=u = Y ¶‘’‰s‹.½Gˆ Ž %V¶`‹ Žy À  ’½G’4Ú  ‘3‹7ÚPOM¶D½Gˆ
Ž[ ½Y’ Œ ½Y’½ Ž ¶k9¶)ÀÉ0½ Ž ’  ‘Z‹%R‰ Ž[$Ž[ ½Y’ Œ ½Yˆ5¶0¶ Ž ¾%Ú  ‘Z‹%ÚPO
 ˆ5½M½5ûü‰>  ·#½G‘ Ž ü‘Z‹.½Gˆ Ž[ ½9’½ Œ ‰ ¾\½5¿‰sÀ·#½9’½ ŒY ‘ Ž ‰  ’‰  ‘3‹$¶‘3· ¸
‰ ÈkÁ<Ë Ž[ ½Gˆ5½9‰[’  ’½ Œ ‰ ¾\½5¿‰sÀ·#½ ͎[ ‰[‘  · ü’‰s¶‘p¶fFÚ ‰‘IÚ O  ‘Z‹
0‰  ½ Á ½GˆG’  ³  ‘Z‹È;Ã9ËY½   ’ Ž ˆ1¶‘Š · ¸  ¶‘‘B½ Ž ½5‹  ¶ ŒHà ¶‘B½G‘ Ž ‰‘YÚ
‰’  ’ Ž ˆ5¶‘Š · ¸  ¶‘‘Z½ Ž ½5‹  ¶ ŒHà ¶‘B½G‘ Ž ‰‘MÚPO  ‘3‹0‰  ½ Á ½GˆG’  ¾
.@& "2& "b†1u0‡\"32$†yv ‡C&:8
Z&('):&DƒT55".#0.'".&\:V& "2& "b:+:@#2".S-8D%KK"68†d&:
& º1V&/Úþ&:,&
ºLN&BÚPO‡UNF5D9E3G
#@D%:"6=
>C:G& 3*CT6\:[& &0*\#"6%&&##(5-.=
®º­`® »D»Í ­¹˜= v.=b½  ‰s‹‰‘.Šh½5ûü‰>  ·#½G‘
‹.½Gˆ Ž[ ½9’½ Œ ‰ ¾\½5¿‰sÀ·#½’½ ŒY ‘ Ž ‰  ’<³\‰’J‰‘ à ¶
‹ Žy À  ’½G’  5ˆ ½b‹  Š’  ‘Z‹Y‰’H‰‘%& Õe‰ Ž[
 ·#½G?’ ¾
½ ¶kO‹ Žy À  ’½G’U³Jü‘ Á
I
· ¸‘3¶ Œ ‰  · Ž ‰ Œ ½‰ Ž[ ½
½J‹ Žy À  ’½G’  ½  ¸ Á
&P:E3G
#T5D%".*@T:30'):&#&0*\"69:&DI=
¥Q¦[Ÿ3±¡žc©0¯U² óÑñÓÏWadí(Ñ5ò9Ò#ÓÔAbTñ.ÐSñSc ñÏGï ó3íóÑGïï)†sÚ%‡d
eG4
¦ U !_
© f_gh(ijilkmglhYfAnVoqpYrshmt3fAuAv iwAfxgWfAufoWiÚ d
y !
© U !5
© f_glh(ijiLwAfVgfsufVoWi3z{gl|fVg;} oHij~?} €fAv i-nxggrځAnwAi-hXg|ioWitL} ‚?i"ƒ^}„uAv ioWitfAnxg0} …ojd
v ilg‡†ˆuig|iB‰fxg|9|xŠA‰i-h7‹Sh(fA‰A|_r-pNÚ d
v ilg‡Œp{
Ü JÚI† †O
‡ u^igl|iŽ+f-…|AtfAn5w} fV‹Sh(fAt‘rp†1d
(8
¢8
v ilgH’ uig|iBv ifoqg3nVrswAir-pZŒ”“•’ 5} og|i_}„nxgi-h7oWij…lg"} rSnr-pfAv v?nVrswAioHrpZŒ‡–d
8
“q—PuŠB…-|Vr-o0}„nV‹’
›œ
뒢8 ú
d
grCu^igl|iBh7rAr-gj˜SŒ™…jfAn9ui€} ilšijw9fVo;f5glhYii5—-–
(8
©8
Få ã
…hYifVgi3pqh7rSt‘g|iruWžŸij…lgqoNrp’ LfC‰fxg|_ šH} g|
šN|}„v i
›
} o3nVr-gHit5‰xgmŠ
ß
›
h(i-tNr-€iLorSt3iPnVrswAiL’ _p•h(rt
f-wAwgqr
¢F
›
fsv vg|i…-|}=v w?h(i-nrp
ß
›
ß
d
}„n_ŒNd
v ilgH’ Hu^iNg|iB‰fh(i-nxg‡r-p’ P}„nLŒNd
…-h(ijfxgWiLf_o0}„t_‰Av iB‰fxg|5 (F
ß
pqh7rSt”g|iruWžŸij…lgqoHr-p’
ß
RږHfogl|i3¡Xh(o•gnVrswAid
“gl|iBh7rAr-g;rp
F
ß
g|fxg‡fhYinVrgN}„nB’
Fd
(F
“q—B¢R}=n…jiL’ ‡} og|iB‰fh(i-nxg‡r-p’ ˜fC‰fxg|5 ;|fVoHfAv h(ijf-wŠ9uiji-nB…-h(ijfxgWiwp#rAh’ —–
©F
ß
f-wAw9fAn5ijw^‹ipqh7rSt‘g|iBv fVoqg3nVrswAir-p ZgrBg|i3¡Xh7oqgnVrswAirp d
v ilgz2uig|iwAfxgWfAufVoWi3g|fxg‡šfVo‰h7rsw?…jiwC}„nLg|iB‰-h(il€} rSVo‡oqgWi-‰Vod
8Ú
v fsui-vz2ulŠ5fVg•gWf…-|}„nV‹_gr9ijf…-|5ijw^‹ig|iBv fsui-v^gl|fVg‡…rAhmhYilo‰rnw^oHgrC} gqo‡gWfh7‹ilg3}„n
d
h(ilglAhmnLzBd
£¤ ¥S¦S§m¨©Rª«§Ÿ¨-¬­0¤=®A¥¯¬­l§Ÿ¨¨°s¬­"¬s±A¬^²0¨
./ ¼ ®¢­ ¼¹
˜.= ~= Y ¶‘’‰s‹)½Gˆ Ž %V¶•‹ Žy À  ’½G’IÚ  ‘Z‹<Ú O ¶D½Gˆ
Ž[ ½M’ Œ ½%’½ Ž ¶kO¶)ÀÉ(½ Ž ’bà  ‘Z‹Å%R‰ Ž[hŽ[ ½O’ Œ ½Oˆ5¶0¶ Ž ¾$Ú  ‘3‹
ÚPO  ˆ½½5ûü‰>  ·#½G‘ Ž ü‘Z‹)½Gˆ Ž[ ½V¾\½5¿‰sÀ·#½T’½ Œ9 ‘ Ž ‰  ’F‰  ‘3‹M¶‘3· ¸Y‰ Ž[ ½G‰ˆFˆ½ ) À‰d· ‰ Ž ¸JŠˆ GÐ ’  ˆ½F‰’G¶ Œ ¶ˆ Ð ‰  ³U‰T¾½9¾i³  ½ Ž[ ½F’ Œ ½
’½ Ž f¶ 8·  ÀG½·#½5‹M½5‹0Š.½G?’ ¾
€y99"&9"55-p&<5& ')M:;6"\05I&F6K:o5&Q
D9&K:#5D™"%&2G@&J2c2H' #"P&!2(
35C"32G
:FE3
85D%"=V€L"10 2B3PH59".H&G:Gq%:3(
:lc2".L-iD%KK"6hI"k5& D9&K:5DI=¼>C:F2#2"6
*\::GFL*@&I2(
58ڛ"3=2$Ú O (Y0.'= ".F"32:
E
T5D%".,P#";àY"† 1
Ú #&
6 1
Ú ð P
Ú O & 6 P
Ú O ‡G=
7.1
È ";KRemoving
K#0(& "`&F2Redundancies
35;0.' "O:%D9&('C&
ˆ5½5‹ü‘Z‹  ‘ ŽFÍ ˆ Ž ’I[&Dß2(
35=m^èK5%&872
54
2"2"@+D9&('"68C[&DÖ:H2(
5F:C"&bAB,& "
:F5P&U5-O'3(#&"+=
&,D9K .6#' "OJ2
35Ú;*CP0-9:@"O0263:<Y0=
"Úþ#,ˆ5½‹ü‘3‹  ‘ Ž *T= 0= 0=:@5D9E3
@5D%".UBÚþ:3R
K:b&Z:V&D¸: (b=@:3(N2&.R"&R"2C:@026H:<Y0==
€ybp2"2"O026 $MD9&(')02B,:45;Ig2(
35
:PH' #",&b:T&6#"+& "8"32G,:F5D9E#
5D%".=
7.2
Equivalence
€S"p 22Testing
& "h&;for
1#"6l
2(
35M' to
#a"Tree
!b5&lKZ& 1Q
5
#4&75"1[&D h2(
5$Ú &g<5 \K&'#22o:3(
Ú %"3202g0.' ".Y&75&D9M542
35=•Õ&;:3(
"32T:95D9E#
95D%".UM-#O2
5%0""&
ZM0.'".b&<I5I2
35=p»&0*C')0R:;M26
2
35:3((b' #"\&95J2(
5=Pf"2\:
E
V5D%".')"8\-C2(
5N& c28
ZN0.' ".
&Yb582(
5 =
z´³ §ŸµS¶`¬¯°s¬­"¬s±A¬^²0¨
Ú¯·
>+"1&D9"69Y2
35T&9";0.#'".,5T\D9KZ&5"
&J5')R5& "=%10'& "<&\.G#T#TD9&cQ
j3#"*\:"g:;2
35I%$5 CY*C95:&0*\"i00=
a& "2-.N#"il6K:0P5Y".5 @K5""6$5Y
05#GH:";K5"."626=V>C:2-.1&"6%2bPY2&.GQ
D9"P†d = 6=#"%„TzI…!‡RC5C*\:"Y:P2(T#@F5 5"
[""32Oc2".j3\"02M"&P
ZF52/=
_')"i72
5lÚ;V*CI-p:3(OÚ Ž ˆ½½ Ž ˆ  ‘’ ¶ˆ ŒY À·#½
"2@:F5D%".#N\T:G1PJ582
35z?:3
@0.#'".R&Jڙ"32R:\5D%".‡
\ =U€L"Y:#N5&"+.*C
:3W;5M5"1&D%
;2
359"2b:O5D9Q
E3G
#Y"32l:JE3
Y5D%".#U"2<6#' 96 &:D9T&
:H5"1[&D%(#&"=
rhH*\#+15,*\:;5"1&D%& ";&b5F"32C:5D9Q
E3G
#J5D%"=F_')"$O2
35Úè::3H"&902"Q
2".026 B:8[& &0*\#"6I("55-I& "2& "H&FÚ¹&
ZF55"1[&D%
J"32,:F5D9E
F5D%"=
>C:Yj1J"55-<& "2& "h8:3JÚ 2&.b"&J"29
" &24:3M:3M"& D9"6p26 M*\:?2AB".O#
Z=Ç>C:
05& ";[&\:,&"32& ";#C:\"I8582(
5F&"-O& "
026 9".T0G:<"&2I†dKT&8:&.&T:8:38"&;"Q
&D9#"6<26 0‡Y"32p:Y26 ;:& #2Y-g&"I#
Zs=`>C:
5&"32;"5(5-I&"32&"IP:HÚ #HG-# =@>C:T05& "
&\:F5& "32O& "2& "M#,:,"IJj3"P5T/K3(:\
j3" U*\:;IG-#O6K:p&""b"p"j"%K3:/=l>C:
:2I"5(5-4& "2& "4H:P:8"Db
Z\&NK3(:P"lÚ
F"&T6T:"4:b"D
ZP&C"&2F"<Ú;=8”HU:3
"%5 ):\"D
ZR&/K3: c& D :,&.&N&JF#L"')
2,:F"D
Z,&U"&2=
€L"9&2V&8:30')\& "2& "V:3(,(H
Z&:9"55-%"3295cQ
j3#"0*@F"2M22& "+2j"& "=V_#' ";b2(
358Ú;
: ͎[; ¸ à ½GˆsŠˆ GÐ &NڃP:T:.-KZG6K:¯†ƒ:3(H:\:
D9"&2\\ڃ"2O:\\:.-KZ026 ,+5,&U"&2N
’@
{o 0 o 5}
{ o 0 o 1 o 4 o 5}
o0
o0
l5
l1
l6
o1
l2
{ o 0 o 1 o 2 o 4 o 5}
l3
o3
o2
l4
{o 0 o 1 o 3 o 4 o 5}
o1
l4
o6
l2
l4
o4
l1
{o 0 o 5 o 6}
o2
l5
o4
o5
l6
o6
l3
o3
l5
o5
(1) A given database D.
(2) The Bacman diagram of D.
(3) The equivalent tree database.
\ž[Ÿ3 !¡(¢1¹!¤JØC¡(¬3¦¨°y±3¡²<¬©ž[±Z¦`©±7¬7©¡(¢¢l ¦«!¢¡%©0¯!¢$¨¢²7ž§¢¨+ž[­Z¦c¢l¨¢²$¬3¦B©0ž³)¨ µ
5G:I:
’iH:J5G&C#!"&2& "45&D98K3:4&VÚ¹[&D
:O&.&9&$$0(L=o…+Gº•
ZM:M5b:3(9& ".#"9C:
:.-KZ026 H&
† "24U:8"&"D9KL-M"G5& "F&NL*@&
&D9&F:.-KZ026\&Z
†I=@>C:B
» )Œ9 ‘h‹‰  Šˆ Œ &
†I32Q
"&0B
2 bÚI† †O‡G :@[& &(*\"6J6K:+=U&R0G:Y#D9".U&& ºN
:\@F"&2,
" bÚI† †O‡G=U>C:\C"Y026\
ZL*@"%â : "32
2â =¼
" JÚI† †O‡F8†1u0‡F
â :¶ $
â =(U"2i†yv‡F:Y8"&I#D9".
â O ¼
" ºN/5G:$:3Tâ : ¶¼â O ¶¼â = "2<â O b2AB".F[&D
Z&:Y
â :N"22
â ==!r7C-b:
JÚI† †O‡UR-#\ZR&""
"&I-4†sJ"7"22<6K:3‡G=O^Ö2555& "p&,-
œ@:D%"<2#6D98"324:T6Y"$::3W0(#&"
&‡
½3QS-#J:.-KZ6K:HF6 ')"l"otu—xs=8€L"gt v ˜0xs!œ@:D%"
2#6D9P8502%&Y:3WT!2#ºL"& "=
./ ¼ ®¢­ ¼¹
˜.= |2
= Ͻ Ž Ú ÀG½  ‹ Žy À  ’½W%R‰ Ž[ ‘Z¶gˆ½5‹ü‘Z‹  ‘ Ž
½5‹0Š.½G’  ‘Z‹Å%R‰ Ž[<Ž[ ½ ͎[7 ¸ à ½GˆsŠˆ GÐ †Å¾S¿  ½M‹ Žy À  ’½YÚ߉’
Ž ˆ5½½ Ž ˆ  ‘’¶ˆ Œ9 À·#½4ü‘Z‹)½Gˆ Ž[ ½;’½ Œ ‰ ¾\½5¿‰sÀ·#½;’½ Œ9 ‘ Ž ‰  ’M‰  ‘3‹
¶‘3· ¸Y‰ Ž[ ½Ì¶ ·[·¶D%R‰‘Š Ž[ ˆ5½½  ¶‘Z‹‰ Ž ‰d¶‘’  ¶ ·‹5¾ÈfÁeËTÚ ‰’ ) ¸  · ‰  “
È;Ã9Ë¿  ½Gˆ½$‰’;‘Z¶p‘Z¶0‹.½4‰‘iÚ Ž[ŽJ ’ Ž %V¶i‹‰ ¾½Gˆ5½G‘ Ž ‰[‘  ¶ ŒYÁ
‰[‘Š;·  À½· ’“  ‘Z'
‹ ÈTÊBËBbÚI† †Oe‡ ³ Ž[ ½» )Œ9 ‘p‹‰  Šˆ Œ ¶f†³,‰’
  ¸  · ‰  ¾b½  ‰s‹‰‘.Š‰ Cڛ‰’ Ž ˆ½½ Ž ˆ  ‘’ ¶ˆ ŒY À·#½Tü‘3‹.½Gˆ Ž[ ½F’½ Œ ‰ Á
¾\½5¿‰dÀ·#½F’½ ŒY ‘ Ž ‰  ’H‰’\‰‘ à ¶ · ¸‘3¶ Œ ‰  ·3ˆGü‘ Ž ‰ Œ ½‰‘ Ž[ ½’„‰ 6½T¶k@ÚO¾
6<~h6 ');hKZ& -"& D9#QsD9l6&:Dß:3(I3#5"1[&D9JI6 ')"72(
35OÚ &IM5 UK&('#202$:JÚ
P5T5"1[&D%
=P>C:J#6&:D¹15P
.-;G0"69:
K:O:.-KZG6K
: †š&Ú;=RÕ&P:3(C";T5P5"1[&D%
2
35!:"D
Z&@K3:F[&D›:b&.&8&M:b00')
""&!02+:N"Db
ZB&"&2"32:0:N5#W@&:
K:I:.-KZ6K:OHKZ&-"& D9#B";:F5W8&:T2(
35 =
>C:,5&"32b1K&:,6 &:D¼#U:C0(#&"&3:,œ@:Q
D ";2#6D`ŒgÜ¿bÚI††O‡G=V>C:#\0";
ZT2& "F";KZ& -"&D9#
%
D9F"%:F5WT&À†I=N”P0B:3(C:F"&2,&ZŒiT5,&
&
ºL,&!:H2(
5FÚ;=V>C:".5& "O&3:H"&2
&;
Œþ*C-J&""8:&.&&PÚ;=;>C:!:G9#b7·#½  ’ Ž
‘3¶0‹.½O&H
Œe:8b& "."27"pV:Y&:J"&2=;€S"<:
6 &:DI*@F'¿
* Œo\T5H*\:& 5&.&\@:H#1,"&2 =
>C:h6 &:DÝ0(lo572(
35¼z .-?'#5"6o:
"&29&ŒÖ"•<&KZ& & 60H&2G0,15"6<*\:i:I01
"&2 =9€S"#-.Á z 8D9KS-.=b&80G:<'#502$"&29â &HŒ\
:86 &:Dè22\P
& z?:T& º1P&Nµ
â Þpâ O *\:Jâ O :PK3(".,&!âY=N>C:P"*\-O222%&
ºL\(&""02%
"G*þ026 P&%[&D %5D9K#8K:+=H>C:b&2&R:8& º1
&"6I:TK:78"&8D9KZ&5".0+KT&8:&.&J&,Ú
:3(9D1Y
Z;:Mj19& º1G%& "i:;K:o02o&9:
01"&2T&
ŒP=C>C:3:4"&2Jâ &
ΥH55&.#24*\:
5& D9TK:I¯
" z83"32O:3PK:;:Hj1P& º1F"32IY#1
& º10=V^•"*k26 P,5&b 2202Y[&D™:H#1,& º1G,&/:
K3(".\&Nâþ&:j1P& º1P&NâY=
>C:9j"3V1Kp&,:%6 &:D 8&4#
Z@:9026J&;z8=
‚N:<026 YF#
Z02$*\:l:"#.8#
ZN55&.#02<*\:
:H& º1G,:3CC".Æ:3C#U"M026 H".,"M& º1G
Z:"I"4:8&#6"3N2
5bÚ;/!:J26 :3(".
JHc
Z02O*\:%:PD9P#
Z¢
S"3Q
2 +,5&J:Pc
ZB&
:T5"6 b26 T:H".H&
ºL3
Y"I:F5J2
5_
z8=
Õ&P:V:\&.&,:@"&8#"& D9"6J26 C
" z8=U€y@C1-Y&
5F:\:G"2M6K:I\"3202;J5 =
rhO"&0*ƒ&"5#2GY5"1&D%(& "g&745;"32:ME3GQ
O5D%".=7^š"55-p&"32&"g[&Y:%#1"O&
95"1[&D%(#&"7"32G:8E3G
#J5D%"#FF&#&0*\=
>C:P2
5P5:&#2Y"&V:0')PF"&2;
.5::NL*C&T26 *\:42AB"Cc
ZH"G;
=@z;&&' 0:F5:& #2O"&P
Z
".-O026 F:3(P".C:&.&0=
ÕG0/*C96')95& D9922&"3@2j"& "=O>C:  ü Š Œ ½G‘ Ž ½5‹
ˆ½ ) À‰d· ‰ Ž ¸bŠˆ GÐ &R2
35TÚ #C:0G:
L-O6K:
&VÚ¹6 D9".02%*\:l"4"c
Z02I026 T[&Dè0G:4"&2F&
:O&.&0=•^H"o026I
ZL*@"gL*@&7"&2C"o:I6D9".02
0G:
L-m6K:/TE3GI:h1"h&9iK3(:Â"eÚ
ZS*C"o:5;"&2=?a"I0G:i"&2M"i:;2(
354
0G:
8[&Dƒ:T&.&03:TF"426 8";:b6D9".02
0G:
L-M6K:;c& Dƒ0:;"&2F&:&.&0=
>C: Œ9 ¿‰ Œ9 · ÁS · ‰sûü½  ¸ à ½GˆsŠˆ Ã &\2
35CÚÂ/:N:-KZ5Q
6K::N:3N:,D9,"&2NVڙ"32b:3.N:-KZ26 o0
{ o 0 o 1 o 2 o 3}
o0
l1
l1
o1
o1
l4
o2
{ o 0 o 1 o 2 o 3 o 4}
l1
l2
l3
o3
{o 0 o 1 o 2 o 3 o 5}
l2
o2
l5
o4
l3
l4
o5
o3
o4
(1) A given database D.
(2) The Bacman diagram.
l5
o5
(3) The equivalent tree database.
\ž[ŸZ +¡¢
Â/¤TØC¡¬¦¨°y±3¡²<¬©0žc±Z¦•©±h¬<©¡(¢¢l !¦«!¢¡%©0¯!¢§U¢¨+ž[­Z¦[¢$¨¢²<¬3¦B©0ž³ ¨ µ
:D%(D%3#,"O:F6 D9"29:3
#S-M6K:M&
Ú;=NÕH&:,"Ib22O6K:/3J#Pb5\&"&2
5G:$:3(8')5-4S*C&I"&28(9& ""2<
.-l0268"7
Z&:
2& "=C^mc.T#\D%(D%/UP\"&P&"."02M#";".&:P#. =
./ ¼ ®¢­ ¼¹
˜.= –.= Y ¶‘’‰s‹)½Gˆ  ‹ Žy À  ’½IÚO¾*Ï!½ ŽYŽ[ ½  ¸ à ½Gˆ Á
Š ˆ GÐ † ÀG½ Ž[ ½ Œ9 ¿‰ Œ9 · ÁS · ‰sûü½  ¸ à ½GˆsŠˆ GÐmŽ[Ž ‰’  ˆ½ Ž ½5‹
ˆ5¶ Œ›Ž[ ½  ü Š Œ ½G‘ Ž ½5‹lˆ5½   À‰d· ‰ Ž ¸%Šˆ GÐ ¶kTÚO¾W¿  ½%‹ Žy À  ’½
Úۉ’ Ž ˆ½½ Ž ˆ  ‘’¶ˆ ŒY À·#½%ü‘Z‹)½Gˆ Ž[ ½\¾\½5¿‰sÀ·#½9’½ ŒY ‘ Ž ‰  ’b‰  ‘3‹
¶‘3· ¸;‰ Ž[ ½+¶ ·[·¶D%R‰‘Š Ž[ ˆ5½½  ¶‘3‹‰ Ž ‰s¶‘’  ¶ ·‹5¾OÈfÁeËÅ¿  ½Gˆ5½Y‰[’b‘3¶
½5‹0Š.½9‰‘$Ú Ž[Ž ½G‘ Ž ½GˆG’ Ž[ ½9ˆ5¶0¶ Ž “ÈTÃBËW¿  ½Gˆ½9‰’‘3¶I‘Z¶0‹.½9‰‘lÚ
Ž[Ž/ ’ Ž %V¶8‹‰ ¾H½Gˆ½G‘ Ž ‰‘  ¶ Œ ‰‘.ŠT·  ÀG½· ’“  ‘Z‹ÈTÊBË!¿  ½» )Œ9 ‘
‹‰  Šˆ Œ JÚI† †O‡bf¶ ;† ‰’ ) ¸  · ‰  ¾
_')"i:3(O72
5lÚ Y5I5"1&D%
#;"32Y:
E
%5D%".R:%0(& "g&\:%0.#'".J59zš
:HD9PC"Y:P05H&+:P5D9E
H5D%"..K
[&%:M& &0*\"6=m€S"o:I6&:Dß&H:;5"1[&D%&"
†s69~ ‡G/:b:.-KZ6KF
: † :TF502l#H:JD%D%Q
##.\:.-KZ6K:Y&Z:P6 D9".0280:3
L-Y6K:9&/Ú
†d"10 2I&U:FK:I:.-KZ6K:M&NÚ%‡G=,>C:T0(#&"4&U:
D%(#D%QS##.N:.-KZ6K:8"&U"JKZ&-"& D9#)D9 =>C:
:T5"1[&D%(#&"4&%5b"32\:FE3G
#85D%".#H
"&P";KZ&-"& D9#B".D9 =
^P"?D9K$&g5"1[&D%&"Â42K02k"m6 h–=
ÕH&O:3Y6 I–$2&.Y"&Y5:&0*š:M6 D9".02h0G:Q
#S-76K:7&C:%2
35%Ú;=M»H&0*C')G0J#801-<&;5
:T:%6D9".0240:3
S-76K:7&""TL*@&ID%Q
D%Bc.= È "F#.T,:F5GTxë 08 á :0Wá 0="á @ "á > ú "2O:
&:8##.#F:5xë 8 "á : Wá = Wá Wá Ã ú =9>C:5Y#.8(
:00')@&!:FœCG:D%"O2#6DÇ@ :3C#@02%c& DÖ:
D%(#D%QS##.;:-KZ6K:`&:l6 D9".02p0G:
L6K:+=
8.
>C:V5CONCLUSIONS
D9E
N"32FE#
N5D%".+C01-8"2F"Q
#' .G5-"6T&+5D9150292(=Nz;0""6+.
"`
ZO&D#(02o')"g*\:"o:;599& #'& 9&$:
15N2#8&V:2M"2$T& "-$D9#T*\:<:
&".& & 6-.=Cz;&&(')0.@H#"5"5')P&b&D9D9& "9'Q
(& "V":,5:D%V&B5D%".0#-5#D9#@2(F"1"=
&@
Z&:Y5D%"..5-J' 3&"%"32b& KD9W0(#&"9:30')
d0')&
#<& D9K=š>+<.I"?
Z<' #02k"
KZ& -"&D9#UD9b"<:5WY&@:Y.5-.Z:Y2;"324:
50=R€S"9:P05F&+:H5D9E
H5D%".')"%'Q
&"I&R269.,:3C:FD9F& D9KS-%K&('#202%:3
:%2
359J;5 =M‚N.' "&P.8J2c2
#
"9KZ& -"&D9cD9 .KR&C:\05H&+5D9E
\-#
.Æ"M:#\05 :T\";KZ& ""#QsD9F6 &:D
&H1#"6Y0.'" =
^ƒ"&('),;&:;"*ƒ5D%".9Y:MKZ& 55
L-i&
5"1&D9#"6p76#' "•2
5$Ú &p<5l2
35I:3
b' #"T&lÚ;=;&b:Y5D9E3
95D%".#1"6
*\:G:lÚn#;0.' ".;&ip5h2(
5p"32?5"1&D9#"6$Ú &lI5O2(
35<†d\:91bKZ&5')0‡
Z&:7KZ&-"& D9#d=9a"YT0"7
Z' #02$D9&
9#"-M&('),582
5:,5PP&RK0+#DYQ
KZ&5"=
z;&T5:4#P"0202M#";&2GH&92D9"H*\:G:4&U:
L*@&Y5D%",,D9&TKK& K#F";& D9D9& "MKK0&"=
^`5& "32Y".1"6J5
ºLN&@C5:ON"32"6
:P5D9E3G
#H"2YE3
P5D%".V&J:3"32#P"&D9K
"[&D%&"+Z,*,P2& "T"htuwx![&\:H#6#2I5D%".=
9.tuGxbaBREFERENCES
=^H
Z&d=X5-"6b5D9Qy1502;2=€L"
]‘ Ž ½Gˆ‘ Ž ‰s¶‘  · Y ¶9
‘ 0½Gˆ5½G‘  ½¶¯
‘ Žy À  ’Ò
½ ¿  ½5¶ˆ¸')& D9
u u0}—Y&Ì
Ͻ Ž üˆ
½ É8¶ Ž ½G’T‰[‘ Y ¶ ŒÃ ü Ž ½G
ˆ V  ‰s½G‘  ½G3K6 eu é3u}]FK:V†y_H(‡G? Ä)"/=!u0ww)˜.=BaK"6 G5•Q ÅN#6=
t v0xbaB=^H
Z&dS =3œ@"D%"+"2M]=3a+&= Žy ¶‘ Ž[ ½
Ñ4½À=3z;&6 1
" Æ8D%""+v  =
t ~(xbaB=^H
Z&d]=3X35? Ä=Zz;»6 :+S Ä=rk#2&DI"32
Ä=r•#"0=3>C:T…/&!5-%#"6 36 T&
5D91502;2R= ]‘ Ž ½Gˆ‘ Ž ‰s¶‘  À· ǶüˆG‘  ·¶1
‘ F‰#Š‰ Žy ·
ÏR‰sÀˆ  ˆG‰s½G’+u)†1u0‡Gê —} é.} }Uuw w ˜=
t |xbaB=^H
Z&/"È
2 ÅJ?= ÅHc"+=”H6 #(HK:;,*\:
& "15".=3€L" :,ˆ1¶  ¾ÌÁÉ Ž[ V¸ ŒHà ¶’‰ü Œ ¶¯
‘ :,ˆ‰‘  ‰ à ·#½G’Tk¶ Žy À  ’
½ V¸’ Ž ½ Œ ’3K36Tu(v9v é3u~ ~/>!5&"h†s^PW&"3
fTa^‡GzI0-luw w)˜.=B)
^ .,ˆ
z R5=
t –05
x U=^CW"s_b=3z;0B"¯
2 =3z;##2&=Z>!&*@00')F:
rk
+=€L" :,ˆ1¶  ¾ZÃbÊ ‘Z
‹ ]‘ Ž ½Gˆ‘ Ž ‰d¶‘  · Y ¶9‘ ½Gˆ½G‘  ½¶”
‘ ʽGˆ¸
Ï  ˆdŠ.L½ Žy »  ’½G’K36v —9év.u(–/^C:"F†y_H(‡G
^H6=/u0ww)˜=Zz;&6 "1Æ8D%"" R
#5:=
t —(x5Ë=3œC(5Qm[@&55LS[=SÆ8"W[=ÆT& 6 "+rþ=Õ50"32
[=3a6 'Z=ZX5-"65D%".0-M6 602I2&.D9".,& "
:H*C&#2Qy*\#28*@
+=€L" :,ˆ1¶  ¾+Ì Ž[ ]‘ Ž ½GˆG‘ Ž ‰s¶‘  ·
Ñ;¶ˆ & ’  ¶ à ¶
‘ É8½5¿ Ž 8P½G‘Z½Gˆ Ž ‰s¶Í
‘ ]9‘ ¶ˆ ŒYŽ ‰s¶‘
¿B½  ‘3¶ ·¶Š‰y½G’  ‘3
‹ V¸’ Ž ½ Œ ’+ ËZG:& C
" [Cq)&('l†d€L1c‡G
Ä -$u0ww w=BaK"6 G5•
Q ÅN#6=
t ˜0x.H=Zœ@+^J=_KœH=3…+32:0”8=ZzI(#"&
[?
= UKq)&"1""& +"¯
2 S= Å@#q:&('Z=„D9Qy
35
"[&D%&"ID902#(#&";*\:ID9B=€L
" Vs]8Î Í MV¸’ Ž ½ Œ
b½ Œ ¶‘’ Ž ˆ Ž ‰s¶‘u0ww w=
t }(x8>=ZœN0-.SÄ=&U&#d
.H=Bz<=3aKZ
Z6QLz;(X"+"2
‚,=ZzI#G0Z02&J
= ¿  c
½ ÑI¶ˆ·W
‹ ÑO‰s‹.O
½ ÑI½À Y ¶‘’G¶ˆ Ž ‰ü Œ
ÈÑÒÊ Y Ë+Ï N’ ÐÎÏI%C½À Í Š.½G?= Ñ^Ò^ÒÓÔÕÕÖ^Ö^Ö×mÖsØsÙ4×ÚÛ^ÜsÕ-ÝÞß3
u0ww }=
t w(x_=3œV"D%"+=aD91502M2=€S"1:Cˆ5¶  ¾RÁ^É Ž[
V¸ ŒÃ ¶’‰[ü Œ ¶¯
‘ :CˆG‰[‘  ‰ à ·#½G’Fk¶ Žy À  ’
½ V¸’ Ž ½ Œ ’3K36
u u09˜ éu(vu/>!5& "h†s^\#W& "3fFa^‡G3zI-lu0ww)˜.=B^).,z
U5=
tux5=3œV"D%"+aZ=]F('#25&"+3z<=3"3"32W 3"32
]=3a+=^22"6b15&Y"1502O2=3€S"
]‘ Ž ½Gˆ‘ Ž ‰s¶‘  · Y ¶9
‘ ½Gˆ½G‘  ½¶1
‘ Žy À  ’
½ ¿  ½5¶ˆ¸3K36 ~ ~— é.~)–B]FK:R†y_H(‡G& Ä)"/=+uw w ˜=/aK"65ŸQ ÅV#6=
tuux5=3œV"D%"+aZ=]F('#25&"+3_b=»H#
"2/"32
]=3a+=^e.G5-M#"6 6b"32O& KD9W0(#&"
:"c.C&"15G02O2(=€L1
" :Cˆ5¶  ¾RÁà^à^ɽ Y Î
V]8Î Í ¸]‘ Ž ½Gˆ‘ Ž ‰s¶‘  · Y ¶9‘ ½Gˆ½G‘  ½¶1
‘ Î  ‘  Š.½ Œ ½G‘ Ž ¶k
Žy 3K6 –)B
– é–u—+z;&"5@T† .C"32)‡G? Ä "Yu0ww — =
tu0v(x5=3œV"D%"+rþ=3"+"24aB=rh#"1"+=?U:
&"15".P#"M5D91502;"32O1502
2(
5=€L1
" :Cˆ5¶  ¾RÁAá Ž[ V¸ ŒÃ ¶’‰ü Œ ¶È
‘ :CˆG‰[‘  ‰ à ·#½G’T¶k
Žy À  ’
½ V¸’ Ž ½ Œ ’3K36 8u(vw éu0~ }/a5
†rp5:"6& "/fFa^F‡GS Ä "uw w}=B)
^ .,ˆ
z R5=
tu~xbaB= .@:3*C:ZaZ=3^P
Z& d3"32¯Ä=rk#2& DI=
”PK5""69"2;.5-"6bG:"6 \"I5D915G02
2(=€L" :,ˆ1¶  ¾ÌÁÌ Ž[ ]‘ Ž ½Gˆ‘ Ž ‰s¶‘  · Y ¶‘9½Gˆ½G‘  ½¶‘¯ Žy
âC‘Š‰‘Z½½Gˆ‰‘.Š3K36 P
| éu0~ È #"2&I†s&#23fFa^‡G
/=+uw w}=3€L‚V‚Nd
‚ .@&D9KHa&.S-.=
tu|x8€G= .VW3^8=Zz;"2W&"+"2¯=r7&.&2/=^Â6K:0
.5-O#"6 6 85KKZ&5"6b5& "+=€L" :,ˆ1¶  ¾ÌÁà-ã0Ã
]‘ Ž ½Gˆ‘ Ž ‰s¶‘  · Y ¶‘9½Gˆ½G‘  ½¶‘1Î  ‘  Š.½ Œ ½G‘ Ž ¶f Žy K36 H~)v~ é.~ ~  È #"2&I†s&#23fFa^‡G? Ä"bu0w } v=
tu0–(xJ^J=]F5G:/z<=3G"3"2W]=&5+3^J=…+'d3"32
]=3a+=^e.G5-M#"6 68[&\D9d=€S1
" :Cˆ5¶  ¾Rk¶ Ž[ ½
Ñ;¶ˆ·\
‹ ÑO‰s‹.
½ Ñ4½À Y ¶9‘ ½Gˆ½G‘  ½Guw ww=
tu—x8”8=336 "+=]F6T&N-L-O&P:.-KZ6K:\"32
#&"32
35T5G:D%Á= Ǿ¢½ Y ÎlZ˜†s~)‡Gê ~| ~ é.~ — 
u0w} ~=
tu0˜(x8”8=Z_&c2D%";"32ÈÄ=r•c2& DI=]T(6 #2êN"
"6
.5-%[&D#& "4"32O& KD9W0(#&"I"I5D915G02
2(
5=€L1
" :Cˆ5¶  ¾©Ã5Ê ‘3P
‹ ]‘ Ž ½GˆG‘ Ž ‰s¶‘  · Y ¶B‘ 0½Gˆ½G‘  ½¶‘
ʽGˆG
¸ Ï  ˆsŠ.
½ Žy »  ’½G’3^C:"F†y_H0‡GZ^H6=/u0ww)˜=
z;&6 1
" Æ8D%"¯
" N
5:=
tu0}(xb_b=Z_H:"8"32M…N=SÅb=3aB=…!q5:D%""+= È "O:
2AB"T
ZL*@"M"30'#6 "695D9#1502M2(Y"2
5-"60=€L
" 㠎[ ]‘ Ž ½GˆG‘ Ž ‰s¶‘  $
· Ñ;¶ˆ & ’  ¶ à ¶‘
Žy À  ’
½ :Cˆ5¶Šˆ ŒŒ ‰‘
Š Ï  ‘Šü  Š.½G’R ÆT"#&.:I”H""&.:
†ya&c"32‡GZaK0=Bu0ww w=
tu0w(L
x [= Æ8"W0rþ=ÕH50"3È
2 [b=3a6#'Z=ZXC*\:
#"& D9KT"1*CP&(')\5D91502M2(=€L"
à ¶0‹l’ à^à3K6Fvv B˜ év~—+ R:# 2K:#;m† ""1-'"#
fTa^‡GS Ä "u0ww w=Z2
^ .,ˆ
z U5=
t v(xJ…N=…!q5:D%"3"+@=3a 2d3"32M€=Za
D%"#"+=^
2#(')T#"6 36 T&F.5-#"6Y"32O15#"6
:*@
+=€L" :,ˆ1¶  ¾É Ž[ ]‘ Ž ½Gˆ‘ Ž ‰d¶‘  )
· ÑI¶ˆ & ’  ¶ à ¶‘
ÎP½G’½  ˆ  ]’’ü½G’8¶‘ Žy âC‘Š‰[‘B½½GˆG‰[‘Š Á ]‘ Ž ½Gˆ5¶ à ½Gˆ  À‰d· ‰ Ž ¸
k¶ 2É8¶‘ Ž ˆ  ‹‰ Ž ‰s¶‘  X· Žy À  ’½ V¸’ Ž ½ Œ ’3K6Tu(9v évu3ÕG*
È #"8†s…/& 5#"fTa^‡G
+=Buw w —=Z€1‚N‚Nd
‚ .@& D9K
a&.S-.=
t vuGx8]=ZzI0? [b=3a6#'Z3"32;z<S= [@""3q q= È "M:
& D9K#GS-%&U1"6#D9K#& "P&U"& "+"2
º1& "42KZ"2"4= Ǿ¢½ Y Îl3v}†d|.‡Gê — } é.— w)–.Ru0w }u =
t v v0xb_b=Zz;0& U=^CW"s^J=zI5dX =3z;Gc#2&Z"32
_b=Za#"2&"d=3>C:8^P"C*C
QS
5TD%"36D9".
1-1DI=€S1
" :Cˆ5¶  ¾RÁà^àã!½ Y ÎåV]8Î Í ¸]‘ Ž ½Gˆ‘ Ž ‰d¶‘  ·
Y ¶9‘ 0½Gˆ5½G‘  ½¶‘ Î  ‘  Š.½ Œ ½G‘ Ž k¶ 3 Žy K36–| | é–(|)—
a0(5#9†rh5:#"6&"+fTa^‡GS Ä "u0ww }=Z2
^ .,ˆ
z U5=
t v~(xJ^J=z;"32W& "l"32M>=Zz;&=B&D%BD9&2P&*C
=€L1
" :Cˆ5¶  ¾RÁ^É Ž[ V¸ ŒÃ ¶’‰ü Œ ¶¯
‘ :CˆG‰[‘  ‰ à ·#½G’Tk¶ Žy À  ’
½ V¸’ Ž ½ Œ ’3K36Tu0~| é3u|)~/>!5&"h†s^PW&"3
fTa^‡GzI0-luw w)˜.=B)
^ .,ˆ
z R5=
t v|xJ^J=z;"32W& "l"3È
2 U=rh&.&2B=3"2"66 #(H5D9K#
K3:,"I6K:42
5º= V]7½NÎäǶüˆG‘  ·¶‘
Y ¶ ŒÃ ü Ž ‰‘.ŠZv(|†y–‡G!u0ww)–.=
t v –0xJ@=ÕH')";"32M>=ZaG:.*@".#qZ=‚RK55#' 8"32O9".
K35G";#"6 36 \&H5Qy1502;2=€L" :,ˆ1¶  ¾
Áà Ž[ V¸ ŒÃ ¶’‰ü Œ ¶¯
‘ :,ˆ‰‘  ‰ à ·#½G’8k¶ 3 Žy À  ’
½ V¸’ Ž ½ Œ ’
K36Tu|)9– é3u0–—B]T#J†s>!fTa^F‡GzI-4v =Z)
^ .,z
R5=
t v—(L
x [S= UKq)&"1"."&+»b=3_F#(Q1z;&#"/"32
Ä=r•c2& DI= È ºL\:3"6 8&.& P:G& 6"&
#"&D%& "I5&=3€L" :,ˆ1¶  ¾ÌÁ0Á Ž[ ]‘ Ž ½GˆG‘ Ž ‰s¶‘  ·
Y ¶9‘ 0½Gˆ5½G‘  ½¶‘ Žy âC‘Š‰[‘B½½GˆG‰[‘Š3K6Hv –<u év— 
>KZdBzI(0=!uw w)–.=3€L‚V‚Nd
‚ .@&D9KGHa&.S-.=
t v ˜0xJ^J=”0º5(D%"l"3È
2 Ä=fD%"+=€L".6"6b"&D%& "
-O&dºL& "P"2M!2#ºL"& "=€L" :,ˆ1¶  ¾ÌÁå Ž[
V¸ ŒÃ ¶’‰ü Œ ¶¯
‘ :,ˆ‰‘  ‰ à ·#½G’Tf¶ Žy À  ’
½ V¸’ Ž ½ Œ ’3K6
v~ 9} év(|)}+z;&".50NT† .C" 2 ‡GR Ä "Yuw w —=Z)
^ .,ˆ
z R5=
t v}(xbz<S= [@""3qq=^H6 &:D9,&-b2
35
5G:D9=€L" :,ˆ1¶  ¾‡á Ž[ ]‘ Ž ½Gˆ‘ Ž ‰d¶‘  · Y ¶9‘ ½Gˆ½G‘  ½¶‘
Ê3½Gˆ
¸ Ï  ˆsŠ.
½ Žy »  ’½G’3K6 \})9v é.w|( .C""T†s"(‡G
aK0=/uw }u =Z€L‚V‚Nd
‚ .@&D9KGHa&.S-.=