Optimization Properties for Classes of ... - ScholarlyCommons
University of Pennsylvania
ScholarlyCommons Technical Reports (CIS)
Department of Computer & Information Science
January 2001
Optimization Properties for Classes of Conjunctive Regular Path Queries Alin Deutsch University of Pennsylvania
Val Tannen University of Pennsylvania, [email protected]
Follow this and additional works at: http://repository.upenn.edu/cis_reports Recommended Citation Deutsch, Alin and Tannen, Val, "Optimization Properties for Classes of Conjunctive Regular Path Queries" (2001). Technical Reports (CIS). Paper 9. http://repository.upenn.edu/cis_reports/9
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-01-20. This paper is posted at ScholarlyCommons. http://repository.upenn.edu/cis_reports/9 For more information, please contact [email protected].
Optimization Properties for Classes of Conjunctive Regular Path Queries Abstract
We are interested in the theoretical foundations of the optimization of conjunctive regular path queries (CRPQs). The basic problem here is deciding query containment both in the absence and presence of constraints. Containment without constraints for CRPQs is EXPSPACE-complete, as opposed to only NPcomplete for relational conjunctive queries. Our past experience with implementing similar algorithms suggests that staying in PSPACE might still be useful. Therefore we investigate the complexity of containment for a hierarchy of fragments of the CRPQ language. The classifying principle of the fragments is the expressivity of the regular path expressions allowed in the query atoms. For most of these fragments, we give matching lower and upper bounds for containment in the absence of constraints. We also introduce for every fragment a naturally corresponding class of constraints in whose presence we show both decidability and undecidability results for containment in various fragments. Finally, we apply our results to give a complete algorithm for rewriting with views in the presence of constraints for a fragment that contains Kleene-star and disjunction. Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-01-20.
This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/9
"!#$ % &('*)+-,/.0)+1324+561687:9;&ac^;Sa e y >3/ B
Jd#dI
I ?odn#3/4d//([ c ¡>¢#£¥¤¢#¦¨§©¢@¤¢ªcEí ü ìíJóÀóiö ó ,ï-ôIóIñ ü ýBóiõÚìòóBî-ê4ò¾þ6 ø ï-óIñ?î@ìñ ê Ìî;ø ìñ¥óõ{ðí0ê4ï-íRwê (%õ×ôiìÚî ôiöõ×øHóÌÿ ïóiñ?î-ìÚôIöHôÿî ü êyê (%ï@ê í@í@ì×ýi# ê d5ô fê4ïJôÿXï-ê¥ùIðõóïJê (; ï@ê í@í@ì×ôiö í ü ìíRìí¼þóIí0ê òßôiößî ü ê*ê (;dê¥ï-ì×ê¥öñ¥ê4íRôiÿ`ðí@ê¥ïí ôÿî ü ê`í@ê¥ëËì×í0î@ï-ðñî@ðï-ê4ò ÷3ðê¥ï-ø¬õ×óiöùiðóùiê[é3î-ï@Hð bßú M û þðî óõí0ôÕôÿ"î ü ê bÞ÷Iðê¥ï-øuõóöùiðóiùi ê b=b ú û óöò¼ì°îFì×í í0,ð EôIï0î-ê4òÞþ6ø*î ü ê¬ï@ê íî-ï@ìñ?î-ìÚôIöí[ôI ö óBî ü ê (;ï@ê í@í@ìÚôIöínì×" ë ô3í0ê òyþ6ø¼î ü + ê b(óBî ü í0î-óiöòóïòÞú 2!e û cfXê4ï@ê[ìíXóuýiê4ï@ø¼í@ì×" ë õÚêÕwê (ó ë õ×ê[ôÿ ÷3ðê4ï@øy!ô î-ìÚëË9ì 4óî@ì×ôiöÌì×ö*í0ðñ ü óËÿ ï-óiùiëËê¥ö3 î >fôiöí@ì×òê¥ïFî ü ê`÷Iðê¥ï-ø YX $k{l5n,p!q;nz~iz_s¡ £¢¡x ¤¥¦Eh$iz.;x §¢o¨Y¨'©!x _s¡ £¢6 ü ì×ñ ü ï-êî-ðï-öíFî ü ê`öóëËê íôÿªdê¥ïí0ôIöí ü ô«öòÌôiðî{ó¼í0ê ñï-êîcÿ ï@ôIë í0ôIëuê4þôòøyñôiööê4ñî@ê4òyòì×ï@ê ñ?î@õ×ø¬ôiïFì×öòì×ï@ê ñ?î-õÚøËî-ô ¬ ô ü _ö ª3{í-í0ðëuênî ü óBîî ü ênÿ ôiõ×õ×ô5ìÚöùËý6ì×ê_ìíFë¬óBî-ê¥ï-ì×óiõÚì9 ¥ê ò
#®Q¯ ° ¨M±%¢;K²$i³´ ªk
l5n%p q;ní@ê4ñî@ì×ôiö*, ê ü ó ýIêJï-ê¥õ×ê¥ù3óBî@ê òÀí@ôiëËê"ï@ô6ôÿíEóöò*ófôIïIê4òÌê(óië õÚê{î@ôJî ü ênó ,dê¥öòì×ñ¥ê4 í 3î@ôJþdê#ñ¥ôiöí@ðõÚî@ê òRóBîfî ü ênòìí@ñ¥ï@ê¥î@ì×ôiö ôÿ{î ü êÌï-ê4óiòê¥ ï ê ü ó ýiê>óõí@X ô ðîRìÚöoóößó Eê4öò ì ( î ü ê wê (6î@ê4öí0ì×ôiöÞî-ôÀðöì×ôiöíJóöòÍòìí ðöñ?î-ìÚôIöHôÿFî ü êRñ ü óií@!ê 3{8õ î ü ôIðù ü î ü ìíÕê (6î@ê¥öí0ì×ôi_ö (ì×öHî ü ê¼ÿ ôIï@ëwî ü óBî fêyöê¥ê ò ü óIí öôî!Vo!ó ,óï-ê¥ö3î-õÚø5Voþê4ê¥+ ö ðþõÚìí ü ê4 ò ï@ê4ý3ì×ôiðí0õ×!ø ìÚî ì×õÚõ3öôiî í0,ð ï@ìí0êyóö6øiôIö ê ì°î ü óöHðöòê¥ïíîóöòìÚöù*ôÿFî ü ê ñõóií-í0ìñ¥óiõ ñ ü óií@ê!
ê dê¥öòì×öù ôiö*î ü êËíî-ôiïóùIêJí@ñ ü ê¥ë¬ó, ë¬ó ø>þêËñ ü ê ódê¥ï î@ôyê¥ýBóõ×ðóî@ê!Éöbó,dê¥öòì8( fêJí ü ô5 ì×ö*òêîóì×õ ü ô5àî ü ê ëËêî ü ôò\ í cêÀòê¥ýIê¥õ×!ô ¾ìÚößî ü ìí\ó!ê4ï¼í0ðñ¥ñê4ê4ò¾ì×ö-«öòì×öù î ü ì×íï-ê ï-ìÚî@ì×öEù ÿ >ccE í cêËòê¥ýiê4õÚ ô *ó ô í0î@ðòøÀýBóï-ìÚôIðí{ÿ ï-óiùiëËê¥ö3î-í#ô öôBýIê¥õfî@ê4ñ ü öì×÷3ð ê àú e, MiMû ðí0êÌóiðî@ôIëËóî-ó î ü ê¥ôIï@ê¥î@ìñËî@ê ñ ü öì÷3ðê4í þðî ü ê4ï@ ê cX ê ì×õÚõEî-ï@ø í@ôiëËêî ü ì×öù¾òì ê¥ï-ê¥ö3 î ¾ï-wê òðñî@ì×ôiöíEî- ô ï-ôiþõ×ê¥ë¬í#ÿ ôiï-ëJðõóBî-ê4òbìÚöÞî ü êËï@ê4õ×óî@ì×ôiöóiõí@êî î@ì×öù ü ê`ÿ ïóùiëËê4öIîíFÿ ôi ï ü ì×ñ ü c ê ï-ôBýiê[Eð ,ê4ï{þdôiðöòí óöòÌòê4ñ¥ì×òóiþì×õÚìÚîø¼ï-ê4í@ðõÚî-í{óiï@ê[í@ðñ ü î ü óB î cêJñ¥óiö î@ïóöí@õ×óî@ê ÷3ðê¥ï-ì×ê4í{óiöòÀò ê ê4öòê4öñì×ê4í#ìÚö3î-ô¼ï-ê¥õóBî@ì×ôiöóõ"ýIê¥ïí0ì×ôiö í ôBýIê¥ï óRí ê ñìóõ"ï-ê¥õóBî-ìÚôIöóõ8í@ñ ü ê4ë¬,ó & ôIïXwê (ó ë õ×!ê î ü êu÷3ðê¥ï-£ ø g í ü 5ô öbóiþôBýIê`î@ïóöí0õóBî-ê4í#î@ô î ü êÕÿ ôIõÚõ×5ô ì×öùyðöìÚôIö*ôiÿfï-ê¥õ5ó î@ì×ôiöóõ"ñôIö ðöñî@ì×ýiê`÷3ðê4ï@ì×ê4 í
W
X çZYX:è[YX
ä æ]\på ä /(`è ä /
^ -'6?-'_L-0I7@DI5O êîM`¸þê#ó`í0ê¥î ôÿ R S5a N R Z & ôiï:î-ê4ñ ü öì×ñ4óõï-ê4ó í0ôIöícêJóií-í0ðëuênî ü óBî ` ì×í{ìÚö,«öìÚî@ê!dþðîEôÿ(ñôIðï-í@ê[ôiöõÚø ó
g i ; 5 i¡ ¡ i; ! i ; 4k s t lon,p q;nEi iy i=zX is 7i! o i v t !i , biy t i¡ i ; 4k v5 l5n,p q;nE!i biy i=zX is Vzi bi v t !i , biy t ij
«öìÚî@êËö6ðëJþdê¥ïnôÿcõ×óiþê4õ×íbì×õÚõôñ¥ñ¥ðïnìÚöÍóyùiì×ýiê¥öbòóBîóþóIí0ê ÷Iðê¥ï-ø! ôIï{ñôIöíî-ï-óiìÚö3î $3Z%N b J ZIKO G AI G OcN d S I 5S a S ZX N ìíXó «, öì°î-ê#òì×ï-ê4ñ?î-ê4òËùIï-ó! ü ü ôIí@êê4òùIê4í:óiï@ê`$ õóþdê¥õ×ê4ò_6f ÷3ðìÚýBó õÚê4öIî-õÚø !c êñ¥óöËþdêùiì×ýiê4öuóní@êî$¼A î ü êXöôòê4íôiÿî ü êùiïó ü óöòÌó« öì°î-êÕí@êîEôÿ(õ×óiþê4õ×íXÿ ï@ôIëe` ê óiñ ü ì×ö3î@ê¥ï ï-êî-ê4òÌóií{ó öôiö%cß õ×ô5c ê¥ï{þdôiðöò ú e û í ü ô5 í@ôiëËê:ôÿ6î ü ê:î ü ê¥ôIï@ê¥î@ìñ¥óõIõÚì×ëËì°îíôiÿ% ü óBîñ¥óö[þdêfòôiöê óiþôIðî ô! î@ì×ëuì94 óî@ì×ôiö ìÚöÌí@ê¥ëËìíî-ï@ðñî@ðï-ê4òyõóöùIðóùIê4í
g\ ix xx i!:t, cEí w ê¼ñ¥óiõÚõfí0ðñ ü òê ê4öòê4öñì×ê4í5J Z FG CHAIKJML5N*N%b D ONQP G%R S OT S IVU!N T,NC. NwC AwJYNwZ[ ª^`©+ZQdJóiöòÌî ü ê¥ø a Nc5! Nc* óï-ê òwê «öê4ò[óIíóií-í@ê¥ï@î@ì×ôiöí î ü óBî ü ó ýiê(î ü ê í-óëËê:õ×ôiùIì×ñ4óõBÿ ôIï@ë óií í Fí0ê44 ê 4¡R w þðîRì×ö ü ì×ñ ü ic w óï-ê>ñôiö ðöñ î@ì×ôiöíJôÿXï-ê¥ùiðõ×ói+ ï óBî ü óBî-ôië¬í y Þôiï`ê ÷3ðóõ×ì°î-ìÚê í ü ê òwê «öì°î-ìÚôIöRÿ ôiïí-óBî-ì×í0ÿóiñî@ì×ôiöRôiÿ8ó`ùIìÚýIê¥ö $ ìÚö óJùIìÚýIê¥ö í0ê4ëuìí0î@ï-ðñ?î-ðï@ê ò*òóî-óiþóií@ê`ÿ ôIõÚõ×5ô XíXÿ ï-ôië î ü êËðí0ðóõëËê4ó,ö ìÚöù¼ôÿ(õÚôIùiìñ¥óiõ"ñôiööê4ñî@ì×ýiê4í{óöòÌ÷3ðóiöIî-8ì «ê¥ïíXóöò ÿ ï-ôiëzî ü ê í@óî@ìíÿóIñ?î@ì×ôiöyÿ ôiïï-ê¥ùIðõó ï óBî ü óBî@ôIë¬ífùIìÚýIê¥ö ê4óiï@õ×ìÚê4 ï ü ê¥ö î ü ênï@ê4ùiðõóïFwê (%ï-ê4í-í@ìÚôIöíFóï-ê#ï-ê4í0î@ï-ì×ñî@ê ò¬î@ôRí@ì×öùiõ×ê õ×óiþê4õ×í¬ì×ö ` >ccEí¬óiï@ê>ê ÷IðìÚýBóõ×ê¥ö3î¬î-ôbî ü êÌðí@ðóõ#ñôi,ö ðöñ?î-ìÚýIêu÷3ðê4ï@ì×ê4íEóöò í{î@ôn ðíî íEí@ê¥ê4öÀôBýiê4ï óyï-ê¥õóBî-ìÚôIöóõí-ñ ü ê¥ë¬ó ñôiöí0ìíî-ìÚöùyôiÿfþì×öóï-øÀí@ø3ëÕþôIõ×í#ÿ ï-ôië ` -gCJ 9@DIkO í#ñ4óöbwê (%ï-ê4í-í#ó¼õ×óiï@ùIêJýBóï-ìÚê¥îø>ôÿ ñôiöíî-ï-óiìÚö3î-íJôiö í@ê¥ëËìíî-ï@ðñ?î@ðï@ê òÝòóBî,ó 3{í fê í@oó +/î ü ê¥ø ùiê¥öê¥ïóõ× ì 4ê`ëËôIí0îEï-ê¥õóBî-ìÚôIöóõ/òê dê¥öòê¥öñ¥ìÚê í#ôiÿ:ìÚö3î-ê¥ï-ê4í0 î Éö óiòòìÚî@ì×ôi£ ö cêEñ4óö¼ê (%ï@ê í@íFñ¥ôiöí0î@ïóì×ö3î-ící0ì×ëËìÚõóïcî@ôuî ü ênôiöê í ï b? ü ê «ï-í0îËî fôÍþdê¥õ×5ô í@ó ø íÀú 2kT û í ê ñìÚÿ øHÿ ôi# î ü óî -óö6* ø ê4ï-í@ôiö ü óií#wê (óiñî@õ×øÌôiöêuí0ôñìóõí@ê4ñðï@ìÚîø>ö3ð" ë þê4ï E ü êXî ü ì×ï-ò¬í-ó øí/î ü óî î-ê¥õ×ê ü ôiöêö6ðëÕþê4ï-í:ñ4óöËôiöõÚø þê`ôiÿî c ô ìÚÿ:óö6,ø $6ì×öò í ýiôIì×ñ¥ênôiïFÿ5ó ( ü ì×õÚê`î ü ênÿ ôIðï0î ü ì×íXó 6ì×öò ôÿ8ùIê¥öê4ï-óiõÚ9ì ¥ê ò ôIìÚ%ö î ü óîEìíEê4÷3ðì×ý óiõÚê4ö3î ì×ö ê4óIñ ü òóî-óþóií@êJì×öíîóöñ¥ê { î@ôyî ü êuñ¥ôiö3î-óiìÚöëËê4öIîg g òêd ê¥öòê¥öñ¥ø! ÉöEî ü ì×í ód ê¥ï_c êª ì×õÚõ3ñôiöí0ìòê¥ï"í@ê¥ýIê¥ïóõñ¥õ×óIí@í@ê4í ôiÿ6÷3ðê4ï@ì×ê4í óöò ÿ ôiï{ê óiñ ü ôÿî ü ê¥ë~c ê ìÚõ×õ/ì×òê4ö3î@ìÚÿ ø óRñ¥õ×óIí@í{ôÿ:òê ê4ö% òê4öñì×ê4í ñ¥ôiöí0î@ïóì×ö3î-í u î ü óî ü óIí¬î ü ì×í6ìÚöòoôÿnî@ì×ù ü î>ñôiï ï-ê4í ôIöòê¥öñê ìÚî ü î ü êËñôIö3î-óì×öëËê¥ö3î{ôiÿf÷3ðê¥ï-ì×ê4íÿ ï-ôiëî ü ê óií-í@ô6ñ¥ì×óî@ê ò¼ñõóií-í FAF ^ 19I?i2/ f 67148./ j ^^ IkO Eê¥öê¥ïóõ×ì 4 ìÚöùËÿ ï-ôiëñôIö% ðöñî@ì×ýiêÞ÷Iðê¥ï-ìÚê íËî@ô G C JYB5CEZB XA B5C FG CHAIKJML5NW G NOJYNZc ê ñôIöí@ì×òê4ï;î ü ê óií-í0ôñ¥ì×óî@ê4òEñõóií-í;ôiÿ J Z FG CHAIKJML5N[N b a cN k N NwD TENwC !NCHAJYNZ[ +ZQd ü ìñ ü óï-êÕõ×ôiùIì×ñ4óõóií-í0ê4ï0î-ìÚôIöíEôÿ î ü ê ÿ ôiï-ë
·Ýú ?
&
D
!
"
( '
*)
FEGIH
K
ML
ì×ö*î ü ê"ï@ê4ëuìí@êÕôiÿ î ü êÕì×ëõÚìñ¥óî@ì×ôiöÞþê ñ¥óiðí0êuìÚîEìínê4÷3ðì×ýBó5 õ×ê¥ö3î`î@ôbñôiö ðöñ?î-ìÚôIöí`ôiÿ í ê ü ó ýiêËî ü ê¬ÿ ôiõ×õÚô5ì×öù î@ì×ù ü î ñ¥ôiï-ï@ê =í dôiöòê¥öñ¥!ê ;î ü êXñôIöIîóì×öëËê¥ö3î(ôÿdîfônðöìÚôIöí(ôÿ ñôIö ðöñî@ì×ýiêË÷3ðê¥ï-ìÚê íEì×ínê ÷IðìÚýBóõ×ê¥ö3îEî@ô> ó «öìÚî@êËö6ðëJþdê¥ïnôÿ í ;óöò*ó¼í@ì×öùiõ×ê ìí{ê ÷IðìÚýBóõ×ê¥ö3îEî@ô¼î ü êËñôIöIîóì×%ö ëËê¥ö3î ôiÿ ó[ñ¥ôiö ðöñ?î@ì×ýiêX÷3ðê4ï@øÕìÚö3î-ô`ó#ðöìÚôIö¬ôÿ;ñôIö ðöñî@ì×ýiê ÷3ðê¥ï-ì×ê4í 3 ìí G%RMR ì°ÿ8ì°îòô6ê4í öôî ü ó ýiêXê (ì×í0î@ê4öIî-ì×óiõÚõ×ø¬÷3ðóö3î@ ì «ê òRýBóï-ì×óiþõ×ê4 í ü # ê AU S ZNEú P û ñ4óöRþdêEwê (6î@ê4öòê4òRî@ô í ùiì×ý6ìÚöù{ó{òê ñìí0ì×ôi+ ö ï@ôñê òðï-ê(ÿ ôiïñôIö3î-óì×öëËê¥ö3îôiÿðöì×ôiöí8ôÿ ñôIö ðöñî@ì×ýiê ÷3ðê4ï@ì×ê4í"ðöòê4ï8óXí@êîôiÿ6ÿ ðõÚõ c í í@ê¥ê#ú M %P M R û ÿ ôiï# ó óï@î@ìóõ î-ï@ê óBî@ëËê4öIî{óiöò>ó ,dê¥öò8ì (*3 ÿ ôiï#ó¬=í Iêî-ñ ü ôÿ î ü ê[ï@ê í0ðõÚî- í cênðí@!ê } í ì°î ü "@DCE14I76[) i f 67iA) @DFZln8./AI76[) -019/67I5j ^ mo ^ I5O 3{ í _cêËòwê «öêÕî ü êËñõóií-í#ôiÿfò ê ê4öòê¥öñì×ê4íEî ü óBî`ñôIï@ï-wê ?©,c9{s c?, 7¡ ¯
$&%
5
6
JEG
) -0+.CE@D/67I5j iA@N) 14@DI -0/2F F2@5J @N/2F2@N/ f 19@DI é6ìÚöñê ñôiö3îóì×öëËê¥ö3îcôiÿ6>cEí ìí?cé%3 >cªÉñôIëõÚê¥î@êJú e û cê íî-ðòø O S P# b NwC IYZôiÿ:î ü êÕõ×óiöùiðóùiêÕòwê «öê4òÀþ6ø>ï-ê4í0î@ï-ì×ñî@ì×öù î ü ê>ï-ê¥ùiðõ×óiïÕê (;ï@ê í@í@ìÚôIöíËóõ×õÚ5ô cê4òÝìÚößóBî-ôië¬* í ñôIö ðöñî- í À ê 0 í × ì ë × õ 4 ê 0 í R î ÿ ï i ó i ù Ë ë ¥ ê 3 ö î c i ó Ú õ × õ ô 5 Ú ì ö ù ð í ¼ î õ ó d þ ê¥õíRóiöòßñôi,ö ü ñ¥óBî-ê¥öóî@ì×ôi_ö 3ìí:ê4÷3ðì×ýBóõ×ê¥ö3î:î-ôJñôIö ðöñî@ì×ýiê#÷3ðê4ï@ì×ê4í:ôBýiê¥ï þ8ì öóï-ø>ï@ê4õ×óî@ì×ôiö í cêî cê¥ê¥öÀî ü ê í0êËóöòbùiê4öê¥ïóª õ >ccE í cê ñôiöí0ìòê¥ïFî ü ênÿ ôiõ×õ×5ô ìÚöùÕÿ ïóùiëËê4öIîí
v
#
·Hú l5n,p q¡nx87 ¢9© ¥oS D q0©o© S û ·%· .· ú8l5n%p q;nbx.7H¢95© ¥o;: :E0©o© : 0© © û ·%· !· ¼ú §¢o¨Yp ¥ = @? sNK û ·%· !· ¼ú y¦ ® B¨ AH î@ê ñ ü öìñ¥óõ#ìÚëd ôiï@î-óiöñêÀþðî¼î ü ê¥ì×ï òê« öìÚî@ì×ôiöíEòìòÀöô¼í@ðùIùiê4í0î#óiö3ø3î ü ìÚöù¼þdêî0î-ê¥ï#î ü óiö*ñ ü ô6ôIí= ì×öùuî ü ê í0ê`óiï@þìÚî@ïóï-ø¬öóiëuê í D 14),I761G%(H) F2@5)*m@ 49-'67198:/2-64%$M) -0/2I 49-'67198:/ O 3cîcî ü ê[ñôIï@ê
E
ôÿ6ôiðï;î@ê ñ ü öì÷Iðê(ì×í8ócî@ïóöí@õ×óî@ì×ôiöEôÿí0ê4ëËì×í0î@ï-ðñ?î-ðï-ê4òn÷3ðê¥ï-ìÚê í óöòEòê dê¥öòê4öñì×ê4íìÚö3î-ô«ï-í0î=ì×öí@ì×ò ê &nõ×ê¥ê4öê í0î-óïí ê «ïí0îuî ü ì×ö4 ù fêÌòôÍìí 6[) -0/2I 9-'67@ - (p- ) u8+*#í0ì×öù ü£ î ü êyê ÷IðìÚýBóõ×ê¥öñ4 ê Ysu v x yZ YsHx y u Kvox y "fêyëËôBýi ê u8ì×ö î ü ê ôiðî@ê¥ï-ëËôIí0 î dôIí@ì°î-ìÚôIö[ìÚöJî ü b ê ';i i¨'ti u QìíXê ÷IðìÚýBóõ×ê¥ö3î#î@ô Zy y ¬óBÿAî-ê¥c ï ü ìñ ü õÚôIùiìñ¥óiõê4÷3ðì×ýBóõ×ê¥öñ¥ê4ífþï@ì×öù î ü êËòì×í4 ðöñî@ì×ôiöíEôið î 3kòìí ðöñ?î-ìÚôIöínìÚö*î ü ê ï-ê¥ëËìí0êuôÿ î ü ê#ì× ë õÚìñ¥óî@ì×ôiö ìÚö óÕòê dê¥öòê4öñø¬ìícê4÷3ðì×ýBóõ×ê¥ö3îfî-ôuóuñôI%ö ðöñî@ì×ôi
ö ó¬í@êî côÿòê dê¥öòê¥öñ¥ìÚê í ôRí0ðëuë¬óiï@9ì ¥ ê
·%·. · ° ú 0v °
=
2
43
r IKO S ,C Z R S IKJMC;P S $S r+IMUEN u S :C rQ;i i ¨'ti u D + md@DCE-0) O W G NwOsr a NA BbNwZ S C N W G MJ L S5R NCEI G CEJY5B CB ';i i ¨ t wD=W G N OJYNZ
:
65 R
° r
ú ' ¯ ¯ ú ' ¯
¯
:
¯ sd û =
: ¯ v û×û 9 ô5+ C Kg #ìí[ó¼ï-ê¥õóBî-ìÚôIöóõ(÷3ðê¥ï-øÀóöò C BA¡ Eìí[óyï@ê4õ×ó î@ì×ôiöóiõ/òê ê4öòê4öñø ;þôiî ü ôBýIê¥ï{î ü êËí@ñ ü ê¥ë¬ó*`6'^N R +{ f ô5 ê¥ýiê4ï fê ì×õÚõ:ðí0êËî ü ê¥ë öôî`ôBýIê¥ïnóï-þì°î-ï-óiï@øÌì×öí0î-óiöñê ínôÿ `6'^ N R þðîEôIöõÚøÌôBýIê¥ï#ìÚöí0î-óiöñê íXî ü óBî`í-óBî-ì×í0ÿ øÌí=d ê4ñ¥ì8« ñuí@êî-í ôÿ[ï@ê4õ×óî@ì×ôiöóiõXòêd ê¥öòê¥öñ¥ìÚê í ôÝòê4óiõ ì°î ü î ü ê*ý óiï@ì×ôiðí ÿ ï-óiùiëËê¥ö3î-í %c ênñ¥ôiöí@ìòê¥ïcîc ôËí@ðñ ü í@êî-í $>2@FE t FA@NJM@D/2FA@D/ f 19@NI5j öôòêHGY .· ,·. Àú ¨= 7i! , ?
ScholarlyCommons Technical Reports (CIS)
Department of Computer & Information Science
January 2001
Optimization Properties for Classes of Conjunctive Regular Path Queries Alin Deutsch University of Pennsylvania
Val Tannen University of Pennsylvania, [email protected]
Follow this and additional works at: http://repository.upenn.edu/cis_reports Recommended Citation Deutsch, Alin and Tannen, Val, "Optimization Properties for Classes of Conjunctive Regular Path Queries" (2001). Technical Reports (CIS). Paper 9. http://repository.upenn.edu/cis_reports/9
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-01-20. This paper is posted at ScholarlyCommons. http://repository.upenn.edu/cis_reports/9 For more information, please contact [email protected].
Optimization Properties for Classes of Conjunctive Regular Path Queries Abstract
We are interested in the theoretical foundations of the optimization of conjunctive regular path queries (CRPQs). The basic problem here is deciding query containment both in the absence and presence of constraints. Containment without constraints for CRPQs is EXPSPACE-complete, as opposed to only NPcomplete for relational conjunctive queries. Our past experience with implementing similar algorithms suggests that staying in PSPACE might still be useful. Therefore we investigate the complexity of containment for a hierarchy of fragments of the CRPQ language. The classifying principle of the fragments is the expressivity of the regular path expressions allowed in the query atoms. For most of these fragments, we give matching lower and upper bounds for containment in the absence of constraints. We also introduce for every fragment a naturally corresponding class of constraints in whose presence we show both decidability and undecidability results for containment in various fragments. Finally, we apply our results to give a complete algorithm for rewriting with views in the presence of constraints for a fragment that contains Kleene-star and disjunction. Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-01-20.
This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/9
"!#$ % &('*)+-,/.0)+1324+561687:9;&ac^;Sa e y >3/ B
Jd#dI
I ?odn#3/4d//([ c ¡>¢#£¥¤¢#¦¨§©¢@¤¢ªcEí ü ìíJóÀóiö ó ,ï-ôIóIñ ü ýBóiõÚìòóBî-ê4ò¾þ6 ø ï-óIñ?î@ìñ ê Ìî;ø ìñ¥óõ{ðí0ê4ï-íRwê (%õ×ôiìÚî ôiöõ×øHóÌÿ ïóiñ?î-ìÚôIöHôÿî ü êyê (%ï@ê í@í@ì×ýi# ê d5ô fê4ïJôÿXï-ê¥ùIðõóïJê (; ï@ê í@í@ì×ôiö í ü ìíRìí¼þóIí0ê òßôiößî ü ê*ê (;dê¥ï-ì×ê¥öñ¥ê4íRôiÿ`ðí@ê¥ïí ôÿî ü ê`í@ê¥ëËì×í0î@ï-ðñî@ðï-ê4ò ÷3ðê¥ï-ø¬õ×óiöùiðóùiê[é3î-ï@Hð bßú M û þðî óõí0ôÕôÿ"î ü ê bÞ÷Iðê¥ï-øuõóöùiðóiùi ê b=b ú û óöò¼ì°îFì×í í0,ð EôIï0î-ê4òÞþ6ø*î ü ê¬ï@ê íî-ï@ìñ?î-ìÚôIöí[ôI ö óBî ü ê (;ï@ê í@í@ìÚôIöínì×" ë ô3í0ê òyþ6ø¼î ü + ê b(óBî ü í0î-óiöòóïòÞú 2!e û cfXê4ï@ê[ìíXóuýiê4ï@ø¼í@ì×" ë õÚêÕwê (ó ë õ×ê[ôÿ ÷3ðê4ï@øy!ô î-ìÚëË9ì 4óî@ì×ôiöÌì×ö*í0ðñ ü óËÿ ï-óiùiëËê¥ö3 î >fôiöí@ì×òê¥ïFî ü ê`÷Iðê¥ï-ø YX $k{l5n,p!q;nz~iz_s¡ £¢¡x ¤¥¦Eh$iz.;x §¢o¨Y¨'©!x _s¡ £¢6 ü ì×ñ ü ï-êî-ðï-öíFî ü ê`öóëËê íôÿªdê¥ïí0ôIöí ü ô«öòÌôiðî{ó¼í0ê ñï-êîcÿ ï@ôIë í0ôIëuê4þôòøyñôiööê4ñî@ê4òyòì×ï@ê ñ?î@õ×ø¬ôiïFì×öòì×ï@ê ñ?î-õÚøËî-ô ¬ ô ü _ö ª3{í-í0ðëuênî ü óBîî ü ênÿ ôiõ×õ×ô5ìÚöùËý6ì×ê_ìíFë¬óBî-ê¥ï-ì×óiõÚì9 ¥ê ò
#®Q¯ ° ¨M±%¢;K²$i³´ ªk
l5n%p q;ní@ê4ñî@ì×ôiö*, ê ü ó ýIêJï-ê¥õ×ê¥ù3óBî@ê òÀí@ôiëËê"ï@ô6ôÿíEóöò*ófôIïIê4òÌê(óië õÚê{î@ôJî ü ênó ,dê¥öòì×ñ¥ê4 í 3î@ôJþdê#ñ¥ôiöí@ðõÚî@ê òRóBîfî ü ênòìí@ñ¥ï@ê¥î@ì×ôiö ôÿ{î ü êÌï-ê4óiòê¥ ï ê ü ó ýiê>óõí@X ô ðîRìÚöoóößó Eê4öò ì ( î ü ê wê (6î@ê4öí0ì×ôiöÞî-ôÀðöì×ôiöíJóöòÍòìí ðöñ?î-ìÚôIöHôÿFî ü êRñ ü óií@!ê 3{8õ î ü ôIðù ü î ü ìíÕê (6î@ê¥öí0ì×ôi_ö (ì×öHî ü ê¼ÿ ôIï@ëwî ü óBî fêyöê¥ê ò ü óIí öôî!Vo!ó ,óï-ê¥ö3î-õÚø5Voþê4ê¥+ ö ðþõÚìí ü ê4 ò ï@ê4ý3ì×ôiðí0õ×!ø ìÚî ì×õÚõ3öôiî í0,ð ï@ìí0êyóö6øiôIö ê ì°î ü óöHðöòê¥ïíîóöòìÚöù*ôÿFî ü ê ñõóií-í0ìñ¥óiõ ñ ü óií@ê!
ê dê¥öòì×öù ôiö*î ü êËíî-ôiïóùIêJí@ñ ü ê¥ë¬ó, ë¬ó ø>þêËñ ü ê ódê¥ï î@ôyê¥ýBóõ×ðóî@ê!Éöbó,dê¥öòì8( fêJí ü ô5 ì×ö*òêîóì×õ ü ô5àî ü ê ëËêî ü ôò\ í cêÀòê¥ýIê¥õ×!ô ¾ìÚößî ü ìí\ó!ê4ï¼í0ðñ¥ñê4ê4ò¾ì×ö-«öòì×öù î ü ì×íï-ê ï-ìÚî@ì×öEù ÿ >ccE í cêËòê¥ýiê4õÚ ô *ó ô í0î@ðòøÀýBóï-ìÚôIðí{ÿ ï-óiùiëËê¥ö3î-í#ô öôBýIê¥õfî@ê4ñ ü öì×÷3ð ê àú e, MiMû ðí0êÌóiðî@ôIëËóî-ó î ü ê¥ôIï@ê¥î@ìñËî@ê ñ ü öì÷3ðê4í þðî ü ê4ï@ ê cX ê ì×õÚõEî-ï@ø í@ôiëËêî ü ì×öù¾òì ê¥ï-ê¥ö3 î ¾ï-wê òðñî@ì×ôiöíEî- ô ï-ôiþõ×ê¥ë¬í#ÿ ôiï-ëJðõóBî-ê4òbìÚöÞî ü êËï@ê4õ×óî@ì×ôiöóiõí@êî î@ì×öù ü ê`ÿ ïóùiëËê4öIîíFÿ ôi ï ü ì×ñ ü c ê ï-ôBýiê[Eð ,ê4ï{þdôiðöòí óöòÌòê4ñ¥ì×òóiþì×õÚìÚîø¼ï-ê4í@ðõÚî-í{óiï@ê[í@ðñ ü î ü óB î cêJñ¥óiö î@ïóöí@õ×óî@ê ÷3ðê¥ï-ì×ê4í{óiöòÀò ê ê4öòê4öñì×ê4í#ìÚö3î-ô¼ï-ê¥õóBî@ì×ôiöóõ"ýIê¥ïí0ì×ôiö í ôBýIê¥ï óRí ê ñìóõ"ï-ê¥õóBî-ìÚôIöóõ8í@ñ ü ê4ë¬,ó & ôIïXwê (ó ë õ×!ê î ü êu÷3ðê¥ï-£ ø g í ü 5ô öbóiþôBýIê`î@ïóöí0õóBî-ê4í#î@ô î ü êÕÿ ôIõÚõ×5ô ì×öùyðöìÚôIö*ôiÿfï-ê¥õ5ó î@ì×ôiöóõ"ñôIö ðöñî@ì×ýiê`÷3ðê4ï@ì×ê4 í
W
X çZYX:è[YX
ä æ]\på ä /(`è ä /
^ -'6?-'_L-0I7@DI5O êîM`¸þê#ó`í0ê¥î ôÿ R S5a N R Z & ôiï:î-ê4ñ ü öì×ñ4óõï-ê4ó í0ôIöícêJóií-í0ðëuênî ü óBî ` ì×í{ìÚö,«öìÚî@ê!dþðîEôÿ(ñôIðï-í@ê[ôiöõÚø ó
g i ; 5 i¡ ¡ i; ! i ; 4k s t lon,p q;nEi iy i=zX is 7i! o i v t !i , biy t i¡ i ; 4k v5 l5n,p q;nE!i biy i=zX is Vzi bi v t !i , biy t ij
«öìÚî@êËö6ðëJþdê¥ïnôÿcõ×óiþê4õ×íbì×õÚõôñ¥ñ¥ðïnìÚöÍóyùiì×ýiê¥öbòóBîóþóIí0ê ÷Iðê¥ï-ø! ôIï{ñôIöíî-ï-óiìÚö3î $3Z%N b J ZIKO G AI G OcN d S I 5S a S ZX N ìíXó «, öì°î-ê#òì×ï-ê4ñ?î-ê4òËùIï-ó! ü ü ôIí@êê4òùIê4í:óiï@ê`$ õóþdê¥õ×ê4ò_6f ÷3ðìÚýBó õÚê4öIî-õÚø !c êñ¥óöËþdêùiì×ýiê4öuóní@êî$¼A î ü êXöôòê4íôiÿî ü êùiïó ü óöòÌó« öì°î-êÕí@êîEôÿ(õ×óiþê4õ×íXÿ ï@ôIëe` ê óiñ ü ì×ö3î@ê¥ï ï-êî-ê4òÌóií{ó öôiö%cß õ×ô5c ê¥ï{þdôiðöò ú e û í ü ô5 í@ôiëËê:ôÿ6î ü ê:î ü ê¥ôIï@ê¥î@ìñ¥óõIõÚì×ëËì°îíôiÿ% ü óBîñ¥óö[þdêfòôiöê óiþôIðî ô! î@ì×ëuì94 óî@ì×ôiö ìÚöÌí@ê¥ëËìíî-ï@ðñî@ðï-ê4òyõóöùIðóùIê4í
g\ ix xx i!:t, cEí w ê¼ñ¥óiõÚõfí0ðñ ü òê ê4öòê4öñì×ê4í5J Z FG CHAIKJML5N*N%b D ONQP G%R S OT S IVU!N T,NC. NwC AwJYNwZ[ ª^`©+ZQdJóiöòÌî ü ê¥ø a Nc5! Nc* óï-ê òwê «öê4ò[óIíóií-í@ê¥ï@î@ì×ôiöí î ü óBî ü ó ýiê(î ü ê í-óëËê:õ×ôiùIì×ñ4óõBÿ ôIï@ë óií í Fí0ê44 ê 4¡R w þðîRì×ö ü ì×ñ ü ic w óï-ê>ñôiö ðöñ î@ì×ôiöíJôÿXï-ê¥ùiðõ×ói+ ï óBî ü óBî-ôië¬í y Þôiï`ê ÷3ðóõ×ì°î-ìÚê í ü ê òwê «öì°î-ìÚôIöRÿ ôiïí-óBî-ì×í0ÿóiñî@ì×ôiöRôiÿ8ó`ùIìÚýIê¥ö $ ìÚö óJùIìÚýIê¥ö í0ê4ëuìí0î@ï-ðñ?î-ðï@ê ò*òóî-óiþóií@ê`ÿ ôIõÚõ×5ô XíXÿ ï-ôië î ü êËðí0ðóõëËê4ó,ö ìÚöù¼ôÿ(õÚôIùiìñ¥óiõ"ñôiööê4ñî@ì×ýiê4í{óöòÌ÷3ðóiöIî-8ì «ê¥ïíXóöò ÿ ï-ôiëzî ü ê í@óî@ìíÿóIñ?î@ì×ôiöyÿ ôiïï-ê¥ùIðõó ï óBî ü óBî@ôIë¬ífùIìÚýIê¥ö ê4óiï@õ×ìÚê4 ï ü ê¥ö î ü ênï@ê4ùiðõóïFwê (%ï-ê4í-í@ìÚôIöíFóï-ê#ï-ê4í0î@ï-ì×ñî@ê ò¬î@ôRí@ì×öùiõ×ê õ×óiþê4õ×í¬ì×ö ` >ccEí¬óiï@ê>ê ÷IðìÚýBóõ×ê¥ö3î¬î-ôbî ü êÌðí@ðóõ#ñôi,ö ðöñ?î-ìÚýIêu÷3ðê4ï@ì×ê4íEóöò í{î@ôn ðíî íEí@ê¥ê4öÀôBýiê4ï óyï-ê¥õóBî-ìÚôIöóõí-ñ ü ê¥ë¬ó ñôiöí0ìíî-ìÚöùyôiÿfþì×öóï-øÀí@ø3ëÕþôIõ×í#ÿ ï-ôië ` -gCJ 9@DIkO í#ñ4óöbwê (%ï-ê4í-í#ó¼õ×óiï@ùIêJýBóï-ìÚê¥îø>ôÿ ñôiöíî-ï-óiìÚö3î-íJôiö í@ê¥ëËìíî-ï@ðñ?î@ðï@ê òÝòóBî,ó 3{í fê í@oó +/î ü ê¥ø ùiê¥öê¥ïóõ× ì 4ê`ëËôIí0îEï-ê¥õóBî-ìÚôIöóõ/òê dê¥öòê¥öñ¥ìÚê í#ôiÿ:ìÚö3î-ê¥ï-ê4í0 î Éö óiòòìÚî@ì×ôi£ ö cêEñ4óö¼ê (%ï@ê í@íFñ¥ôiöí0î@ïóì×ö3î-ící0ì×ëËìÚõóïcî@ôuî ü ênôiöê í ï b? ü ê «ï-í0îËî fôÍþdê¥õ×5ô í@ó ø íÀú 2kT û í ê ñìÚÿ øHÿ ôi# î ü óî -óö6* ø ê4ï-í@ôiö ü óií#wê (óiñî@õ×øÌôiöêuí0ôñìóõí@ê4ñðï@ìÚîø>ö3ð" ë þê4ï E ü êXî ü ì×ï-ò¬í-ó øí/î ü óî î-ê¥õ×ê ü ôiöêö6ðëÕþê4ï-í:ñ4óöËôiöõÚø þê`ôiÿî c ô ìÚÿ:óö6,ø $6ì×öò í ýiôIì×ñ¥ênôiïFÿ5ó ( ü ì×õÚê`î ü ênÿ ôIðï0î ü ì×íXó 6ì×öò ôÿ8ùIê¥öê4ï-óiõÚ9ì ¥ê ò ôIìÚ%ö î ü óîEìíEê4÷3ðì×ý óiõÚê4ö3î ì×ö ê4óIñ ü òóî-óþóií@êJì×öíîóöñ¥ê { î@ôyî ü êuñ¥ôiö3î-óiìÚöëËê4öIîg g òêd ê¥öòê¥öñ¥ø! ÉöEî ü ì×í ód ê¥ï_c êª ì×õÚõ3ñôiöí0ìòê¥ï"í@ê¥ýIê¥ïóõñ¥õ×óIí@í@ê4í ôiÿ6÷3ðê4ï@ì×ê4í óöò ÿ ôiï{ê óiñ ü ôÿî ü ê¥ë~c ê ìÚõ×õ/ì×òê4ö3î@ìÚÿ ø óRñ¥õ×óIí@í{ôÿ:òê ê4ö% òê4öñì×ê4í ñ¥ôiöí0î@ïóì×ö3î-í u î ü óî ü óIí¬î ü ì×í6ìÚöòoôÿnî@ì×ù ü î>ñôiï ï-ê4í ôIöòê¥öñê ìÚî ü î ü êËñôIö3î-óì×öëËê¥ö3î{ôiÿf÷3ðê¥ï-ì×ê4íÿ ï-ôiëî ü ê óií-í@ô6ñ¥ì×óî@ê ò¼ñõóií-í FAF ^ 19I?i2/ f 67148./ j ^^ IkO Eê¥öê¥ïóõ×ì 4 ìÚöùËÿ ï-ôiëñôIö% ðöñî@ì×ýiêÞ÷Iðê¥ï-ìÚê íËî@ô G C JYB5CEZB XA B5C FG CHAIKJML5NW G NOJYNZc ê ñôIöí@ì×òê4ï;î ü ê óií-í0ôñ¥ì×óî@ê4òEñõóií-í;ôiÿ J Z FG CHAIKJML5N[N b a cN k N NwD TENwC !NCHAJYNZ[ +ZQd ü ìñ ü óï-êÕõ×ôiùIì×ñ4óõóií-í0ê4ï0î-ìÚôIöíEôÿ î ü ê ÿ ôiï-ë
·Ýú ?
&
D
!
"
( '
*)
FEGIH
K
ML
ì×ö*î ü ê"ï@ê4ëuìí@êÕôiÿ î ü êÕì×ëõÚìñ¥óî@ì×ôiöÞþê ñ¥óiðí0êuìÚîEìínê4÷3ðì×ýBó5 õ×ê¥ö3î`î@ôbñôiö ðöñ?î-ìÚôIöí`ôiÿ í ê ü ó ýiêËî ü ê¬ÿ ôiõ×õÚô5ì×öù î@ì×ù ü î ñ¥ôiï-ï@ê =í dôiöòê¥öñ¥!ê ;î ü êXñôIöIîóì×öëËê¥ö3î(ôÿdîfônðöìÚôIöí(ôÿ ñôIö ðöñî@ì×ýiêË÷3ðê¥ï-ìÚê íEì×ínê ÷IðìÚýBóõ×ê¥ö3îEî@ô> ó «öìÚî@êËö6ðëJþdê¥ïnôÿ í ;óöò*ó¼í@ì×öùiõ×ê ìí{ê ÷IðìÚýBóõ×ê¥ö3îEî@ô¼î ü êËñôIöIîóì×%ö ëËê¥ö3î ôiÿ ó[ñ¥ôiö ðöñ?î@ì×ýiêX÷3ðê4ï@øÕìÚö3î-ô`ó#ðöìÚôIö¬ôÿ;ñôIö ðöñî@ì×ýiê ÷3ðê¥ï-ì×ê4í 3 ìí G%RMR ì°ÿ8ì°îòô6ê4í öôî ü ó ýiêXê (ì×í0î@ê4öIî-ì×óiõÚõ×ø¬÷3ðóö3î@ ì «ê òRýBóï-ì×óiþõ×ê4 í ü # ê AU S ZNEú P û ñ4óöRþdêEwê (6î@ê4öòê4òRî@ô í ùiì×ý6ìÚöù{ó{òê ñìí0ì×ôi+ ö ï@ôñê òðï-ê(ÿ ôiïñôIö3î-óì×öëËê¥ö3îôiÿðöì×ôiöí8ôÿ ñôIö ðöñî@ì×ýiê ÷3ðê4ï@ì×ê4í"ðöòê4ï8óXí@êîôiÿ6ÿ ðõÚõ c í í@ê¥ê#ú M %P M R û ÿ ôiï# ó óï@î@ìóõ î-ï@ê óBî@ëËê4öIî{óiöò>ó ,dê¥öò8ì (*3 ÿ ôiï#ó¬=í Iêî-ñ ü ôÿ î ü ê[ï@ê í0ðõÚî- í cênðí@!ê } í ì°î ü "@DCE14I76[) i f 67iA) @DFZln8./AI76[) -019/67I5j ^ mo ^ I5O 3{ í _cêËòwê «öêÕî ü êËñõóií-í#ôiÿfò ê ê4öòê¥öñì×ê4íEî ü óBî`ñôIï@ï-wê ?©,c9{s c?, 7¡ ¯
$&%
5
6
JEG
) -0+.CE@D/67I5j iA@N) 14@DI -0/2F F2@5J @N/2F2@N/ f 19@DI é6ìÚöñê ñôiö3îóì×öëËê¥ö3îcôiÿ6>cEí ìí?cé%3 >cªÉñôIëõÚê¥î@êJú e û cê íî-ðòø O S P# b NwC IYZôiÿ:î ü êÕõ×óiöùiðóùiêÕòwê «öê4òÀþ6ø>ï-ê4í0î@ï-ì×ñî@ì×öù î ü ê>ï-ê¥ùiðõ×óiïÕê (;ï@ê í@í@ìÚôIöíËóõ×õÚ5ô cê4òÝìÚößóBî-ôië¬* í ñôIö ðöñî- í À ê 0 í × ì ë × õ 4 ê 0 í R î ÿ ï i ó i ù Ë ë ¥ ê 3 ö î c i ó Ú õ × õ ô 5 Ú ì ö ù ð í ¼ î õ ó d þ ê¥õíRóiöòßñôi,ö ü ñ¥óBî-ê¥öóî@ì×ôi_ö 3ìí:ê4÷3ðì×ýBóõ×ê¥ö3î:î-ôJñôIö ðöñî@ì×ýiê#÷3ðê4ï@ì×ê4í:ôBýiê¥ï þ8ì öóï-ø>ï@ê4õ×óî@ì×ôiö í cêî cê¥ê¥öÀî ü ê í0êËóöòbùiê4öê¥ïóª õ >ccE í cê ñôiöí0ìòê¥ïFî ü ênÿ ôiõ×õ×5ô ìÚöùÕÿ ïóùiëËê4öIîí
v
#
·Hú l5n,p q¡nx87 ¢9© ¥oS D q0©o© S û ·%· .· ú8l5n%p q;nbx.7H¢95© ¥o;: :E0©o© : 0© © û ·%· !· ¼ú §¢o¨Yp ¥ = @? sNK û ·%· !· ¼ú y¦ ® B¨ AH î@ê ñ ü öìñ¥óõ#ìÚëd ôiï@î-óiöñêÀþðî¼î ü ê¥ì×ï òê« öìÚî@ì×ôiöíEòìòÀöô¼í@ðùIùiê4í0î#óiö3ø3î ü ìÚöù¼þdêî0î-ê¥ï#î ü óiö*ñ ü ô6ôIí= ì×öùuî ü ê í0ê`óiï@þìÚî@ïóï-ø¬öóiëuê í D 14),I761G%(H) F2@5)*m@ 49-'67198:/2-64%$M) -0/2I 49-'67198:/ O 3cîcî ü ê[ñôIï@ê
E
ôÿ6ôiðï;î@ê ñ ü öì÷Iðê(ì×í8ócî@ïóöí@õ×óî@ì×ôiöEôÿí0ê4ëËì×í0î@ï-ðñ?î-ðï-ê4òn÷3ðê¥ï-ìÚê í óöòEòê dê¥öòê4öñì×ê4íìÚö3î-ô«ï-í0î=ì×öí@ì×ò ê &nõ×ê¥ê4öê í0î-óïí ê «ïí0îuî ü ì×ö4 ù fêÌòôÍìí 6[) -0/2I 9-'67@ - (p- ) u8+*#í0ì×öù ü£ î ü êyê ÷IðìÚýBóõ×ê¥öñ4 ê Ysu v x yZ YsHx y u Kvox y "fêyëËôBýi ê u8ì×ö î ü ê ôiðî@ê¥ï-ëËôIí0 î dôIí@ì°î-ìÚôIö[ìÚöJî ü b ê ';i i¨'ti u QìíXê ÷IðìÚýBóõ×ê¥ö3î#î@ô Zy y ¬óBÿAî-ê¥c ï ü ìñ ü õÚôIùiìñ¥óiõê4÷3ðì×ýBóõ×ê¥öñ¥ê4ífþï@ì×öù î ü êËòì×í4 ðöñî@ì×ôiöíEôið î 3kòìí ðöñ?î-ìÚôIöínìÚö*î ü ê ï-ê¥ëËìí0êuôÿ î ü ê#ì× ë õÚìñ¥óî@ì×ôiö ìÚö óÕòê dê¥öòê4öñø¬ìícê4÷3ðì×ýBóõ×ê¥ö3îfî-ôuóuñôI%ö ðöñî@ì×ôi
ö ó¬í@êî côÿòê dê¥öòê¥öñ¥ìÚê í ôRí0ðëuë¬óiï@9ì ¥ ê
·%·. · ° ú 0v °
=
2
43
r IKO S ,C Z R S IKJMC;P S $S r+IMUEN u S :C rQ;i i ¨'ti u D + md@DCE-0) O W G NwOsr a NA BbNwZ S C N W G MJ L S5R NCEI G CEJY5B CB ';i i ¨ t wD=W G N OJYNZ
:
65 R
° r
ú ' ¯ ¯ ú ' ¯
¯
:
¯ sd û =
: ¯ v û×û 9 ô5+ C Kg #ìí[ó¼ï-ê¥õóBî-ìÚôIöóõ(÷3ðê¥ï-øÀóöò C BA¡ Eìí[óyï@ê4õ×ó î@ì×ôiöóiõ/òê ê4öòê4öñø ;þôiî ü ôBýIê¥ï{î ü êËí@ñ ü ê¥ë¬ó*`6'^N R +{ f ô5 ê¥ýiê4ï fê ì×õÚõ:ðí0êËî ü ê¥ë öôî`ôBýIê¥ïnóï-þì°î-ï-óiï@øÌì×öí0î-óiöñê ínôÿ `6'^ N R þðîEôIöõÚøÌôBýIê¥ï#ìÚöí0î-óiöñê íXî ü óBî`í-óBî-ì×í0ÿ øÌí=d ê4ñ¥ì8« ñuí@êî-í ôÿ[ï@ê4õ×óî@ì×ôiöóiõXòêd ê¥öòê¥öñ¥ìÚê í ôÝòê4óiõ ì°î ü î ü ê*ý óiï@ì×ôiðí ÿ ï-óiùiëËê¥ö3î-í %c ênñ¥ôiöí@ìòê¥ïcîc ôËí@ðñ ü í@êî-í $>2@FE t FA@NJM@D/2FA@D/ f 19@NI5j öôòêHGY .· ,·. Àú ¨= 7i! , ?
