Containment and Equivalence for an XPath Fragment

Containment and Equivalence for an XPath Fragment [Extended Abstract] Gerome Miklau

Dan Suciu

Dept of Computer Science University of Washington Box 352350 Seattle, WA 98195

Dept of Computer Science University of Washington Box 352350 Seattle, WA 98195

[email protected]

[email protected]

ABSTRACT 
      "!# $&%' ( )*,+.-./0!2143

526/784 914( :;85
 5?#(9( !$#(*$8&/
 /*#(5#( )85 !cU9#V!2/&5=
5?#(&( !$ #(TF "@' !$r n,+.-s00N 19( !5=tO5An#(]$8&/ Su09#8Amv wxW![F0 $/]%#8 F&5yL S,+.-nz1C09KMv {|x !â v â x å á å ¸ å È Ÿ8¼¡ ¯(#8 F09/b5?2 %& #($/&/r * N #8NAb!*553 9'CQ$/[#(*!* N(&/.P#(!t0*/ (15( !c=\O0[è15#83 #(9'V!2/&éR  09&/09/\ K15!'5?2CdN HI ê·ë&·vÐÈ ··ì4x½D0/*19 !09#8UW 8,FG,5N * $&/~D2= = ê0·'È ·ë L&@'0 %9'!Jê·ë= í %I9B;5?#(&( ! âBî 
¦9§"¨ © ª&© «N«4¬ /S#(56à î ß à D ⠟Pá,/05!9.85\! 0!2/0&, TÃ4=f]K/! "!#(K 89K2( 19TŸq!* N(&/:P#(!Ê0 .F$#1C4¡6 %I9o lv {Úx½D }?2 T[#(!'!.614!'5?2b!2/0=ÑOLU!;
¦&§ ¨ © ª9© «N«4¬ 5?23 #(9( !$#(,15!'C &/* N~5 #L#(980NW85CL#(,14!'C 9/ P!#)9%I9#8A[#(9=6OLU!65?#(&( !J#(&@'0 %9' NW5 # #(&8R85C #(&@'$½= f]M 8!:$8MÌN9#($( %D\/ ï Ž&2®ðR™˜5˜9Žšc“ N '(NAa!#(˜ [SEŠqš~‹]OJ$/2A.! #(9V$(9#()KC10 W0#(!F09K~$E!Q0 !#8A,U 0 1 $)"!215$89/S0#8 K#8 NNAg!]#(!F09”! 5% ( !S! $(9#($5D!V15!'C 09'&=EeR9%I9#805&(5D NZ d N* (3 )! 14!$ /9#LR/N M9#(5$15& FG5UL99KR89K'( 19L! !0# $(5#($W/6!09#WKC10 0 #(!F09K5= OLU![(9#(]KC1C .0#(!F09K)#(b98G&14 NNAM#(5 9/ !6!#5=bO0 }$#&Dd8!5( &19N 9/]14 ( 19L#(9(3 9#(:KC1C 0DL 2%I!%I&Kg!#(V•iÂ.˜0V.ÃŽ“Œt[5C[™GšVGšEŠ”[™—L•JV }E—ZŠqšP\•'ŸNÂG¡ Œ }E“>[IŽŠ”Z
}aŠqš—–[˜&Š;Vš™˜ >q ›  › ž¡

z9#10 \P!# 0#14( 19Z8!( !$5DU, 2%I&( I,UL!*/ N3 (# &14( !$5ž®Ÿ8¼¡6}$/nÌ4_K14 9'Y15!'C 09'Y!#8 N $L WNU&A0W8!$/D2FW!W&14&((#8 NNAr15! 4D/ Ÿ{¡ }$/b 8!$/r/615!05 !#8 NÕW  6hVR3
OX8+.hÝ ;95#½DLF00\  #(!%F0NAg5_K14 9'* ;8G&14  198&5=,f])UW NN  %I g!#8 N0iU9#8 0gŸ8¼¡W gz2&143 ( !.Û2DG$/r8K#8 k9R CW0#(!G9#8( &W5#(ž ð>Ž VG(– VG“&Š"˜&pŠ V´ š ‹FŒ µ9š [V•g–d—"2˜9M™—"X‹ VGŽŠ">˜ SdI • Tqr~ý²4±(²K² ¶­g øP¿°q¿r´T¿4ûõ2µ ¾ ú5õ2°øPµ$ÀCû ³Gö²4°^²Ÿ š

œ

ž¡

ž 

£¢

‰ "Š ‹ŒEŽ&"¤~‘,’>˜&Ž&26–E™0˜9˜9ŽšVG–(VG“&Š"˜&ŠpVšÝq

OY$U5#6!aŸ{¡ "b!#(Y15!05?=xºR919N$r"!# [#(&#8 149/n1C"(8&.
¦&§ ¨ © «N«4¬ Ä8
¦9§"¨© ª5¬ Ä8
¦ª&© «N«4¬ 09#(Y#(
OX8+.h !#8 NK5=lX8/09NNA:U[U!0 /: HI[!S5?29$/ 98*!
OJ#(!'! ,#(!%' "/&/. :v ¼&|x=*OJ#(!G! N( !g 0N & $*14!'C 52)"!#
¦9§"¨ © ª&© «N«4¬ \ S15!e
ZDZJ#(&@' #(9/ P!#O09!#(5K)¼D {'D/ !!#( "8K FG5^U99 $(9#($5D U  1C #(ä0 F$  !j!#8 NK P!# 0
LOX+.h P#9'C $ z29Lz&14( !)€W"!#Z14!9'CG!,0L198VU 09JÞ[ ~}0 N=

69


¦Cª9© «N«5¬Ä(
¦9§"¨ © ª5¬Ä
¦&§ ¨ © «N«4¬D


a

b

a

b

b

c

b

c

b

c

*

c

*

c

d

d

d

d

>=0

>=1

=0

>=1

d

Ÿ½¡

=0

OR

qŸ FG¡ ‰QŠ ‹ŒEŽ& ~‘\’”“0VŒdš}“¦(ZŒc˜Šqš[­V•g–d— ˜5T™—"‹XVGŽŠ"˜TSE• Œ8™ T¦™$š}m™$šB c™$•g–d—""§QScŽ[Š ˜KŠP“Šqš[­VG•g–d—"2˜9

Œ >q

15!055NAT/055#(* 0&/TF'AT.1! "14!Q19! 19L!2/05 P!# â × L80F0#(9VÂcžcP!# &1*à î \gŸ â ¡dULQ/090!Wà  î \TŸNÂG¡ ,8F0#(515!#(#(98G!$/2 *!ÂgŸ½85œd =Î¡4= f] (80J}$#$WÂMÆ:  $ ! ñ  " Iñ & Dc$/Y8!&UÝ P!#,9%I5#8A