+ All Categories
Home > Documents > peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=?...

peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=?...

Date post: 05-Jul-2020
Category:
Upload: others
View: 4 times
Download: 0 times
Share this document with a friend
21
Transcript
Page 1: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

����������������� �����������������������������

�� �!" $#&%('*),+- $#/.10325476(28!"932 :* ;!"<$ ;#>=?�@�A>B8C;DFE-GHA>IJE�K;LNMOC;E-PQA>GRC;E-SUT>VWC$I8XZY[K\GHBQ]QE-SUI8^`_3T>SUA>IQT>A\a

Y[P8C$bUGHAcD-Ved�IQSUfgAcD-VFShEjikK$LmlnA>ToP8I8K$bUK\^$iJpq C;rts*u�vgw`xzy`y/w\{$w\{\{zp

|z}\~J}\�\�J�z�g�n�����3�g�>�Q}\�3�n�F�;}��@�A>B8C;DFE-GHA>IJE�K;LNY[K\GHBQ]QE-AcD�_zT>SUA>I8T>A$a8d�I8SUfgAcD-VFShEjikK;L���C;b�AcV�_J��C$IQVFA/C3a_3SUI8^$b�A"E-K\IZ�mC�D-�ta*_z��C$IQVFA/CH_Q�����$����a*d��`p

q C;rts8u�v\v�y/�$�g�R�;�g{$w\{zy$p�������F�;}\~g�J}\�g�z���3�;�����J�n�¡ $¢

£R¤m¥>¦>§�¨*©$¦\ª �A1^\SUfgA(Ej�[K�«*IQShE-A`C;r3SUK\GRC�E-SU¬/C;E-SUK\IQVK$L�SUI8XQAcr3A/X�SUI*XQ]QTcE-SUfgAc­®D-Ac­T>]3D-VFSUfgA�XQA"«*I8ShE-SUK\IQVmSUI1SUIJE-]8ShE-SUK\I8SUV�E-SUT[E�iQB,ANE-P8A>K;DFiJp;l�P8Aci(AcrzE-A>I8X(K$]QD�B3D-A>fzS�K$]8V«8I8ShE-AWC;r3SUK\GRC;E-SU¬/C�E-SUK\I8V�K$LtSUI*X3]8TcE-SUfgA"­¡D-AcT>]QD-VFSUfgAeX3Ac«*IQSUE-SUK$I8VNK$LtVFAcE-VNE-K`¯±°,²J³F´J³F²µ>¶;· ¯¹¸ ¯¡³"º�K$L5VFAcE-V�C$I8X`A>I8TcK\GHB*C;VFV�f3ShDFE-]8C$bUbhiHC$bUb,X3Ac«*IQShE-S�K$I8VNK$L5VFAcE-V��eP8SUToPHP*C/fgA» A>AcI�]QVFA/X(SUI(SUIzE-]QShE-S�K$I8SUV�E-SUT[Eji3B,A�E-P8A>K;DFiJp;l�P8A�GHK;D-AND-AcV�EFD-S�T"E-A/X�K;L8E-P8ANEj�[K�C�r3­SUK\GRC�E-SU¬/C;E-SUK\I�C�D-S�VFAcV�I*C�E-]QDoC;b�bhi » i�T>K$I8VFS�XQA"D-S�IQ^HSUI*XQA"rQA>X�SUI*XQ]QTcE-SUfgAc­®D-A>T>]3D-VFSUfgAX3Ac«*IQSUE-SUK$I8V�C$VmSUIQSUE-S�C;b8C;b�^$A » DoC;V�S�I�VFbUS�TcA�T/C;E-Ac^\K$D-SUA>V>a\�eP8AcD-A/C;V�E-P8A�K$E-P8A"DNC\XQGHShE-VC1GHK;D-A�^\AcI8AcDoC;b�C$I8X�T>K$I3f\A>I8SUA>IJE�L¼K$D-G½K$L�C;IOSUIJEFD-KzXQ]8T"E-S�K$I�D-]8bUA\pl�PQA�T>b�C$VFVNK$L,SUI*X3Acr3A/X�SUI8XQ]8T"E-S�f\Ac­®D-A>T>]QD-VFSUfgA�XQAc«8I8ShE-SUK\I8VmB3D-K\B,AcD-bhi�T>K\IJEoC;S�IQVmE-P8AT>b�C;VFVOK$L�SUI*XQA"rQA>X¾S�I8XQ]QTcE-SUfgA�XQAc«8I8ShE-SUK\I8V7¿¹VFK T/C$bUbUA/XÁÀjSUI*X3]8TcE-SUfgA�L¹C;GHSUb�SUA>VFÂgÃ"p_z]8ToP�X3Ac«*IQSUE-SUK$I8V�C�D-A�] » SÅÄJ]QSUE-K$]8VN�eP8A>I�]8VFSUI8^(SUIzE-]QShE-S�K$I8SUV�E-SUT�Eji3B,AWE-P8A>K;DFiHL±K$DL¼K$D-GRC$bUSU¬>SUI8^�GRC�E-P8A>GRC�E-S�TcV�C;I*XB3D-K\^;DoC$GÆT>K$DFD-AcTcE-I8A>VFV>pm�ÇVFS�XQAHAcÈtA>T"E1K;L�E-P8AB3D-A>VFA>IJEeB*C;B,AcD�SUV�E-K1^\A"EeT>K\GHB8C$TcE�«8I8ShE-A�C�r3S�K$GRC;E-SU¬/C�E-S�K$I8VeK$L�S�I8XQAcr3A/XRSUI*X3]8Tc­E-SUfgAX3Ac«*IQSUE-SUK$I8V�SUIOSUIJE-]8ShE-SUK\I8SUV�E-SUT�Eji3B,A�E-PQA>K$DFi�C;V�VFB,A>TcSÅC;bnT/C;VFA>V>p�mD-K\B,AcDNSUI*X3Acr3A/X�SUI8XQ]8T"E-S�f\Ac­®D-A>T>]QD-VFSUfgA�XQAc«8I8ShE-SUK\I8V�¿±E-PQK\VFA��ePQS�ToP`X3K�I8K;E�T>K$DFD-A"­VFB,K$I*XkE-K�SUI*XQA"rQA>XkSUI*X3]8TcE-SUfgA�XQAc«8I8ShE-SUK\IQVoÃ[C;D-A&]QVFAcL±]Qb5SUI�S�IJE-]QSUE-SUK$I8SUV�E-SUT&GHAcEoC;­GRC�E-P8A>GRC�E-S�TcV>a5C$I*X�C$V(C;I7AcrQC;GHB8bUA��[A1L±K;D-GRC$bUSU¬>ARl�C$ShEF­¡V�Eji3bUA`T>K$GHB8]3EoC » SUbUShEjiB3D-A/XQSUT/C�E-A>VkL¼K$D�XQA>B,AcI*XQAcIzE1Eji3B,A>V>pN��A�C$bUVFK�VFPQK��ÉE-P*C�Ek�mC$bUGH^$D-AcI�Ê V�B3D-KJK$LÅ­E-PQA>K$D-AcE-SUT/C;bUbUikV�EFD-K$I8^T>K\IQV�EFD-]8TcE-SUK$I�K;LnPQS�^$P8AcDF­¡K;DoXQAcD[]8I8SUfgA"D-VFA>V[SUV�C;IkA"r8C;GHB8bUAK;L(C�BQD-K\B,A"D�SUI8XQAcr3A/XËS�I8XQ]QTcE-SUfgAc­®D-A>T>]3D-VFS�f\AZXQAc«8I8ShE-SUK\I5p��ÉE-PQShDoXÌSUIzE-A"D-A>V�E-SUI8^AcrQC;GHB8bUA�SUVHB3D-K;fzS�XQA>X » i�Í[K�fgAOC;I*XÎY�C$BQD-A"EFEoC3Ê VRXQAc«8I8ShE-SUK\I K$L�E-AcD-GHSUI*C�E-S�K$IB3D-A/XQSUT/C�E-A>VWL¼K$DeL±]QI8TcE-SUK$I8VWXQAc«8I8A/X » iRI8A>V�E-A/XkD-A>T>]QD-VFSUK$I�pÏ ]3DRC;r3SUK\GRC�E-S�¬>C;E-SUK\IQVRL¼K$D-G�C�B,K/��AcDFL¼]8b�L±K$]8I*XQC;E-SUK\IËL±K;DR^\A>IQAcD-SUTOBQD-K$^$DoC$G`­GHSUI8^R�eShE-P�X3A>B,A>I*X3A>IJE�Eji3B,A>V » iOS�IJEFD-KzX3]8T>SUI8^�CkE�iQB,A�K$L�TcKzXQA>V�L¼K$D(SUI*XQA"rQA>XSUI*X3]8TcE-SUfgA"­¡D-AcT>]QD-VFSUfgARX3Ac«*IQSUE-SUK$I8V(C$I8X�GRC$�zSUI8^OShE(B,K\VFVFS » bUARE-K�XQAc«8I8AH^$A>I8AcD-SUTL¼]8I8T"E-S�K$I8V » iRD-A>T>]QD-VFSUK$IOK\I�E-PQSUVeE�i3B,A\pÐ�ÑzÒ5Ó�Ô §$Õn¥\Ö @�AcB,A>I*X3A>IJENE�i3B,AeE-PQA>K$DFiJaJMOC;DFE-SUIQ­�×NØK$LnlNi3B,A�l�PQA>K$DFiJa\SUI*XQ]QTcE-SUfgAX3Ac«*IQSUE-SUK$I8V>a�S�I8XQ]QTcE-SUfgAc­®D-A>T>]3D-VFS�f\A`XQA"«*I8ShE-SUK\IQV>anSUI8XQ]8T"E-S�f\A1L¹C;GHS�bUSUA>V>anS�IQShE-SÅC;b[C;bh­^$A » DoC;V>a*I8K;D-GRC$bUSU¬/C;E-SUK$IZBQD-KJK$L¼V>a*^$A>I8AcD-SUT&B3D-K\^$DoC;GHGHSUI8^Qp

Ù Ú8ÛWÜ,ÝtÞ&ß�à(ánÜtâ-ÞWÛãF2Ìä åJæ�ç,!"è5 �é�#cêo!0zë,!cèt93#&ì¼28!"#c9*4të5í� \4�!cèt Hí�932�í� ;ît!�93ï[ì¼254,ë�í/!"ì¼ð3 ;ñj#c $í;ët#>êoì¼ð3 14, �é525ì�!cìÅ9Q25ê;ç0z2Z �ò*!c ;25ê"ìÅ9Q2Z9zïm93#>4,ì¼250z#c'kì¼254,ë�í/!"ì¼ð3 14, �é�2tì�!cìÅ9Q25ê$óQô�'�ì¼254,ë�í/!"ì¼ð3 ;ñj#c $í;ët#>êoì¼ð3 4, ;é52tìÅ!"ì¼9325ê

Page 2: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

�;v ��A"E-AcDW@�i »�� AcD�C$I*X���IJE-K\IO_3AcE-¬cAcD

932t �í;0z2ËìÅ254të5í/!cìÅðQ ��¼' 4, �é525 �07êo ;!����&è5ì��¼ �ê"ìkë��Å!c032t ;9Që5êo ��Å'#c $í�ë5#cê"ìÅðQ ��¼'4t �é52tì¼2� 0ï®ët25í/!cìÅ9Q2���������� ç��&èt ;#c �� ì¼ê&032�03#")5ì�!c#c03#"'�!-'*î� Qó��èt 7î5#"ìO ;òt0�Oî��¼ 793ï�0z2 ìÅ254të5í/!cìÅðQ �ñ�#" \í�ët#>êoì¼ð3 4, �é�2tì�!cìÅ9Q2 ì±êO0Ëë52tìÅðQ ;#>êo Qç[!"è50z!

ì¼ê$ç�0Îê" �!�� 93ï�í�9,4, \êRï®9Q#Oê" �!>ê�!"9� Q �!cèt ;#��&ì�!cè 0Ì4, $í;9,4,ìÅ2� Ëï®ët2�í/!"ì¼932������ � ê" �!$ç�&ètì¼í>è 03êcêoì 32�êR!c9¾0Ìí�9,4, ì¼2!� !"èt �ê" �!Oì�!�4, $2t9z!c $ê$ó�6�êZ0z2 �òt0�Oî��¼ í;9325ê"ì±4, ;#�!"è5 í�932�ê-!c#"ë5í�!"9Q##"$ ì¼2Q!c#"9,4,ë�í�ì¼2� �í�9,4, \ê�ï®93#&!cèt %$kñ�!-'*în 3ó�&Ì Hè50gðQ '"$(�*),+-�.�0/213���4)5+.67���68�9�:)¹!cèt �#" \034, $#k2t93!�ï¡0�Oì��¼ì¼03#%�&ìÅ!"è !"è5ì¼ê�2t93!c0J!cìÅ9Q2�ç;�&ètì±í>è<�&ì����)n 7 ;ò*î��¼03ìÅ2t \4ìÅ2 :* \ízó>=,ç7Oì 3è8!�!c �Oîn93#>0z#cì��¼' ê"ët)5êo!"ìÅ!"ë,!c @?#+A�B�0C ?@1D��),�4),+E6#�F��6GCH� ï®9Q#�!"è5 !-'8în �9zï'"$�6/óJI(9z!c �!"è50z!Z!"èt ê" $í;93254 0z#K 3ë�O $2Q!�1�9zï<"$L),+*/K1�6k#c �ï® $#cê�!c9D�4),+E6�ó7��ètì¼êO0�M3 \ê�ê" ;25ê" Ëê"ìÅ25í; Ë)n �ï®9Q#" �"$�)5+*/K1G6�ì¼ê7ìÅ28!c#"9,4,ë5í; $4mç0+N��� è50QêZ!"9 )� Î $êo!c03)��Åì±ê"èt $4mç0z254O�&è5 ;2P+@�*� ì±ê( \ê-!>0z)��¼ì±êoèt \4mçn932t �í;0z2Î#" \í�ët#>ê"ìÅðQ ��¼'74, ;é52t ��4),+E6/ó*&Ì k!cèt ;2Ì4, �é525 #" \í�ët#>êoì¼ð3 ��Å'Q�4) "$�)5+*/K1G6R6TSU$L)V�4)5+.6G/�),W*6X�%)51Y),W*6Z6R6L)®93#�ì¼2<O93#c �!c#c0Q4,ìÅ!"ì¼93250���2t93!c0z!"ì¼932�4) "$-),+*/21G6Z6�S[$%W\�]�4),+E6^C �4)_1Y)VW`6Z6Z6�ó]��ètì±êHì±êRîn9Qêcêoì¼)��¼ 3ç�ê"ìÅ25í; a�4)5+.6103254Q�4)51Y),W*6R6H0z#c M8259Y�&2R)� ;ï®93#c J�� Wì¼28!"#c9*4të5í� "$L)5+*/K1G6�ócb( ;#c J�� �ê" ; e!cèt �2t9Jð3 ���!-'19zïtì¼254,ë5í�!"ì¼ð3 ;ñj#c $í;ët#cê"ì¼ð3 4, �é525ì�!cìÅ9Q25ê�#" ��¼0z!"ì¼ð3 &!c9kì¼254,ë5í�!"ì¼ð3 `4, �é525ì�!cìÅ9Q25ê��,032�ìÅ28!c#"9,4,ë5í�!"ì¼932�#cë��¼ (ï®9Q#>��O0g'O#c �ï® $#!"9�!"èt �ï®ët25í�!"ì¼932��!�&è5ì¼í>è7ì¼ê�ê"ì��ë���!>0z2t $93ë5êR�¼'�4, ;é52t \4móEI9z!c (!cè50J!0� $ð3 ;27í;0z270zîtîn $03#2t � 80J!"ì¼ð3 ��Å'ì¼2�!"èt �!-'*î� �9zïW07í�932�ê-!c#"ë5í�!"9Q#$çn03ê�ìÅ2�!cèt �!-'8în k93ïL"$7ó*b(9Y�� $ð3 $#$ç,!cèt Oí�932tñê-!c#"ë5í�!"9Q#&#" ;ï® ;#>ê&932��¼'7êo!"#cì±í/!R�¼'�în9Qê"ìÅ!"ì¼ð3 ��¼'�!c9Z ��¼ �O ;28!>ê9zï[!"è5 RìÅ2�4,ë5í/!cìÅðQ ��¼'74, ;é52t \4�êo ;!��ó

ãF2�!"èt kê"în $í�ì±0���í;03ê" ��&èt $#" ��N���N�ed�ç��&èt ;#c ad�ì±ê&!cèt H!-'*î� 4�&ì�!cè 932��¼'�9Q2t H ��¼ �ñ� $28!$çzê"9(!cè50J!f� 4t98 \ê[2t9z!eí�9Q28!c0zì¼2�032*'HìÅ2,ï®9Q#RZ0z!"ì¼932�çgì¼254,ë5í�!"ì¼ð3 �ñ�#c $í�ë5#cê"ìÅðQ �4, ;é52tìÅ!"ì¼9325êêoîn $í;ì¼0��Åì¼<; �!"9ìÅ2�4,ë5í/!cìÅðQ �4t �é52tìÅ!"ì¼932�ê;óhgt9Q#H0�4, ;!c0zì�¼ $4 ;ò,î��¼03250J!cìÅ9Q2Ë93ïe!"èt Oí�9Q25í� $î,!`9zïìÅ254të5í/!cìÅðQ �ñ�#" \í�ët#>êoì¼ð3 �4, �é525ì�!cìÅ9Q25ê;ç*!cèt `#" \034, $#�ì±ê�034,ð*ì±êo \4Z!c9�#c $0Q4O!"èt H0zï®93#c �O ;28!"ì¼9325 $40z#"!"ì±íG�¼ Oä åJæ�ó

ãF2Ëä åzæ�!"èt `í;0Qêo 93ïJikj*lnmRo.m2l(ìÅ254të5í/!cìÅðQ �ñ�#" \í�ët#>êoì¼ð3 �4, �é525ì�!cìÅ9Q25êB),pqpGr-6Wì±ê�0��¼ê"9�í;9325ê"ì¼4,ñ ;#c $4mótãF2�0327ã"ãts 932t H4, ;é52t $ê(0�uGvYw�ikxzyH9zï�êo ;!cê{�T),|t6/çtì¼254, ;ò* \4�9Jð3 $#}|��n~�çtì¼254,ë5í�!"ì¼ð3 ��¼'3ç�&ètì��¼ �êoìkë��Å!c032t ;9Që5êR�Å'1#" \í�ët#>ê"ìÅðQ ��¼'14, ;é52tì¼2� �0ï¡0�Oì�Å'H93ï,ï®ët25í/!cìÅ9Q25ê��4)V|t6����T),|t67��� ä |�æï®93#�ê"9�O �í;9���Å \í/!cìÅ9Q2Ì93ï�!-'8în $ê�� ä |jæ�)V|���~.6/ó0)V&Ì �è�0gð3 O!"9@�&#"ìÅ!" ��Ëä |jæ�ç�!"è5 �#c $ê"ë���!�9zïêoët)�ê-!cì�!cë,!"ì¼2� a|Wï®93#(0�étò, \47ðJ03#"ì±0z)��¼ `ìÅ2#� èt $#" Qç5ê"ìÅ25í; �� ä |�æ[ì¼ê(0�!-'8în R0z2�4��� Hí;032t2t93!�&#"ìÅ!" ����;~Q� !-'*î� Qó 6k6� Q03ìÅ2 í;9325êo!"#cë5í�!"93#>êH93ï{�8)V|t6Hí;032 #" ;ï® ;#k!"9#�4)�.6H0zîtî��Åì¼ $4Ì!c9 ��¼ �O ;28!cê9zïf�8)��.6/ó

ãF2 ä �Jæ10z254 ä����Jæ3�� �ît#c $ê" ;28!c $4 íG�¼9Qê" $4 0Jò,ì¼9�Z0J!cìÅ<\0J!"ì¼932�êO9zï1!"èt �!cèt ;9Q#"' 9zï`2t932,ñìÅ254t �ò, $4kìÅ254të5í/!cìÅðQ �ñ�#" \í�ët#>êoì¼ð3 e4t �é52tìÅ!"ì¼932�ê;ó\ã�![ì±êN!"èt �93),+- \í/!cìÅðQ W9zï,!cètì±ê[03#o!cì¼í��Å W!"9� �ò*!" $254!"ètì±êZ!c9 ìÅ254t �ò, $4 ì¼254,ë5í�!"ì¼ð3 ;ñj#c $í;ët#cê"ì¼ð3 �4, �é525ì�!cìÅ9Q25ê;ó�&Î @�&ì����ê" ; �!cè50J!�!cèt #c $ê"ë��Å!"ì¼2� #"ë��¼ $êH03#" O2t93!�kë5í>èQO93#c Zí�9�Oî��¼ì±í;0J!c $4Ë!"è5032Ì!"èt Z#cë��¼ $ê1ï®93#`!cèt �2t9Q2,ñ�ìÅ254t �ò, $4Ìí;0Qêo Qó&Î 3�&ì�����¼9*9�M�0J!W!t��9R0��Å!" $#"2�0J!"ì¼ð3 \ê��3ãF2a�Y�������Y�5�����.�'pqpGrU)®ì¼2Q!c#"9,4,ë�í� $4�)8'T�`ó.��9E�8ë503254ï®93#Oë5ê" 7ì¼2 !cèt Lb�0��Åï103254 6{ Q4t0 ä �3æ&ê"',ê-!c �Zê26��� 7í$0z2 4t �!" $#ROì¼2t 7ï®93#O $0Qí>è ìÅ2�4, �ò'|!"èt Oêo ;!�93ïW0z#K 3ë�O ;28!>ê9zï�!cèt Oí�932�ê-!c#"ë5í�!"9Q#cê(ìÅ28!"#c9,4,ë5í;ìÅ2� � ��¼ �O ;28!cê�9zïW!"èt �êo ;!B�3�-ó�ãF2��� �Y�������Y�5�����.�NpqpGr ä åJæ�çmï®9Q#k0�í�932�ê-!c#"ë5í�!"9Q#4���&ìÅ!"è 03#R Që�O ;28!cê��Wçm!"èt �ìÅ254t �òP|1ê;ó !$ó�T),�;6}�n�{��4t ;în ;254tê932!"èt R03#R Që�O ;28!cê0�¾93ïf��ó

ãF254, �ò, \4¾ìÅ254të5í/!cìÅðQ 74, ;é52tìÅ!"ì¼9325ê��tpqpG�O�Zê"ët)5ê"ë�O �ì¼254,ë5í�!"ì¼ð3 ��Å'¾4, �é�2t $4 #c ��±0J!cìÅ9Q25ê$çêoë5í>è�0Qê�!cèt (ì±4, ;28!cì�!-'�#" ��¼0z!"ì¼932Oët254t ;#>ê-!c989,4�0Qê�!"è5 {�¼ $03êo!W#c G�5 ;ò,ìÅðQ &#" ��¼0z!"ì¼932�ó���èt ì±4, ;2,ñ!"ìÅ!-' #c ��±0J!cìÅ9Q2\��03ê�ìÅ254t ; $4 !cèt 9Q2��Å' �òt0��î��Å �93ïH032 ãoã-% ìÅ2 !cèt $03#R�¼' ðQ ;#>êoì¼932�êO9zï� 0z#"!"ì¼2,ñX�J 9zï&!-'*în !"èt $93#c' ä���¡zæjóf��èt $93#c �!cì¼í$0���Å'QçN!cètì¼ê�ì±ê�2t9z!Zð3 $#"'¢�¼ì�OìÅ!"ì¼2� ¾êoì¼25í� 9325 í;0z2 4, ;é52t aZ0328'Ë9z!"è5 ;#Hï¡0��ì�¼ìÅ \êH9zïê" �!cê�)®ît#c $4,ì±í;0z!" \êK61ë5ê"ì¼2� �!"èt Zì±4, $2Q!cì�!-'Î!"9n 3 ;!"èt $#

Page 3: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

� I8XQAcr3A/X � I*X3]8TcE-SUK$IQ­���AcT>]QD-VFSUK\I �\{

�&ì�!cèR!"è5 �93!"èt $#�ê" �![ï®93#K� $#cêN9zï,!-'*în W!cèt ;9Q#"'Qó\ô�ë,!�ï®#"9n 0{O93#c Wît#>03í�!"ì±í;0��Qî�9QìÅ28!�9zïtð*ì¼ ��ì�!`)� \í;0�� O4, \êoì¼#c03)��¼ R!"9 �ò*!c ;254P� 0z#"!"ì¼2,ñX�J 9zï�!-'*în �!"èt $93#c'L�&ìÅ!"èÌ0� Q ;2t $#c0��N2t93!"ì¼932Î9zïìÅ254të5í/!cìÅðQ 14, ;é52tìÅ!"ì¼93279zï�032�ìÅ2�4, �ò, $4�ï¡0�Oì�Å'Z93ï�êo ;!cê�)®93ï¹!" ;2�í;0����¼ $4��oì¼254,ë5í�!"ì¼ð3 ï¡0�Oì��¼'��ï®93#(ê"èt93#"!26Rä �5ç�\æ�ón:*ë�í>è 0T 3 ;25 ;#>0�� O $í>è�0z2tì±êZ ì¼ê�0��±êo9�0TMQ ;'7î50z#"!(9zï[!"è5 T��0��±í�ë��Åë5ê9zïãF254,ë5í�!"ì¼ð3 4��9325êo!"#cë5í�!"ì¼9325ê`ä =E��æ�ç8!"èt `ìOît#" \4,ì±í;0J!cìÅðQ (!-'*în 1!"èt $93#c'Zët254, $#R�¼'*ìÅ2� �!"è5 ���9E�êo',êo!" ��ó�ãF254t �ò, $4 ìÅ2�4,ë5í/!cìÅðQ 4, �é�2tì�!cìÅ9Q25êZ0z#c ët)tì �Që5ì�!c93ë5êOì¼2 ï®93#KO0��Åì¼<$0z!"ì¼9325ê�í;03#"#cì¼ $493ë,!1ìÅ2�!cèt �4tì�� ;#c ;28!�î5#"9*9zïWê"',ê-!c �Zê&ï®9Q#3� 03#o!cìÅ2tñ �� 9zï�!-'*î� k!"èt $93#c'03254�!"è5 T��0��±í�ë��Åë5ê9zï�ãF254,ë5í�!"ì¼ð3 4��9325êo!"#cë5í�!"ì¼9325ê$óI9�ît#c93în ;#�ãoãts �� $#" Rî�0z#"!(9zï�!cèt �9Q#"ì 3ì¼250���ð3 $#cê"ìÅ9Q25ê&93ïJ� 0z#"!"ì¼2,ñX�J 9zï�!-'*în k!cèt ;9Q#"'Qó

b9Y�� ;ð3 $#$çc�&èt $2�ît#c9Jð*ìÅ2� �2t9Q#RZ0��Åì¼<$0z!"ì¼932Hï®9Q#e0z2� $0z#K�¼'1ðQ ;#>êoì¼932�9zï�!"ètì±ê[!"èt $93#c'3ç�� 03#o!cìÅ2tñ�J 9zïhZ034t &ë5êo (9zï�0z2Oì¼2,ï®93#KZ0��5í;9325êo!"#cë5í/!cìÅ9Q2O932O!"è5 �O �!c0��Å $ð3 ����&ètì±í>èZè503êe032Oì�Oî��¼ì¼í;ì�!ìÅ254t �ò, $4ì¼254,ë5í�!"ì¼ð3 �ñ�#c $í�ë5#cê"ìÅðQ �í>è503#c0Qí/!c ;#\ó

�}x�vYj� �ãF27:* $í�!"ì¼932�=��� ì¼2Q!c#"9,4,ë�í� &!cèt ��¼9� 3ì±í;0��,ï®#>0�O ���93#KMR9zï�4, $î� $254, $2Q!�!-'*î� \ê7�&ètì±í>èì¼ê�!cèt R)50Qêoì±ê�ï®93#&9Qët#&!cèt ;9Q#"ì¼ $ê�93ï[ã"ãtsHó���ètì±êê" $í�!"ì¼932�0��±êo9O �ò,î��±0zì¼25ê�!cèt H2t93!c0J!cìÅ9Q2�ë5êo \4ìÅ2Ì!"è5 �î50zîn ;#\ómãF2 :* \í/!"ì¼932D¡L�� Z)� � 3ì¼2Ì)*'Î#" $ð8ì¼ ��&ì¼2� �0ï® �� �òt0��î��Å \ê`9zï�ãoã-%�ç�ê"ë5í>è03ê�é52tìÅ!" ��Å' )t#c0325í>ètì¼2� Î!"#c ; $ê$ç[!"èt � $ð3 $2 0z2�4 9,4t4 2*ë�k)n ;#>ê;ç�!cèt �03í$í� $êcê"ìÅ)��¼ î50z#"!Z9zï0 #c ��±0J!cìÅ9Q2�çW!cèt ¾ì¼4t ;28!"ìÅ!-' ê" �!$ç&03254 í;9328!" ;ò8!ï®#c ; Q 3#>0�TZ0z#>ê;ó0��èt ;2��� Q 3ì¼ð3 ¾ê"9�O �òt0�Oî��¼ $êO93ï�ît#c93în ;#Oãoãts��J� 0z#"!"ì¼2,ñX�J 93ï�� êZí;9�Oîtë,!>0z)tì�¼ì�!-' î5#" \4,ì¼í$0J!c $ê�ï®93#Z4, $î� $254, $2Q!!-'8în $ê$ç���0��T 3#c ;2�� ê1ètì 3èt $#19Q#c4t ;#`ët2tì¼ð3 $#cê" $ê$çm0z254¾ô�9Jð3 O0z254D��0zî5#" ;!o!c0�� ê`03250��¼',êoì±ê19zï!"èt �!" $#ROì¼250J!cìÅ9Q2 9zïW25 $êo!" $4Ë#" \í�ët#>ê"ìÅðQ k4, �é�2tì�!cìÅ9Q25ê�9zïeï®ët2�í/!"ì¼932�0���ît#c9� 3#>0�Zê$ó�&Ì �0��¼ê"9ìÅ28!"#c9,4,ë5í; �!cèt O#" \ê-!c#"ì±í/!c $4Ëï®93#K�9zï�0z2ÌìÅ254të5í/!cìÅðQ �ñ�#" \í�ët#>êoì¼ð3 �4, �é�2tì�!cìÅ9Q2¢�&ètì¼í>èÌè50Qê1032 $03ê"ì¼ ;#�ê"'*28!c0Jò 03254 ì±ê( \03ê"ìÅ $#!c97ìOî��Å �O ;28!$ó�ãF2Ì:, $í/!cìÅ9Q2@�-�� ké5#cêo!� ;ò,î��¼03ìÅ2Îèt9Y� !"è5 #" \ê-!c#"ì±í/!c $4�ðQ ;#>êoì¼932�9zïNì¼254, ;ò* \4�ì¼254,ë�í/!"ì¼ð3 ;ñj#c $í;ët#>êoì¼ð3 (4t �é52tìÅ!"ì¼932�ê&0z#cì¼ê" $êWï®#"9n !"èt ` ;ò*ì±êoñ!" ;2�í� H9zï[ìÅ25ì�!cì¼0��N0�� 3 $)t#c0Qê�9zï[êo!"#cì±í/!R�¼'�în9Qê"ìÅ!"ì¼ð3 ` ;254t9zï®ët25í�!"9Q#cê�9Q2êR�Åì±í� Hí$0J!" � 39Q#"ì¼ $ê�9Jð3 $#!"èt �í$0J!" � 39Q#"' 93ï�ì¼254, ;ò, $4Îï¡0�Oì�Åì¼ $êH93ï�!-'*în $ê$ó]��èt $2Q�� �ê"èt9Y�Éèt9Y� !"9ï®9Q#RZ0��¼ì¼<; O!"è5 3 ;25 ;#>0���2t93!"ì¼932 9zï&0z2¾ì¼254, ;ò* \4¾ìÅ2�4,ë5í/!cìÅðQ �ñ�#" \í�ët#>ê"ìÅðQ O4t �é52tìÅ!"ì¼932 03254Q 3ì¼ð3 �0�ët25ì�ï®9Q#R!"èt $93#c'kï®9Q#�)n9z!cèZ!"èt � 3 $2t ;#>0���0z254O!cèt 1#" \ê-!c#"ì±í/!c $4�ï®93#K )*'� QìÅð*ì¼2� k0R!-'8în (93ïNí�9,4, \êeï®9Q#ãoãtsÁ0z2�4�!cèt ;2 4t ;#cìÅðQ `!"èt `ï®9Q#RZ0J!cìÅ9Q2�çtì¼28!"#c9*4të5í/!cìÅ9Q2�çt ��¼ì�ì¼250z!"ì¼932 0z2�47 c�8ë50��¼ì�!-'7#"ë��Å \êï®93#W0Hî�0z#"!"ì±í�ë��±0z#eí;9*4t 3ó3ãF2�:, $í/!cìÅ9Q2��B�� ê"èt9Y� èt9Y� !"9Rì¼25êo!c0z28!cì¼0z!" �!"è5 � 3 $2t ;#>0��,!cèt ;9Q#"'!"9�ê"9�O `9zïN!cèt H �òt0��î��Å \ê0 3ì¼ð3 ;2ì¼2�:, $í/!cìÅ9Q2L¡5ó

� �������RÞ��Wâoá��! #"&Ý$�!%&�('ÌÞWÝ$)

ô� ;ï®93#c � QìÅð*ì¼2� �!"èt &#cë��¼ $ê�ï®93#�ã"ãts<�� �2t ; \4R!c91ì¼28!"#c9,4,ë5í� �!cèt �)503ê"ì¼í}��9n 3ì±í;0��.g5#c0�O ���93#KM9zï�4, ;în ;254t ;28!&!-'*î� \ê;ó���è5ì¼ê&ì±ê� $êcê" ;28!"ì±0���Å'-� 0z#"!"ì¼2,ñX�J 9zï*� ê>�N9� 3ì±í;0�� gt#>0�O ���93#KM ä��$åJæ� ;ò*ñ!" ;2�4, $48�&ìÅ!"è�#"ë��¼ $êeï®93#W!"èt (!-'8în $ê,+�ç�d�ç*0z2�4.-mó86 O93#c (4, ;!c0zì�¼ $4Oît#c $ê" ;28!c0z!"ì¼932�í$0z2Z)n ï®93ët254ì¼2 ä �c�Jæ�ó��èt a��9n Qí�ì±0���gt#>0�O ���93#KM�è503êH!"èt �ï®9���Å9Y�&ì¼2� ï®93#KZêH9zï�+-ë54E Q �O ;28!>ê��0/Æí�9Q2Q!c �ò*!$ç

0z25421 �3!-'*în 3ç31�S54��Q!-'*î� Qç�+L�61kç�+aS�1��71Rç�4t ;în ;254,ì¼2� �9Q2 í�9Q2Q!c �ò*!cê8/()V�&#cìÅ!o!" $203ê9/;:<1 ��!-'*î� Qç� �!>ízóH6/ó]&Ì Zè50gðQ Oê" �!8��!-'*în �0z254Îì�ï�1 ��ê" �!$ç�!"èt $2�1[��!-'*în 3ó]��è5 í�9���¼ $í/!cìÅ9Q2 93ï!-'*î� \êOì¼êOíG�¼9Qê" $4 ët254, $#O!"èt ï®9Q#RZ0J!cìÅ9Q2 9zï`4, ;în ;2�4, ;28!Oï®ët25í�!"ì¼932 !-'8în $ê�&#"ìÅ!o!c ;2 03êa),W!��136��<4 ),�&ètì±í>èÌì±êH93ï¹!" ;2D�&#cìÅ!o!" $2 03ê�?OW!��14C 4�ì¼2Ì!"èt ��ÅìÅ!" $#c0z!"ët#c = �� Zît#c �ï® $#`!"9�#c $ê" ;#cð3 8?OW �>14C 4 ï®9Q#H!"èt �ìÅ254të5í/!cìÅðQ �ñ�#" \í�ët#>êoì¼ð3 ��Å' 4t �é52t \4¾êo ;!��&ì�!cèí�932�ê-!c#"ë5í�!"9Q#8?O��)R)VWP�@136}�A4�6J� )5?OW@�61�C 4%6Z6�ó���èt H ��Å �O ;28!cê&93ï0),W@�6136��B4 0z#c

Page 4: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

�$w ��A"E-AcDW@�i »�� AcD�C$I*X���IJE-K\IO_3AcE-¬cAcD

4, ;2t93!" \4�)8'¢)VW¢��136Z+¢)¡0z)�ê-!c#c0Qí/!"ì¼932�93ï;WÎìÅ2P+��5!"ètì±êì±ê�9zï¹!" $2 4, ;259z!" \4�)*' ?�W¢�714C +ì¼2!"èt ��ÅìÅ!" $#c0z!"ët#c c60z254 03îtî��¼ì¼í$0J!cìÅ9Q2�ì¼ê3�&#"ìÅ!o!c ;2ÎìÅ2�!cèt �ï®93#K +`)51�6/ó`&Î �è50gð3 ����½0z254��Qñ#"ë��¼ $ê$ó���'*î� \ê�0z#c e0��±ê"9(íG�¼9Qê" $41ët254t ;#�!cèt �ï®9Q#RZ0J!cìÅ9Q2H9zït4, $î� $254, ;28![ît#"9,4,ë�í/!cê �&#"ìÅ!o!c ;2k0Qê)VW#� 1�6�� 4�)®9zï¹!c ;2O4, ;259z!" \4k)*'%$%WO� 14C 4��&è5ì¼í>è�ì¼ê�èt $#" �#c $ê" ;#cð3 $4Hï®93#[!"èt �ì¼254,ë5í�!"ì¼ð3 ��Å'4, �é525 $4Oêo ;!7�&ì�!cèOìÅ28!"#c9,4,ë5í�!"ì¼932�#"ë��¼ &î���)Z),W#� 1�6�94%67��) $%WO�@1�C 4%6R6/ó���è5 & ��¼ �O ;28!cê9zï�)VWP�61�6� 4Æ0z#c R4, ;259z!" \4)8'��,+*/21� /ç,!cèt Rît#c9z+- \í/!cìÅ9Q27ï®ë525í/!cìÅ9Q25ê)*'����k0z2�4�� . 032540� Q03ìÅ2��� è50gð3 �� 03254��8ñj#cë��¼ �)¡ê"ët#¡+- \í/!cìÅðQ &î50zì¼#"ì¼2� .6/ó���èt $#" &ì±ê�!cèt &!-'*î� 4d�çn�&ì�!cèZët2tì �Që5 ��¼ �O ;28!�����d�0z254��8ñ�#"ë��Å ;ò,ît#" \ê"ê"ì¼2� 1!"è50z!$ç8ì�ï +a��d�çQ!"èt $2a+�S��a��d�ó�gtët#"!"è5 ;#J�� è50gðQ !"èt H ��ît!-'�!-'*î� +��&ìÅ!"è� ��ÅìOìÅ250z!"ì¼932�#cë��Å ��eï,�#)® ;ò�ï¡0��±ê"ë�[�8ët9,4E�¼ìÅ)n �!^6/ó��93#c ;9JðQ ;#\ç��� 1ì¼25íG�¼ë54, `ì¼279Qët#0�Å9n 3ì±í;0���ï®#>0�O ���93#KM�!"èt �!-'*î� -��&ì�!cè�!t��9� ��¼ �O ;28!cê

� � � - 0z2�4�� . ��-mç[93#>4,ì¼250z#c'Î ��ÅìOìÅ2�0J!"ì¼932 #"ë��¼ �� = �>),+ ��- / 1�ä � � æ / 1kä � . æk6T� 14)5+.6)V�&èt $#" BW#�6-.: 1kä Wtæ��J!-'*î� q6�0z254�!"èt Rêo!"#c932� � ��ÅìOìÅ2�0J!"ì¼932#cë��Å

+��6- 1��z!-'8în 4 �z!-'8în �������! = ),+*/1�/ 4�60�J!-'*în

�&ì�!cè c�8ë50��¼ì�!-'�#"ë��¼ $ê�������" = )#�$��/1�/4%6JS 1 / ���%���" = )�� . / 14/ 4�6JS 4 C

ã�!ì±ê2t $í; $êcê"03#"' !"9 è50gð3 !"èt ¾ê-!c#"9Q2� ��ÅìOìÅ2�0J!"ì¼932 #"ë��Å Qç�ê"ìÅ2�í� Q�� P��032Q!7!"9 ìÅ2�4,ë5í/ñ!"ì¼ð3 ��¼'¾4, �é525 �ìÅ2�4, �ò, $4Ìï¡0�Oì��¼ìÅ \êR93ï�ê" �!>ê��U��~¢� êo ;!�0z2�4Ìï®ët25í/!cìÅ9Q25ê�� ��),|4��~�64��T)V|t67��� ä |jæ �&èt ;#c �� ä |�æN4t ;în ;254tê�25932,ñj!"#cìÅð*ì±0���Å'Z9Q2-|>çt0Qê�ìÅ27!"èt R4t �é52tìÅ!"ì¼9329zï���0���ñ 3#c ;2�� ê�ètì 3èt $#oñ�93#>4, ;#�ët2tì¼ð3 $#cê" 8)V�&èt $#" 1ï®9Q#&ìÅ25êo!c0325í� ��Ëä �zæ`S ê" �!\ç�� ä���æ`S g50��)�êo ;!26J�g50�O)�êo ;!26/ç�êo $ B¡5ó =kï®9Q#>�9Q#" ` ;ò*î��¼03250J!cìÅ9Q2�6/ó&Î ��&ì����0��±êo9O034t4�0��¼ ;ð3 ��m)� ;!t�� $ ;2�ê" �!(0z2�4�!-'*în 3ç��&ètì±í>è��� Hí$0���Nê-!-'*în 1ï®93#êRO0����

!-'8în $ê���ê-!-'*în P�[!-'*în 3ó>),��èt 7#" \03ê"932¾ï®9Q#k!cèt 725 ; $4 ï®93#Oê-!-'*în �ì±ê�4tì¼êcí�ë5êcê" $4 ì¼2 ä åJæ�ó 6kã�ï+@�nêo ;!�!cèt ;2Q+@�nê-!-'*în 3óh��93#c ;9JðQ ;#\ç5êo!-'8în �ì¼ê`0��±ê"97íG�¼9Qê" $4Ëët254, $#H4, ;în ;254t ;28!�ï®ë525í/!cìÅ9Q2!-'8în $ê$çQ4t ;în ;254, $28!Wît#c9*4të5í/!>êe0z254�ì¼25íG�¼ë54, \ê +Nç�dnç7-�ó�b9Y�� ;ðQ ;#\çzêo ;!eì�!>êo ���ï �&ì���52t9z!W)n ì¼2ê-!-'*în 3óh��èt ��Å9n 3ì±í;0���ï®#>0�O ���93#KM4t98 \ê12t9z!`è50gð3 �0z2*'�#"ë��Å \êï®9Q#1ì¼28!"#c9,4,ë5í�ì¼2� 7 ��¼ �O ;28!cê9zï�ê" �!\çQ!cèt ;'8�&ì��n)n 1ìÅ28!"#c9,4,ë5í; $4Z)*'Zãoãts �¼0z!" $#�03254�ê" �!0�&ì���n!"èt $#" ;ï®93#c (í�9Q25ê"ì¼êo!� ;òt03í/!K�Å'9zï[!"èt Rê" �!>ê�ìÅ28!"#c9,4,ë5í; $47)8'7ãoãtsHó&Î �0��±êo9Îë5ê" 7ê"9�O 03)t)t#c ;ð*ì±0J!"ì¼932�ê;ç[êoë5í>è 03ê�9�OìÅ!o!"ì¼2� Î!"èt 7!-'*î� ì¼2 0z2 0z)5êo!"#>03í�ñ

!"ì¼932�ç�!cè50J!Zì±ê;çf�&#cìÅ!"ì¼2� !)VW*6Z+ ì¼25êo!" \034 9zï�),W � 136Z+�ç�0z254��&#"ìÅ!"ì¼2� ¾#c ;în $0J!c $4 0zîtî��Åì±í;0zñ!"ì¼932 03ê%+`)51 . /�C�C�CG/K1�&�6`ìÅ2�ê-!c $034¾93ï�+*)_1 . 6(')')'c)51*&�6R0z254¾#c ;în $0z!" $4 03)5êo!"#>03í/!cìÅ9Q2 03êa),W . �1 . /�C�C�CG/ZW+&L� 1,&�6Z+�ì¼25ê-!c $0Q4793ï}),W . � 1 . 6(')')'c)VW+&-�@1,&�6t+nóãF2Z!"èt (ï®9���Å9Y�&ì¼2� ��� {�&ì��nê"9�O �!cì�O \êW#c �ï® $#e!"9�0`!-'*î� `4, $î� $254,ì¼2� k9Q2�0HðJ0z#cì¼03)��¼ �WNó&Î ���0z28!�!"9Zë5ê" `!"è5 H2t9z!>0J!"ì¼932�� ä -�æ�ï®93#��Ëä W#�zS.-�æ�ï®93#ê"9�O 1étò, $4ðJ0z#cì¼03)��¼ �W 03254��ï®93#%),W*6Z� ä W5æjó I(9z!c R!"è�0J!3�� kí$0z2�� !1ê"ì�Oî��¼'�ìÅ28!c#"9,4,ë5í; %���E~�� !-'8în 3ç�ê"ìÅ25í; R!cètì¼ê3 39* \ê)� $'3932�4Z!"è5 ��¼9� Qì¼í$0���ï®#c0�O ���93#KMnóQãF25êo!" $0Q4a�� �ì¼28!"#c9,4,ë5í� �!"è5 1259z!"ì¼93279zï�032703)5ê-!c#c0Qí/!c $4 �ò,ît#c $êcêoì¼932�ç*�&ètì±í>è ì±ê1032Ë ;ò*î5#" \ê"ê"ìÅ9Q2�!"9n 3 �!cèt ;#��&ìÅ!"èË9Q2t �93#`êo $ð3 ;#>0��[4, $ê"ì 3250z!" $4�ï®#" $ ðg03#"ì±0z)��Å \ê;ó`gt9Q#1032Ë0z)5êo!"#>03í�!" \4� �ò,ît#c $êcêoì¼932�/�ç/�ä - . /�C�C�C�/0- & æ;O \0z25ê(!"èt Oê"ët)5êo!"ìÅ!"ë,!cìÅ9Q29zï�!cèt �ðJ03#"ì±0z)��¼ $êW)*'1- . /�C�C�C�/0- & ó*ã�ï]�� (!c0�M3 ï®9Q#}� 0z)n9Jð3 (032�0z)�ê-!c#c0Qí/!" \4Z �ò,ît#c $êcê"ìÅ9Q2Z9zï!"èt Oï®9Q#R ),W*62/�ç�!"è5 ;2D� ä -�æW4, ;2t93!" \ê�� ä W\�zS3-�æW0z254P�� Oí$0z2Q�&#"ìÅ!" 8� 03ê1î503#c0�� ;!" $#ï®93#�)VW`62/Zó*��93#c 1ï®93#KZ0���Å'`��-�$4 � �,���65 � d�798tv;:�<3j>=�?A@_ikw8m*B�vDC�B*@FERvHG�@Xm2l�mKo�I+ERm�B;B2i6J�jPi�B4v�jPmRo�IERm*B;B^i6JYj)VW . /�C�C�C�/ZW+&�62/LKNM�m)ERm}W . /�C�C�CG/RW�&PvOERm�lYi�B*@_ikj+G)@QPqvOE^i,vDC�x�m*B�vYj`l,/ vYjOmKo*IERm�BRB^i6J�jSJZu

Page 5: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

� I8XQAcr3A/X � I*X3]8TcE-SUK$IQ­���AcT>]QD-VFSUK\I �\�

@#M�mBx�v�j�����v���m Jtu @_yRI�m @ M�m;JOE^y <3jOvDC�B*@FEKvDG)@ m2l8mKo*IERm�BRB^i6J�j#i�BBv��H?A@5ikw8m*B3vHC*B*@ ERvDG)@XmKlmRo�IERm*B;B^i6JYj�

82C2:<)Z),W . /�C�C�C�/RW�&�6 /46�ä - . /�C�C�CG/ -2&8æ]�zS /�ä W . �zS - . /�C�C�CG/ZW+&L�HS.-2&8æ 82G2:�� M�mGj`m�PYm)ESKJmSK�E^i#@Xm��8ä + . /�C�C�C�/K+$&8æ��'i�B�@AJ CKm��Ej*lnm�E;B*@AJ Jcl'v"B#vYj =�?A@5ikw8m*B#vDC)?B*@FERvHG�@Xm2l�mKo�I+ERm�B;B2i6J�j 8tl*:� Vu{� � 1��A4��KJm4i,l�m�j @_i u2y�� Kfi#@ M�@ M�m�vDC�B;@ ERvHG�@Xm2l�mKo*IERm�BRB^i6J�jP),+E6K�T),+E6�

� ���%&����� �!%�� ���

� 75d p � ����� �.�!p � � � �������*�#�L�H4 � �V���F5 � �

� ERm2m�B8v�j*l4u�J ERm�B*@6B� �� 0z2*'�ã"ã-%Æ9,í;í;ët#H03ê1!"è5 �êoìkë��Å!c032t ;9Që5ê`ì¼254,ë5í�!"ì¼ð3 Z4, �é�2tì�!cìÅ9Q2¾9zïé52tìÅ!" ��¼'TZ0z2*'Zêo ;!cê$ç3 $0Qí>è�9zïh�&ètì±í>è�è50Qê�0k4,ì�� ;#c ;28!�250�O 3ó! �2t � �òt0�Oî��¼ ì±êe!cèt �ê" �!�9zï�� ����Åñ�ï®9Qët254, \47!"#c ; $ê>��#c ; B�&ì�!cè�é52tìÅ!" H)t#>0z2�í>ètìÅ2� O4t � 3#c ; \ê;çE�&è5ì¼í>è�ì±ê4, �é�2t $47!"9n 3 ;!"èt $#�&ì�!cè7!cèt Rê" �!{gt9Q#" \ê-!&93ïNé52tìÅ!" ��¼ì±ê-!>ê&9zï�êoë5í>è!c#" $ $ê$ó���èt Hí�932�ê-!c#"ë5í�!"9Q#cê�0z#c ��

!"#c ; 8��g593#c $êo!}����#" $ �/25ì��7��g593#c $êo!Q/

í;9325êB����#c ; 3��g593#c $êo!J�:gt93#c $êo!¢C

ã�ï`�� #c ;î��±03í; ��N#c ; &)*'T�N#c ; #"5)#� � 6�0z2548g593#c $êo!e)*'���#" $ �" )�� . 6/çn�&èt ;#c �WO�6-.:��N#c ; $"_),W*60�êo ;!$çh�� �9Q),!c03ìÅ2¾0z2Ìãoã-% �&ìÅ!"è¾ì¼254, �òÌêo ;! -�óN:*ì¼25í� �ï®93#H $ð3 $#"'�ì¼254, �òP�� TM*2t9Y�Á!cèt Zêo ;!9zï�í;9325êo!"#cë5í/!c93#>êRì¼28!"#c9*4të5í�ì¼2� Ë ��Å �O ;28!cê�9zï�ì�!OìÅ2 034,ðJ0325í� Qç��� 7è�0gð3 �032 �òt0��î��Å 79zï#" \ê-!c#"ì±í/!c $47ãoã-%�ó

�+M�m8m�PYm�j@j%�Ew C2m�E IERm2lYi6G2v @Xm �6(2t9z!cèt ;#�êoìOî��Å k �òt0�Oî��¼ H9zï�0z2�ãoã-% ì±ê�!"èt kît#" \4,ì±í;0J!c �eð3 $2-�nI�� ê" �!$ó���è5ì¼ê&ì±ê�ì¼254,ë5í�!"ì¼ð3 ��¼'� Q ;2t $#c0z!" \4�)*'�!cèt `!t��9O#cë��¼ $ê

� � � �eð3 $2 ),��6@/� . �K) =Q��I36J� �eð3 $2 ) =]6J� �eð3 $2 )�:h)j:h) =]6R6Z6QC

ãF2�!cètì¼ê&ï®93#K �� `è50gðQ �ët25#" \ê-!c#"ì±í/!c $47ãoã-%�ç5êoì¼25í; 1ì¼27!"ètì±ê�ï®93#K !"è5 Rí�932�ê-!c#"ë5í�!"9Q#cê�ìÅ28!c#"93ñ4,ë5í�ì¼2� �0327 ��Å �� $28!9zï �Wð3 $2 ) =]6�ì±ê&2t9z!> QìÅðQ ;2ìÅ2�034tðg0325í� Qó

�+M�m@vHGRG2m�B;B2i6C�x�m�I�vOE*@1Jtu�v�ERm�x�vO@5i6J�j L�� ;!8~¾)n �0Îê" �!Z0z2�4'&¢�8~�� ~�� êo ;!�)n �0)tìÅ2�0z#c' #" ��¼0z!"ì¼932 932 ìÅ!$óJ&Ì 4, ;é52t �!"è5 Ë03í$í� $êcê"ìÅ)��¼ î50z#"!@)¹!cèt #�±0z#K 3 $êo!T�� ����Åñ�ï®9Qët254, \4ìÅ2tìÅ!"ì±0���êo � �O ;28!26�93ï(& 0QêO0Îî5#" \4,ì¼í$0J!c �6�í;íD�}~ � êo ;!Z)8' 0P Q ;2t $#c0��Åì¼<; \4 ì¼254, ;ò* \4ìÅ254të5í/!cìÅðQ R4, �é525ì�!cìÅ9Q2L�&ìÅ!"è�9Q2t `ìÅ28!"#c9,4,ë5í�!"ì¼932#"ë��¼ ��

03í$í���)V|���~�6���)Z),W#��~.67��)VW�&\|t67� 6(í$í�),W*6Z6�� 6(í$í�)V|t6PC

I9z!c !cè50J!&03í$í&ìÅ28!c#"9,4,ë5í; $êW ��¼ �O ;28!cê�9zïN6�í;í�)V|t6f�&è5ì��¼ (#c �ï® $#"#cìÅ2� H!"9�î�98ê"ê"ìÅ)��Å'�ìÅ2té52tìÅ!" ��¼'O032*'7 ��Å �� $28!cê�9zï�!"èt �êo ;!cê�6(í;í�)VW`6�)®ï®93#1 $03í>è�W¢��~�03254� \03í>è�ît#c9*9zï�9zïfW)& |t6/ó�6(í$íì¼ê0327 ;òt0�Oî��¼ 193ï�0�#c $êo!"#cì¼í�!" \4�ã"ã-%kó

Page 6: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

�$� ��A"E-AcDW@�i »�� AcD�C$I*X���IJE-K\IO_3AcE-¬cAcD

�+M�m�i,l�m�j @_i#@5y�ERmGxv @_i6JYj ���èt k932��¼'7 ;òt0�Oî��¼ H9zïe0z2�ãoã-% ì¼2#� 0z#"!"ì¼2,ñX�J 9zï*� ê&9Q#"ì 3ì¼250���ï®93#"ñkë��±0J!cìÅ9Q293ï�!-'8în `!"è5 ;93#c'3ç��&ètì¼í>è�ì±ê2t93!(0z2�93#>4,ì¼250z#c'�ì¼254,ë5í�!"ì¼ð3 ;ñj#c $í;ët#cê"ì¼ð3 H4, �é�2tì�!cìÅ9Q2ì¼êR!"èt 7ì¼4, $28!"ìÅ!-'Î!-'*în P)��oì±4, ;28!"ìÅ!-'Î!-'8în *�Ëì¼êk932��¼'Ìë5êo \4¾ï®93#�ètì±ê-!c93#cì¼íZ#c $0Qêo9Q2 = 0OO93#c 0zîtît#c93î5#"ì±0J!c �2�0�O >��9Që��±4O)� ��"ì¼4t ;28!"ìÅ!-'�ê" �! �n6/óQ6(êcêoë�O 81��8êo ;!$ó���è5 ì¼4t ;28!"ìÅ!-'�9Q2 1 ì¼ê 3ì¼ð3 ;2O03ê�!"èt >�¼ $0Qê-!e#c G�5 ;ò,ìÅðQ �#c ��±0J!cìÅ9Q2�9Q2 1 �91RçQ03254�ì¼ê�!"èt &ì¼28!" ;2�êoì¼93250��, ��8ë50��ÅìÅ!-'R!-'*în 93221Ró�&Ì Rè50gðQ H03ê�ï®93#KZ0J!cìÅ9Q2#cë��¼ �+��61�/K1��61 : ãG) 1�/K+�/21G60�8êo ;!$ó���èt Hì¼28!"#c9,4,ë5í/!cìÅ9Q2#"ë��¼ ` �ò,ît#c $êcêo \ê�!"è50z!ì�!ì±ê&#c G�5 ;ò*ì¼ð3 n�

#{��),+�� 136J� ãG)�1�/K+*/R+E6PC��èt & ��¼ì�Oì¼250J!cìÅ9Q2O#"ë��¼ &ì¼28ðQ ;#"!cê[!cèt ì¼2Q!c#"9,4,ë�í/!"ì¼932�#cë��Å Qó36(êcê"ë�O >�� &è50gðQ &01!-'8în >�&ètì±í>èì¼ê�0Z#" ��5 �ò,ì¼ð3 `#c ��±0J!"ì¼932�9Q2 1 �21½0z2�4�0Zêoët)5#" ��¼0z!"ì¼932�9zï[!"è5 kì±4, ;28!"ìÅ!-'7!-'8în R9Q2 1Rón:,903êcêoë�O 4+@�$1�/21���14/��¢�,ãG)�14/R+*/K1�6�:��Oä +*/K1Y/��tæ7�*!-'*în �03254�ï®9Q#( ;ðQ ;#c'L+#��1N�� kè50gðQ �Qä +Qæ��.�Oä +*/R+*/"#c)5+.6Fæ})�êo9��Rì¼ê�!cèt kêo!" $î,ñ�ï®ë525í/!cìÅ9Q2�í;93#c#" \êoîn932�4,ìÅ2� �!c9O!"èt Rí;9325êo!"#cë5í�!"93#&#^6/ó��èt ;2Oï®9Q#e ;ðQ ;#c'%+*/K1{�@1 03254��O�zãG)�14/R+*/K1�6;�� (è50gð3 ��*),+*/K1Y/��]/c)VW`6 �8ä W5æk6}���Oä +*/K1Y/��tæ�ón��è5 ��8ë50��¼ìÅ!-'�#"ë��¼ �2t9Y�½ë5ê" $ê1!cèt Zê-!c ;î ï®ë525í/!cìÅ9Q2Îì¼2Ìí$03ê" �032Ë ��Å �� $28!`ì±ê`ì¼2Q!c#"9,4,ë�í� $4Ë)*' 0í�932�ê-!c#"ë5í�!"9Q#����*),+*/R+*/o#q),+E6G/�)VW`6 �8ä WtæV6JS'�8ä +Qæjó

ã�ï��� O�&#"ìÅ!" �ã "� )0�,+*/K1) Z6Oì¼25êo!" $0Q4 9zï`ãG)�1�/K+*/K1G6�çJ�� �93),!>0zì¼2 ï®9Q#� ;ðQ ;#c' 1 ��ê" �!�032ët2t#c $êo!"#cì¼í�!" $47ãoã-%Éã "� �&ìÅ!"è�ìÅ2�4, �ò�êo ;!81 � 1kó� J�j @XmRoH@]u;EKmKm �OERv�w%w8v E;B� kãoã-% 9,í;í;ët#`ð3 $#"'ï®#c ��8ët ;28!K�Å'�ì¼2Ì03îtî��¼ì¼í$0J!cìÅ9Q25ê1ìÅ2Ìí�9�Oîtët!" ;#ê"í;ìÅ $25í� Qó�gt9Q#� ;òt0�Oî��¼ �0 í�9Q28!" �ò*!Rï®#c ; - 3#>0�TZ0z#>ê`9Jð3 $#k0�é525ì�!c 70��¼îtè503)� ;!8$ 0z2�4 0é52tìÅ!" Ëê" �!�93ïH2t9328!" $#ROì¼250��±êaI3� í$0z2 )n Îê" ; ;2 0Qê�0z2 I3� �\$�cñ�ì¼254, �ò, \4 ìÅ254të5í/!cìÅðQ 4, �é525ì�!cìÅ9Q2�(çE�&èt ;#c ` $0Qí>è7ît#c9,4,ë5í�!"ì¼932�í�93#c#c $ê"î�9Q254tê�!"9�0327ì¼28!"#c9*4të5í/!cìÅ9Q27#cë��¼ 3ó

6(êR032Ì ;òt0�Oî��¼ �í�932�êoì±4, ;#R!"èt �í;9328!" ;ò*!Hï®#" $ 8 3#>0�TZ0z#B�&ì�!cè�$�S �c+*/K1��Qç I{� S� 1�/4�O0z254Ëît#"9,4,ë�í/!"ì¼932�ê 1 �`� +nç(1 ��� 4 4�ç(4 �*� 181Rç(4 �`� 1góh��ètì±ê1í;93#c#" ;ñêoîn932545ê(!c9032 ì¼254,ë5í�!"ì¼ð3 O4, �é525ì�!cìÅ9Q2Î93ïW0z2Ëì¼254, ;ò, $4�ï¡0�Oì��¼'�ç`�&èt $#" �{)�14/��;6�ì¼ê�!"è5 êo ;!R9zï�4t ;#cìÅðJ0J!cìÅ9Q2Ë!c#" $ $êH93ïW!cèt �ê-!c#"ì¼2� �� ï®#c9� !"èt �êo!c03#o!Rê"'��)�9n� 1Ró�:,9�� ì¼êRìÅ2Ì!"è5 �¼032� 3ë50� 3 T 3 $2t ;#>0J!c $4Î)*'�!"èt � 3#>0�TZ0z#B�&ì�!cè ê-!>0z#"!Rêo'.k)n9�� 1 ì��{)�14/��;6`ì±êHìÅ25è50z),ñì�!c $4mó� è50Qê`932t Zí�9Q25êo!"#cë5í/!c93#�ï®93#H $0Qí>èËît#c9,4,ë5í�!"ì¼932 �]� ����3)�14/R+E6/ç�� . ��{)�4�/��;6��{)�4�/ ��6���{) 1�/��N��6�ç�� = ��{) 1�/���6J��{)�14/ ��6���{) 4a/��N��6�ç�������{) 4a/21G6/ó6��Å!" ;#c250z!"ì¼ð3 ��¼'3ç]�� �í$0z2 ì¼254,ë5í�!"ì¼ð3 ��Å'¾4, �é�2t �0z2'I3��ñjì¼254, ;ò, $4 ê" �!%� 93ï��"0z)�ê-!c#c0Qí/!êo'*28!c0zòÌ!c#" $ $ê� ï®9Q#k!cèt � 3#>0�TZ0z#\ç�03254 !cèt ;2 #" \í�ët#>ê"ìÅðQ ��¼'Ì4, ;é52t !"è5 �êo!"#cì¼2� �*)�14/��*6) �"í;9325í;#" ;!" kê"'*28!c0Jò$��6�í�93#c#c $ê"î�9Q254,ì¼2� O!"9�!"èt �0z)5êo!"#>03í�!�êo'*28!c0zò�!c#" $ !�Q���#)�1�6/ó�ãF2�!"è5 �òt0�Oî��¼ - QìÅðQ ;2 )� ;ï®93#c -�� - Q �!a� � �7�#)�1�6/ç�� . �J�@)�4%6-� �#)�4�6a� �#) 136/çJ� = ��#)�1�6�� �#) 136�� �@)�4%6�çJ� � �J�#) 4%6/ó7g5ët#"!"èt $#"��) 1�/K� � 6aS +nç#�*)�14/K� . )$�]/�%�6Z6aS��) 4a/��`6�&��*)�4a/�%�6/ç���) 4a/K� = )'��/�%�6Z67S(�*)�1�/)�*6�&��*)�4�/�%�6�ç*�*)�4a/2� � 67S�1gó

+�JOERm{mKo.vYw,I*x�m�B� f��èt $#" �0z#c JZ0z2*'��9Q#" � �òt0�Oî��¼ $ê})® � 5ó$!"èt �ê" �!�93ï,ï®93#Kkë��±03ê[4, $#"ì¼ðJ0z)��¼ ìÅ2O0ï®9Q#RZ0��*ê"',ê-!c ��çJí�9n�î5ë,!c0z!"ì¼932k#cë��¼ $ê[9zï5!"èt �93în ;#>0J!cìÅ9Q250��*ê" �Z0z28!"ì±í;ê[93ï�0(î5#"9n 3#>0��ñ�ì¼2� L�¼032� 3ë�0� 3 q6&93ï�êoìOì��±0z#1250z!"ët#c 3ó�ã�ï�g593#Kkë��±0�ì±ê`07ê" �!`9zïeï®9Q#R�ë��±03ê93ïe!"è5 �ï®9Q#RZ0��êo',êo!" ��çQ!"èt $2Z!"9�)� `0`!cèt ;9Q#" � ì±ê7 QìÅðQ ;2�)*'O04g593#Kkë��±0gñ�ìÅ254t �ò, $4Oì¼254,ë5í�!"ì¼ð3 `4, �é�2tì�!cìÅ9Q2��èt ;9Q#" � ��gt9Q#R�ë��±0T� ê" �!\ç��&è5 ;#c R!"è5 �0zò*ì¼9�Zê�0z254�ì¼2,ï® $#" $25í� �#"ë��Å \ê(í�9Q#"#c $ê"în93254!c9ìÅ28!"#c9,4,ë5í�!"ì¼932 #cë��¼ $ê$óe62 ��¼ �O ;28!"�!�J��è5 ;93#c ��)),`6�ì±êZ0Ë259z!c0z!"ì¼932 ï®93#Z0¾4, ;#cìÅðJ0z!"ì¼932)®93#(ît#"9*93ï�!c#" $ c6}�&ìÅ!"è í�9Q25íG�¼ë5ê"ìÅ9Q2�,�ó.-e �!{O93#c H �òt0��î��Å \ê&0z#c Hît#"9Jð*ì±4, $47)*'�!cèt kí�9n�ñîtë,!c0z!"ì¼932Ì#"ë��Å \ê(ì¼2Ë!cèt Z4, �é�2tì�!cìÅ9Q2Î93ïe!"è5 SJ;I�m)ERvO@5i6J�j*vYx�BGm�w8vYj @_i6G�B(9zï�07ît#c9� Q#c0��Oì¼2� �¼032� 3ë50� 3 Qó

Page 7: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

� I8XQAcr3A/X � I*X3]8TcE-SUK$IQ­���AcT>]QD-VFSUK\I �$�

�e#c9893ï¡êR)*'¾ìÅ2�4,ë5í/!cìÅ9Q2 9Q2 !"èt �êo!"#cë5í/!cët#" �9zï�032 ìÅ2�4, �ò, $4 ìÅ2�4,ë5í/!cìÅðQ 74, ;é52tìÅ!"ì¼932 9zï!"èt \êo TM*ìÅ2�4têH0z#c �93ï¹!" $2Ìí$0���Å \4 ît#c9*9zï¡ê1)*' �o#cë��¼ �ì¼254,ë5í�!"ì¼932��5ó ��è*ë5ê1!"èt T Q ;2t $#c0��Nï®9Q#R9zï�#"ë��Å Hì¼254,ë5í�!"ì¼932�ì±ê(í$0zî,!cët#" \4)8'7!"è5 R ��¼ì�Oì¼250J!cìÅ9Q2�#"ë��Å `ï®9Q#ët2t#c $êo!"#cì¼í�!" \4�ãoãts��&ètì±í>è�� B�&ì��� QìÅðQ B�¼0z!" ;#\ó

� 7 - p � ����� �.�!p � � � �������*���Kr��.� � �Y�c�����@�-�$4 � �,���65 � �+#vOE*@5ikj�?����JZu�� B�GRJ�w I � @ vHCGikx i#@5y�I+ERm2l�i6GKvO@ m�B3u�JOE-l�mAI�m�j*lnmGj�@�@5yRI�m�B 8&Î �ê"è50�����2t9Y� !"ët#c2!"9Rît#c93în ;#�ãoãtsHó86(ê�0`é5#>ê-!� �òt0�Oî��¼ ��� (êoè�0���tï®93#KZ0��¼ìÅ<$ �!"èt ���03ì�!"ñ�êo!-'.�Å í;9�Oîtë,!>0z)tì�¼ì�!-'ît#" \4,ì±í;0J!c $ê�ï®9Q#W4, $î� $254, ;28!e!-'*în $ê�ì¼28!"#c9,4,ë5í� \4�)8'�� 0z#"!"ì¼2,ñX�J 93ï�ä�� �gæjó���è5ì¼ê� ;òt0�Oî��¼ >��0Qêí�#cë5í�ì±0��nï®93#�!cèt `ètì¼êo!"9Q#"ì±í;0��n4t ;ð3 ��Å9Qî�O ;28!�9zï�ã"ãtsHçtê"ìÅ25í; `ì�!>Z0g'Z)� `ð*ì¼ ��� $4�0Qê�0z2� \0z#K�Å'9*í$í�ët#c#c ;25í; &9zï�!"èt �ìÅ2tï®93#KO0��52t93!"ì¼932Z93ïm032ZãoãtsHó8ãF2Ëä�� �gæ�� 0z#"!"ì¼2,ñX�J 93ï�î5#" \êo $2Q!>êe0z2Z \0z#K�Å'ð3 ;#>ê"ìÅ9Q2193ïtètì±êNì¼28!"ëtìÅ!"ì¼932tì±êo!"ì±í�!-'*î� W!"èt $93#c'H0z254`ît#c9Jð3 \ê�02593#KO0��Åì¼<$0z!"ì¼9321!"è5 ;93#c �Çë5ê"ìÅ2� êoë5í>è#�[0zìÅ!oñFêo!-'��¼ Rí�9nOîtë,!c03)tì�ÅìÅ!-'7î5#" \4,ì¼í$0J!c $ê$ó�b ���93#KM,ê�ìÅ2 032�ìÅ2tï®93#KO0��Nì¼28!"ëtìÅ!"ì¼932tì±êo!"ì±í� ;!c0��¼032� 3ë50� 3 `)të,!� 3ì¼ð3 \ê�2t9� �ò,î��¼ì±í�ìÅ!e+-ë5êo!"ìÅé�í;0z!"ì¼932�ï®93#!"èt %� \0z2tì¼2� 3ï®ë��Å25 $êcê&9zï�!"è5 $ê" í�9�Oîtët!c0z)5ì��¼ì�!-' ît#" \4,ì±í;0J!c $ê$ó�),��0J!" $#Z6(í�<$ ��kä���æè�03êOêoè59Y�&2 èt9Y�Æ!"9DO9,4, ��0¾ê"ì�Oì�¼03#í�932�ê-!c#"ë5í�!"ì¼932 ì¼2 íG�±03êcêoì±í;0��1ê" �!!"èt $93#c'3óH67:,ìÅ25í; Ì!"èt QO �!c0��¼032� 3ë�0� 3 Îì¼êì¼2,ï®93#KZ0��1!"è5 ìÅ254të5í/!cìÅðQ �ñ�#" \í�ët#>êoì¼ð3 `250z!"ët#c H9zï[!"è5ì¼ê�4, �é525ì�!cìÅ9Q2�ì¼ê&ìOî��¼ì¼í;ì�!\ó �2t H93ï�!"èt R9Q),+- $í�!"ì¼ð3 \ê�9zï!"èt �í�ët#c#" $28!���9Q#RM7ì¼ê(ìÅ254t ; $4!c9Zï®93#KZ0��¼ìÅ<$ R0z2� ;ò8!c ;25ê"ì¼932�9zï7� 03#o!cìÅ2tñ �� 9zï[!-'8în R!cèt ;9Q#"'�&èt ;#c `!"èt kìÅ254të5í/!cìÅðQ �ñ�#" \í�ët#>êoì¼ð3 `250z!"ët#c H9zï[!"è5ì¼ê�0z254�93!"èt $#(4, �é�2tì�!cìÅ9Q25ê&ì±ê&ï®9Q#RZ0��¼ì¼<; $4�óãF2¾!"ètì±ê���0g'@�� Zèt93în Z!c9 èt ��¼î íG�±0z#cìÅï®' !"è5 �#c $03ê"932Q�&è*'ËìÅ!�ì±êk032¾0Qí;í; ;î,!>0z)��¼ Z2t9z!cìÅ9Q2ï®#"9n !"è5 �î�9QìÅ28!�9zï`ð*ìÅ �� 93ï1ì¼28!"ëtìÅ!"ì¼9325ì¼êo!"ì±í�O $0z25ìÅ2� ¾ ;ò*î��¼03250J!cìÅ9Q25êOìÅ2 !cèt Ëê" ;25ê" �9zï� 0z#"!"ì¼2,ñX�J 9zï�ä ���5çG� �tçG� �gæ�óg�ì¼#>ê-!1#" \í;0����!"è50z!�ï®9Q#(!cèt Zí;03ê" k93ï�!"èt Oê"ì�Oî��¼'�!-'*î� \4#�±0�k)�4t0í;0��¼í;ë��Åë�ê!cèt ��[0zìÅ!oñ

í�9�Oîtët!c0z)5ì��¼ì�!-'�ît#c $4,ì±í;0z!" $ê#, � 0z#c �î5#" \4,ì¼í$0J!c $ê�932�!c ;#KOêe9zï5!-'*în 81 �&ètì±í>èZ0z#c �4t �é52t \4)8' ERm;G � E;B^i6J�jR932O!cèt (êo!"#cë5í/!cët#" &93ï�1Ró�&Ì #c $0Q4 , � ),+E6W03ê9�K+Rì±êW0Hí�9nOîtë,!c03)��¼ �!" ;#K 9zï!-'8în 1 �tó��N9�Z0z!cí>è�� 03#o!cìÅ2tñ �� 9zï�� êW4, ;é52tìÅ!"ì¼932Ëä�� �gæ��� (í�9Q25ê"ì¼4, $#eèt $#" (0kð3 $#cê"ìÅ9Q2T�&èt ;#c !"èt Rí��¼03ë5êo 1ï®9Q#�ï®ët25í/!cìÅ9Q2!-'8în $êì¼ê

� ã�ï ,�)51Jä +Qæk6�ï®9Q#0����íG�¼9Qê" $4�!" $#RZê>+�ê"ë5í>è7!"è50z! , � ),+E6�!"èt $2�, ��� 3) ?�W�C 1Jä WtæV6/ó),b $#" �1Jä W5æ[4, $2t9z!c $ê�0z2� �ò,ît#c $êcêoì¼932��&ìÅ!"è 0Zîn9Qêcê"ìÅ)��¼ H9,í;í;ët#"#c ;2�í� H9zï�!cèt Hï®#c ; RðJ0z#cì±0z)��¼ W 0z254D1Jä +Qæ�4, $2t9z!c $ê1!"è5 � �ò,ît#c $êcêoì¼932Q�&ètì±í>è¾ì¼êH9Q),!c03ìÅ25 $4Ì)*'Ëêoë5)5ê-!cì�!cë,!"ì¼2� #W )8'Q+ ì¼21Jä W5æjóH6b9Y� í;0z2O�� � Q ;2t $#c0��Åì¼<; 1!"è5ì¼ê(!"9�4, $î� $254, $2Q!�!-'*î� \ê� %g[ìÅ#>ê-!3�� ��ë5êo!�03êcêoë�� R!"è50z!

�� Hè50gðQ `ìÅ28!"#c9,4,ë5í; $47!"èt Rê"'*28!c0Jò79zï� �ò,ît#c $êcêoì¼9325ê�ï®9Q#4, ;în ;2�4, ;28!!-'*în $ê&ì¼25íG�¼ë54,ì¼2� a?�ñ!-'8în $ê$çh�&ìÅ!"è¢�¼0�k)�4t0�0z)5êo!"#>03í�!"ì¼932¾0z254Ì0zî5î��Åì±í;0z!"ì¼932�ó I(9Y� �� Zí;0z252t9z!R4, ;é52t ", � ï®9Q#0����)¹!-'*în c6 �ò,ît#c $êcêoì¼9325ê81½)të,!1932��¼'7ï®93#!cèt9Qê" ��&ètì±í>è 0z#c 2�"í;9�Oîtë,!>0z)��¼ H!-'*în $ê�tó���è5 4, �é525ì�!cìÅ9Q2�9zï , � è503ê�êo $ð3 $#c0��ní��¼03ë5êo \ê;ç*ê"ë5í>è�03ê�!cèt (ï®9n���¼9Y�&ì¼2� k9Q2t (ï®9Q#}? ä � �*ç8î�ó`�*����æ �

�5ó�3ó�3óH=,ó�:*ëtî5î�98êo O!cè50J! , � è�03ê`)n ; ;2 4, ;é52t \4 0z254Ë!"è50z! , �� ��� è�03ê`)n ; ;24, �é�2t $4�ï®93#�0���míG�¼9Qê" $4O!c ;#KOê0+O93ï�!-'*î� 1 ê"ë5í>è�!"è50z! , � ),+E6�óE&Î �!"èt $24t �é52t ,����� ��� �� � � )*'Z!"èt `ï®9n���¼9Y�&ì¼2� k!cèt#c ; RíG�±0zë�êo \ê;ó�5ó�3ó�3óH=,ó�3ó>ã�ï�?�W�C 1zä W5æQì±êN0&íG�¼9Qê" $4(!" $#RÇ9zï8!-'*î� �?OWO� 1�C 4�ä Wtæ*0z254 , �� ��� )_1Jä +3æV6

ï®93#�0���,íG�¼9Qê" $4`!c ;#KOê�+`9zï,!-'*în ,1 ê"ë5í>èH!"è�0J!#, � )5+E6/ç\!"èt $2�,����� ��� �� � � ) ?�W]CH1Jä W5æk6�ó�5ó�3ó�3óH=,óH=,ó*C�C�C�5ó�3ó�3óH=,ó ¡tó*C�C�C

Page 8: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

y���� ��A"E-AcDW@�i »�� AcD�C$I*X���IJE-K\IO_3AcE-¬cAcD

)V&Ì �9n�ìÅ!N!cèt �í;03ê" $ê �5ó�3ó�3óH=,óH=�0z254���ó��Qó��Qó =tó ¡5çG�&ètì±í>èR �ò,ît#c $êcêNí��Å98êoë5#" eë5254, ;#[#c $4,ë5í�!"ì¼932�çêoì¼25í� W!"èt $'R0z#c W2t93!�#c ��¼ ;ðJ0z28!�ï®93#�!"èt �ît#c $ê" ;28![4,ì±êcí�ë5êcêoì¼932Nó�I93!" �0��±êo9!"è50z!�!cèt �í;9�Oî��¼ �!c 4, �é525ì�!cìÅ9Q293ï�!cèt Rí�9nOîtë,!c03)tì�ÅìÅ!-'�ît#c $4tì¼í$0J!" H0��¼ê"9�è�03ê�9325 Rí;03ê" 1ï®93#& \03í>è9zïN!cèt R93!"èt $#!-'8în `ï®93#KO ;#>ê�9zï[!-'8în `!"è5 ;93#c'3óH6&Î 0��¼ê"9¾2t9z!c 7!cè50J!L� 0z#"!"ì¼2,ñX�J 9zï`4,9* $êO2t93!�ë5ê" �!"èt �!c ;#K � 1 ì±ê�0¾í�9nOîtë,!c03)��¼

!-'8în *��)të,!1932��¼'�ê-!>0J!" \ê��o!"è50z! , � è503ê()� $ ;2Î4t �é52t \4$�tó�&Î Oí;032�ët254, $#cêo!c03254#� 03#o!cìÅ2tñ�J 9zï*� ê74, �é525ì�!cìÅ9Q2 03ê70z2 ì¼254, �ò, \4 ìÅ254të5í/!cìÅðQ �ñ�#" \í�ët#>êoì¼ð3 �4, ;é52tìÅ!"ì¼932 )*' ìÅ28!c#"9,4,ë5í;ìÅ2� 0ît#" \4,ì±í;0J!c �� 932 ;ò*î5#" \ê"ê"ìÅ9Q25ê$çh�&èt ;#c ��>)�1�6kêo!c03254tê`ï®9Q# ��, � ì¼ê�4, �é�2t $4$� 93# �1 ì¼êk0GRJ�w I � @ vHCGxm @5yRI�m �5ó�� 93#c ;9Jð3 $#$çh�� �0Q4t4 0 ê" $í;93254 03#R Që�O ;28!R!"9 , êo9�!cè50J!, � )'�]/K+E6� \0z25êk!"è�0J! �R+Ìì¼ê�0Ëí;9�Oîtë,!>0z)��¼ �!c ;#K 9zï!cèt 7í;9�Oîtë,!>0z)��¼ �!-'*în 1kç��&è5 ;#c � ì±ê�0ît#"9*93ïN!"è�0J!�1Çì¼ê&í;9�Oîtë,!>0z)��¼ 3ó�I(9Y� �� �9Q)5êo $#"ðQ (!cè50J!>�� H4, �é525 �� ì¼254,ë5í�!"ì¼ð3 ��¼'a�&ètì�¼ �� Hê"ì��ë���!>0z2t $93ë5êR�¼'�#" \í�ët#>ê"ìÅðQ ��¼'�4, �é525 ,�ó

ã�!���9Që��¼4Ì)n �în9Qêcêoì¼)��¼ O!"9�ï®9Q#RZ0��¼ì¼<; 8� 0z#"!"ì¼2,ñX�J 93ï�� êk4, �é525ì�!cìÅ9Q2 ð3 ;#c)50z!"ìçm)5ë,!kï®9Q#êoìOî��Åì±í�ìÅ!-' �� Îêoè50����(ï®9���Å9Y� 0 êR�Åì 3è8!K�Å' 4,ì n $#" $2Q!ð3 $#cê"ìÅ9Q2 4,ët �!c9 ��ó0��9E�8ë503254Áä �Jæjó6(êcêoë�O O!cè50J!4�� Zè50gðQ �ì¼254,ë�í/!"ì¼ð3 ��Å'¾4, ;é52t $4Î!cèt �ê" �!���ò,î¾9zï� �ò,ît#c $êcê"ìÅ9Q25êH0z254Ìè50gðQ 0z2 9Qî� $#c0z!"ì¼932 6î��7� ��ò,î#� ��ò,î�� ��ò,î�ï®93#(!"èt O0zî5î��Åì±í;0z!"ì¼932�93ïW932t k �ò,ît#c $êcêoì¼932�!c90z2t93!"èt $#$óz6(î��tì±ê�0Hí�932�ê-!c#"ë5í�!"9Q#[93ï+�eò*îNç30z254k!"è5 ;#c }�&ì��t)� 0Q4t4,ìÅ!"ì¼93250��,#" \4,ë5í�!"ì¼932O#"ë��Å \êï®93#H �ò,ît#c $êcê"ìÅ9Q25ê;ç*�¼ì�MQ �#c $4të5í/!cìÅ9Q2Î93ï �mñ�#" \4, �ò, \ê;óh&Ì T�&ì���7�&#cì�!c �ì¼2Î!"èt Oï®9n���¼9Y�&ìÅ2� 1 1ï®93#6î�� ) 1�/21G6/óI9Y� 4t �é52t R032 �eò,î*ñjì¼254, ;ò* \4ãoãts

���D��ò,îa� ê" �!¢/� ��)�1A�H��ò,î�67����) 1367� �eò*î�� ê" �!DC

:*9�!"èt Rì¼254, ;ò7ê" �!ì±ê ��ò,îmç�Çî��±0g'*ê�!cèt H#�9��¼ 193ïf��ç � !"èt H#�9��¼ `9zï;����)5+��.��67�:� ä +Qæjç�&èt ;#c -� ä +Qæ�S �eò,î\� ê" �!�ï®93#T+\�Q�eò,îmó�I(9z!" �!"è50z! � 4, ;în ;2�4têk25 � Q0z!"ì¼ð3 ��Å'Ì932��Hçêo9�!cètì¼êkì¼êR2t9z!k0�ê"ì��ë��Å!c0z25 ;93ë�êHìÅ2�4,ë5í/!cìÅðQ �4, �é�2tì�!cìÅ9Q2�ó���è5 �ìÅ28!c#"9,4,ë5í�!"ì¼932¾#cë��Å Oï®9Q# �)¡í�9Q#"#c $ê"în93254,ì¼2� �!"98� 03#o!cìÅ2,ñX�J 93ï�� ê0�5ó�3ó�3óH=�6�ì¼ê��

�¢��)�1��$��ò,î�67��)$�#����)�1�6Z6J� )�4 �H�eò,î�67�)�%%��)5+��D�eò,î�6J� � ) 1�/)�]/R+E67����) 4'+E6Z6J���),?<)�1�/4%6R6QC

I9z!c !"è50z!%Ë#" ;ï® ;#>êR!c9 � )�14/���/R+E6%�&ètì¼í>è ì±ê�ê"èt9Q#o!O2t9z!>0J!cìÅ9Q2 ï®93# � )�14/��*6�),+E6/çJ�&èt ;#c � )�14/��`6Wì±ê�!"è5 1#c $ê"ë��Å!&9zï�!cèt `#" \í�ët#>êoì¼ð3 ��Å'Z4, ;é52t \4�ï®ët2�í/!"ì¼932ï®9Q#�!cèt Hêo \í�9Q254�03#R Që�O ;28!�Nó���èt Hí;93#c#" \êoîn93254tìÅ2� � ��8ë50��ÅìÅ!-'�#cë��¼ 1ì±ê

� ),?') 1�/4%6^/0�7)�14/��]/4a/�%�6^/K1�6JS��h+8�D�eò*î]C �`WL� � ) 1�/���/R+E6^C � ) 4'+*/�%E)5+�/RW*6G/K1`+E6PC

6� Q03ìÅ2Nç*!"èt `#c $034t ;#&êoè593ë��±4�)n R0q��03#" (!"è50z!>�� 1è50gð3 1ît#c $ê" ;28!" \4�9Q2��¼'Z932t Hí�#cë5í;ì¼0���í$03ê" 9zï5!cèt &í�9n�î��Å ;!" �ãoãts ìÅ2�ä �JæjóYg593#�ìÅ2�ê-!>0z25í; �!cèt ;#c �0z#c �íG�±0zë�êo \ê[í;93#c#" \êoîn932�4,ìÅ2� !"9`íG�¼9Qê"ët#c ët254, $#&#" \4,ë5í/!cìÅ9Q25ê$ó

�>vYxzw �DERmGj � BQMEi �!M�m�E*? JOERl�m)E �Ej�i#PYm�E;B�m�B�������� f��ètì±ê�í�9Q25êo!"#cë5í/!cìÅ9Q2� Q ;2t $#c0��Åì¼<; \êm��0��T 3#c ;2�� êêoëtîn ;#�ët2tì¼ð3 $#cê" kä����zæjçQ!"è50z!�ì±ê;ç,0Hë52tìÅðQ ;#>êo 3�&ètì±í>èZï®93#�0z2*'�ï¡0�Oì��¼'Z9zïNê" �!>êWì¼2�ìÅ!�í;9328!c03ìÅ2�ê0�ë52tìÅðQ ;#>êo Hí;9328!c03ìÅ2tì¼2� �!"ètì±ê�ï¡0��ì�¼'3ó

Page 9: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

� I8XQAcr3A/X � I*X3]8TcE-SUK$IQ­���AcT>]QD-VFSUK\I y �zy

ã�!�ì¼ê�93ë,!>êoì±4, �!cèt Ëêcí�93în �9zï`!cètì¼ê�î50zîn ;#�!"9' QìÅðQ 0Ìï®ë����� �ò,î��±0z250z!"ì¼932 9zïHètì 3è5 ;#"ñ93#>4, ;#Zët25ìÅðQ ;#>êo \ê;ç�0z2�4 !cèt �ì¼2Q!c ;#c $êo!" \4 #c $0Q4, ;#Oì±êZ#c �ï® ;#c#c $4 !"9 ��0��T 3#c ;2Çä =��Jæ�ó7��èt ;'0z#c ìÅ2�íG�¼ë54, $4 èt ;#c Î0Qê7032 �òt0��î��Å Î9zïk0 î5#"9*9zï¹ñj!"è5 ;93#c �!cì¼í$0���Å' êo!"#c932� í;9325êo!"#cë5í�!"ì¼932�&ètì¼í>è7ì¼ê�ê"ët)5ê"ë�O $4�)8'Z9Qët#�!"èt $93#c'�93ïNãoãts��*!"èt $'�0z#c �í�9Q2J+- $í�!"ët#c $4�!"9�#" \03í>è#),�&ì�!cèt93ë,! ��¼ì�Oì¼250J!cìÅ9Q2�#"ë��¼ $êìÅ28!"970z#c)tì�!c#c03#"'�!-'8în $ê26�!cèt kêo!"#c ;2� 3!"è�9zï��`#cìÅî�MQ �ñF�7�±0J!c �M�ê" �!!cèt ;9Q#"'�&ì�!cè79Q2t `#" \í�ët#>êoì¼ð3 �� 0zè��Å9�93#>4,ì¼250��jóE��èt ;'�0��¼ê"9�î5#"9Jð*ì±4, 1032� ;ò,0�Oî��Å B�&èt $#" ��� �è50gðQ 4, $í;9*4tìÅ2� ï®ët2�í/!"ì¼932�ê����O�`���-� � ä �8æ7�&ìÅ!"è¢� ä �8æ�S 1� � )¡ê" �!^6��&ètì±í>èÌ4, $î� $254Î2t932,ñ!"#cìÅð*ì±0���Å'�9Q2��03254mç*ï®93#�� �tç,ì±ê0�ètì 3èt $#�!-'8în B�&ètì±í>èL Q9* $ê�)n ;'39Q254êo ;!$ó��èt (ètì 3è5 ;#"ñj9Q#c4, $#�ët2tì¼ð3 $#cê" $êW9zï �¼ ;ð3 ���=�ì±ê�0Hï¡0�Oì�Å'O93ï�ët2tì¼ð3 ;#>ê" $êJ���./R���,çQì¼254, ;ò* \4

)8'�� & =�ç �&èt $#" a���ì¼êk0�êo ;!k9zï&í�9,4, \ê`ï®93#R9Qî� $#c0z!"9Q#cê1932Ìï¡0��ì�¼ìÅ \êR9zï&ê" �!cêR9zï0�Å $ð3 ����ç�03254#���8�E���%� 1� � )�êo ;!26&ì±ê&!cèt �4t $í�9,4,ì¼2� Zï®ë525í/!cìÅ9Q2�ó*��è5 �ê" �! 1� � )¡ê" �!269zïeê"ë5í>è93în ;#>0J!"9Q#cê�ì±ê&4, �é�2t $4)*'�ì¼2Q!c#"9,4,ë�í�ì¼2� T�9Q#" B Q ;2t $#c0����¼'Oï®93#�1A�z!-'8în

g�0�O)�1�60�HS )� ��3ê" �!^6��¢)� � 136P/ �î])�1�60�HS g50�O)�1367� g50��) 136P/ �î & )�1�60�HS �î]) ')')'c) �î

� ��� �& E-S�GHAcV) 136R6')' 'H6@/

�� �!=@��I�/ 1 � �3ê" �!D/ 4 � �@1 � � �î � )¡ê" �!G6 )��8S ��/�C�C�CG/0=]6#C

ãF2 !"è5 Îï®9n���¼9Y�&ì¼2� 0����`êo ;!cê�0z2�4 í�9Q25êo!"#cë5í/!c93#>ê�0z#c Ëî�0z#>0�O �!c ;#cìÅ<$ $4!�&ìÅ!"è #" \êoîn $í�!7!c9=f/ 1 � / 4 � ç,)të,!ï®9Q#êoìOî��¼ì¼í;ì�!-'a�� H9�OìÅ!�!"èt98êo `î503#c0�� ;!" $#cê$ó� � ç � � è�0gð3 R!cèt �êo!c0z2�4t0z#>4Ëí��Å98êoët#c �ît#"9Qî� $#o!cìÅ \ê19zï�07ët2tì¼ð3 $#cê" 3óm6�4t4,ìÅ!"ì¼93250����¼'#��

è50gð3 �ï®93#��TS ��/�C�C�CG/0=Ë!cèt `!t��9�í;9325êo!"#cë5í/!c93#>êB)V�&ìÅ!"è 4, \í�9,4,ì¼2� Qê26

"6 � ��� � / � � ) "6 � 67S 1 � /"ô � � 1 � � � � /�� � )t"ô � )5+E6Z6JS 4 � )5+E6@C

gtët#"!"èt $#RO9Q#" Qçtët254, $#&!"è5 k034t4tì�!cìÅ9Q250��N0Qê"ê"ë�Oî,!cìÅ9Q25ê>|�� �c��/�C�C�CG/ = � � �Qç��@�.�{��� . ç��� è50gð3 �!t��9TO93#c Hí�9Q25ê-!c#"ë�í/!"9Q#cêB),�&ì�!cè�4t $í�9,4,ì¼2� 8êK6

03î � � )��h6>��)��#�n� � /K� � )��`6J�:�{� 67��� � /� � )¡03î � � )��*/���/��E6Z67S.� � ),�>��� . )��h6G)0�,� � )��h6^/R�>�� !� R6Z6P/

03î�.� )��h6>��)��#�n� ��/"��������)��h67��� � / ���n)5� �#� . )��h6�) �5����)��`6G/R� � !� Z6R6Z6��:� � /� � )¡03în.� )��*/���/��*/R+E6Z6JS � . ),� ��� . )��h6G)0�,���.)��h6^/K� � !� R6Z6�),+E6QC

ã�ï3�� ��¼ �!a~ �HS��c��/�C�C�C^/ = �D)V�&ètì±í>è<O9Q#" �ï®93#KO0����¼' ê"èt93ë��±4 )n #" $î��¼0Qí� \4 )*''I &$� . 6/ç!"èt $2<�� 79Q)5êo $#"ðQ Z!"è�0J!T�� è50gð3 7ìÅ28!c#"9,4,ë5í; $4'� �7~<� ê" �!�!"9n 3 �!cèt ;#��&ìÅ!"è��U��)V|a�~�/K�4)V|t6R6J��� � �&è5 ;#c 3� � S' �î � )�êo ;!26/óEg593#� $03í>è�|J��~��� �í;032�4, ;!" ;#KOìÅ25 10�í�9n���¼ $í�!"ì¼9329zï[í;9325êo!"#cë5í�!"93#>ê$ç8 \03í>è9zï��&ètì¼í>è#c �ï® ;#>ê&êo!"#cì¼í�!R�¼'�î�98êoìÅ!"ì¼ð3 ��Å'�!"98�Á0z254Q)®în9Qê"ìÅ!"ì¼ð3 ��¼'�032542t � 80J!"ì¼ð3 ��Å'�6W!"98�Ç0zîtî��Åì¼ $4�!"9O!cèt R0z#K 3ë�O $2Q!>ê�9zïf� #" ;ï® ;#c#" \4Z!"9�ó

%,JOPqm-vYj*l � v;I+ERm)@ @ v � B8v�j*vYx y"B2i�B�JZu @ M�m @ m)E^w%ikj`v @_i6JYj JZu%j`m*B*@Xm2l ERm;G � E;B^i#PYmal�m�&7j�i#@5i6J�j BJtu�u �EjG�@_i6JYj`vYx(IE0J �OERv�w�B� �ãF2 0�#c $í; ;28!Rî50zîn ;#7ä ¡zæjçNô�9JðQ O03254<��0zî5#" ;!o!c0�ë�êo Zì¼254, ;ò* \4ìÅ254të5í/!cìÅðQ �ñ�#" \í�ët#>êoì¼ð3 O4, ;é52tìÅ!"ì¼9325êkìÅ2Ì!"è5 ;ì¼#�0z2�0��¼'*ê"ì±ê`9zï�!"èt O!c ;#K�ì¼250z!"ì¼932¾9zï�ï®ët25í�!"ì¼9325ê

Page 10: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

y��g� ��A"E-AcDW@�i »�� AcD�C$I*X���IJE-K\IO_3AcE-¬cAcD

4, �é525 $4Ì)*' 2t $êo!" \4Q 3 ;25 ;#>0���#" \í�ët#>ê"ìÅ9Q2�ó��1ìÅðQ ;2¾êoë�í>èÌ0ï®ët2�í/!"ì¼932 � !"èt Zì±4, $0ì±ê`!"9�ê"ì�ñkë��Å!c032t ;9Që5êZ�¼' 4, ;é52t �0Ëît#c $4tì¼í$0J!" ��#),W*6� �ò,ît#c $êcê"ìÅ2� !"è50z! �;),W*6k!" $#ROì¼250J!c $ê$ç�0z254 0ï®ët25í/!cìÅ9Q2 � " )VW]/)�*6��&ètì¼í>èË#" ;!"ët#c25ê&!cèt kêc0�O RðJ0��¼ët �03ê��;),W*6)të,!�è�03ê(0Qê(ê" $í;93254�03#R Që,ñ� $28!(0�î5#"9*9zï��O���#),W*6�!cè50J!��;),W*6�!" $#ROì¼250J!c $ê$ó

6(êcêoë�O (ï®93#Wì¼25êo!c0325í� (!"èt �#" ��&#"ìÅ!" #cë��¼ $ê �;),��6��`� �;)��;)Z�c6Z6�ç �;)Z�c6 �*� =,ç �;)_=�6 �*��;)t�c6(932 !"èt O4,9�Z03ìÅ2 �q��/���/K=��Qó�&Î �2t9Y�Áì¼254,ë5í�!"ì¼ð3 �ñ�#c $í�ë5#cê"ìÅðQ ��¼'4t �é52t �!"è5 k!c ;#K�ì¼250zñ!"ì¼932 ît#c $4,ì±í;0z!" a� ï®9Q#Hï®93# �[ó &Î � 3 �!�932t �í;9325êo!"#cë5í�!"93#`ï®9Q#R $0Qí>è¾#" ��&#"ìÅ!" Z#cë��¼ ���� � �)'�¢���#)t�q6^/�%a���#)�� " )Z��/)�*6Z6R6>� �#),��6/çh� . ���@)t�c6�ç`� = � )$�Q���@)t�c6R6>� �#)5=n6/óhgtët#"!"è5 ;#"ñ�9Q#" Qç,!"è5 H ��8ë50��¼ìÅ!-'�#cë��Å \ê�ï®93#�� " 0z#c � " )5��/K� ��)'�]/�%�6Z6}S � " )�� " )t�n/��`6^/�%�6�ç � " )t��/2� . 6�S�=,ç� " )_=E/K� = )'�*6R6>S � " )Z��/��`6/ó`��ètì±êì±ê�0Zî5#"9Qî� $#ãoãtsHç�ê"ìÅ25í; Rì¼2�!"èt k!-'*î� R93ï�� �R!"è5 �ê" $í�9Q2540z#K 3ë�O ;28!4, $î� $254tê&9Q2�� " )t�n/��*6�çE�&èt ;#c ��ì¼ê�!cèt `é5#>ê-!(03#R Që�O ;28!$ó

� 7 � r-�������Y�5�����.� p � ����� �.�!p � � � ���c���*� �2r��.� � �Y��� ���#�L�$4 � �V�c�65 � �

��èt ;#c 03#" 7#" \03ê"9325êRï®93#�ï®9,í�ë5êcê"ìÅ2� Ì0J!"!" ;28!cìÅ9Q2 9Q2 ãoãts[�&èt ;#c L�� í;0z2 4, �!c ;#KOìÅ2t ï®9Q# ;ð3 $#"'Zì¼254, ;ò-|�!cèt Rê" �!9zï�í�9Q25ê-!c#"ë�í/!"9Q#cê�ì¼28!"#c9*4të5í�ì¼2� O ��¼ �O ;28!>ê�9zïf� � ó���93#c `ît#" \í�ì±êo ��Å'!"ètì±ê�O $0325ê`!cè50J!RìÅï{� ì±êR0�í;9325êo!"#cë5í/!c93#H93ï�!cèt �ãoãtsRç�0z2�4P�� 8�&#cì�!c Zì�!>êH!-'*î� Zì¼2 ët2,ñí�ët#c#"ì¼ $4 ï®93#K�ç�!"èt $2 ìÅ!cê�!-'*în ì±êO9zï�!"èt ï®9Q#R )R)V|L��~.6 ��14),|t6Z6�� �{�"çeêo9Î!"èt é5#>êo!0z#K 3ë�O ;28!�4t �!" $#ROì¼2t $ê!"èt �ì¼254, �ò�|>ón6(2 �òt0��î��Å %�&ètì¼í>è êc0J!cì¼êoé5 \ê&!"è5ì¼ê�#" \ê-!c#"ì±í/!cìÅ9Q2�ì¼ê!"èt R0Qí;í� \ê"ê"ì¼)��Å `î503#o!&93ï[0�#" ��¼0z!"ì¼932�ó&Î �í$0z2 0��¼ê"9 4, �!c ;#KOìÅ2t �!"èt êo ;!k9zïí;9325êo!"#cë5í/!c93#>ê`ï®93#%�{�"ç��&èt $#" 70 í�9Q25ê-!c#"ë�í/!"9Q#

è503ê`!-'*în 4U� �{�(03254¢|`4,9* $êH2t93!�4, $î� $254 932�4�çNît#c9Jð*ì¼4t $4Î!"èt � ��8ë50��¼ìÅ!-'Ë932'~Ëì¼ê4, $í;ì¼4t03)��¼ 3ó5ãF2�!cètì±ê�í$03ê" `!"èt H!-'*în k93ï7� í$0z2�)n R#" $î��±03í� \4)8'¢)V| " �E~�6}�����%���" = )V|JS�� ��| " / 4�/+*6��9�3���"çf�&èt $#" @S�� �� ì±ê�!"è5 �4t $í�ì±4t03)��Å � c�Që�0��¼ì�!-' 9Q2\~�ç7�&ìÅ!"è #" \êoë���!Zì¼2 -�6/óãF2Î!cètì±ê���0g'�ï®93#R ;ò,0�Oî��Å Oé�2tì�!c ��¼'Ë)t#>0z2�í>ètìÅ2� 7!c#" $ $êR03254Ëï®93#c $êo!cêRí$0z2Ì)� �ê" ; $2Ì!"9�)n í;0zît!"ët#c $47)*'�#c $êo!"#cì¼í�!" $4�ãoãtsHó

ãF2�!"èt �ì�î��Å �� $28!c0J!cìÅ9Q2Ë93ï�!"èt Tb(0���ïWî5#"9*9zïeê"',ê-!c ��9zï�!-'*în k!cèt ;9Q#"'���ètì¼ ;#c#"'@��93ñ�Që�0z254 ;2tï®93#>í� $4 !cètì¼ê�#" \ê-!c#"ì±í/!cìÅ9Q2�çe0z2�4 ì�!���03êTMQ ;î,!7ìÅ2 !"è5 Ë6� 84t0 êo',êo!" � ä �zæ�çe!"è5 êoë5í$í� \ê"ê"93#�93ï`b�0��Åï-ó �2t &#c $0Qêo9Q2kì±ê�!"è�0J!e)n9z!"èO!cèt ì¼28!"#c9*4të5í/!cìÅ9Q2O03254� ��¼ì�Oì¼250J!cìÅ9Q2Z#"ë��Å \êí;0z2�)n kê"î� \í�ìÅé5 $4LO93#c RêoìOî��¼'*�5ï®93#&ì¼28!"#c9*4të5í�ì¼2� �0z2�ã"ãtsHçt!cèt kí�9Q25êo!"#cë5í/!c93#>ê����e9zïJ��0z#c �+-ë�ê-!��¼ì¼êo!" \4�ìÅ2!cèt `ï®93#K 4t0z!c0 �Y� . ),� . 6� ')' '��� &h)5�N&�6 �Qç503254932t H4,9* $ê"2�� !è50gð3 1!c9ìÅ25í��Åë�4, 1!"èt Hì¼254, ;ò���ìÅ2!cèt H0z#K 3ë�O ;28!>êW93ï�����93ï;�}�K),���_6 = !"ètì±êê"ì�Oî��¼ì�é� $ê�!"è5 `ê"'*28!c0Jò9zï[!"èt Rê"',ê-!c � ê"ët)5êo!c032Q!cì¼0����¼'3ó,ã�ï�9325 ���0z28!>ê�!"9�4, ;é52t � `),W*6�ï®9Q#>WO�.� � çt9Q2t Hí;0z2L�&#cì�!c ì�!ì¼2!"èt `ï®9Q#R

í;03ê" �W�9zï �q� . ),� . 6�� � . ),� & 6*�' ')'� & )5� &�67� �O&h),�;6*� �

gt93#14, �é�2tìÅ2� �ët2t#c $êo!"#cì¼í�!" \4�ãoãtsHç�08O93#c kí�9nOî��Åì±í;0z!" \4�êo'*28!c0zò7è50Qê&!"9�)� �ë5êo \4mç5 \êoîn �ñí�ì±0���Å'�!"èt � ��¼ì�Oì¼250J!cìÅ9Q2#cë��¼ $ê(è50gð3 1!"9�O0�M3 Hë5ê" R93ï�0TO9Q#" � Q ;2t $#c0��mï®93#K 93ï�î�0J!o!c ;#c2O0z!cí>ètì¼2� �ó5:* ; `ï®9Q#ìÅ2�ê-!>0z25í; �!cèt Hît#c9*9zï�03êcêoì±ê-!>0z28!&6��Åï>)"ä �q=gæ�ç�ä =Jæk6�ç��&èt $#" `ët2t#c $êo!"#cì±í/!" \4ãoãts í;0327)n Hì�Oî��¼ �O $2Q!c $4mó

62t93!"èt $#�#c $0Qêo9Q2¾ï®93#�!"è5ì¼êO#c $êo!"#cì¼í�!"ì¼932 ì±ê�!"è50z!Zì�!Zì±ê� \03ê"ìÅ $#k!c9Ìí;9325êo!"#cë5í�!�Z0J!cèt �ñO0z!"ì±í;0��h�9,4, ��¼ê��t)n ��¼9Y���� B�&ì���Nê" ; `!cè50J!#c $êo!"#cì¼í�!" \4�ã"ãtsÇí$0z2)� 4�9,4, ����¼ $4�0Qê�ìÅ2tìÅ!"ì±0��0�� 3 ;)5#c0Qê�ì¼2Z0z2Oã�ñ�ìÅ254t �ò, $4OêR�Åì±í� &í;0z!" � 393#c'3óYg5ët#o!cèt ;#KO93#c 3çz4,9nZ0zì¼2,ñ�!cèt ;9Q#" ;!"ì±í}�9,4, ��¼êe9zï#" \ê-!c#"ì±í/!c $4Rã"ãts í$0z2�)� 0 3ì¼ð3 $24O93#c W \03ê"ì��¼'3óY��è50z!eí�9�Oî��¼ì±í;0J!cìÅ9Q25ê[0z#cì¼ê" J�&èt $2%O9,4, ����¼ìÅ2�

Page 11: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

� I8XQAcr3A/X � I*X3]8TcE-SUK$IQ­���AcT>]QD-VFSUK\I y �$x

ët2t#c $êo!"#cì¼í�!" $4�ãoãts ì±ê�932t �9zïm!cèt �#c $0Qêo9Q25ê7�&è*'TZ0z2*'O)� ��Åì¼ ;ðQ (!cè50J!�0Rï®ë����¼'�ê"0z!"ì±ê-ï¡0Qí/!c93#c'ët254, $#cêo!c03254,ì¼2� O9zï[!"èt Hì±4, ;28!cì�!-'Z!-'*în Hè503ê�259z!'3 ;!&)� $ ;2�03í>ètì¼ ;ðQ $4mó

ã�!�ì±ê�93ï¹!" $2Ëîn9Qêcêoì¼)��¼ R!"97#" $î��±03í� 4 3 ;25 ;#>0��[ãoãtsÁ)*'�#c $êo!"#cì¼í�!" $4�ã"ãtsHç� $ê"î� \í�ì±0���Å'�ìÅïJ�� è50gð3 �0`4, $í;ì¼4t03)��¼ & ��8ë50��¼ìÅ!-'H932�!"èt �ì¼254, ;ò�ê" �!$óngt93#� ;ò,0�Oî��Å QçY�� í$0z2O4, �é�2t &0(ï®ë525í/!cìÅ9Q2)8'�#c $í�ë5#cê"ìÅ9Q2T�&ètì¼í>èO!c $êo!cê� ��8ë50��ÅìÅ!-'k93ï�250J!cët#c0��t2*ë�k)n ;#>ê$ón�(ê"ì¼2� H!"è5ì¼ê� ��8ë50��ÅìÅ!-'4�� (í;032�&#"ìÅ!" �!cèt Ëì¼28!"#c9,4,ë5í/!cìÅ9Q2 #"ë��Å \êZï®93#�!"èt Î ;ðQ ;2 2*ë�k)n ;#7ît#c $4,ì±í;0z!" ì¼2 0z2 0���!c ;#c250J!cìÅðQ ��0g'`���eðQ ;2 )6=]6�èt9��±4têZì = S �Ì93#O!cèt ;#c � �ò,ì±ê-!>ê�� ê"ë5í>è !"è50z!�= S :h)�: )��O6Z6Z03254�eð3 $2 )��O6/ó]��è�0J!`ì¼ê$çh�� Oè50gðQ R!t��9í;9325êo!"#cë5í�!"93#>ê�� � � ) =]6��;)6=�S��n6�� �Wð3 ;2 )6=]6/ç�03254� . ) =]6%�7)�� � I36 �<)6= S :h)j:h)��O6Z6R6 �<)F�eð3 $2])��O6Z6�� )F�eð3 $2 ) =]6R6/ó�)¡ã�!Rì¼êk0��±êo9���93#"!"è� $28!"ì¼932tì¼2� �èt $#" R!"è50z!10��Å!" $#"2�0J!"ì¼ð3 ��Å'Qç��� kí;032 4,ìÅ#c $í�!R�¼'�4, �é525 H!"èt � ;ðQ ;2�2*ë�k)n ;#>ê)*'ît#"ìOì�!cìÅðQ Ë#c $í;ët#cê"ì¼932 932 !cèt Î2�0J!"ë5#c0��(2*ë�k)n ;#>ê�� �eðQ ;2 )5�n6Zì±êZ!c#"ë5 Î0z2�4.�eðQ ;2 )�: ) =]6Z6ì¼ê�!"èt Î2t � 80J!cìÅ9Q2 9zï �eðQ ;2 ) =]6�ç�ë5êoì¼2� !cèt !t��9 ��Å �� $28!7ët2tì¼ð3 $#cê" �-!�&ì�!cè 4, $í;9,4,ìÅ2� ���6-�� êo ;!$óH6b9Y�� ;ð3 $#$ç\ìÅ!�ì±ê�2t93!�0�����0g',êNîn9Qêcê"ìÅ)��¼ �!"91!"#>0z2�ê-ï®9Q#R½014, �é�2tì�!cìÅ9Q2OìÅ28!"9�!"è5 &#" \ê-!c#"ì±í/!c $4

ï®93#KóY��èt �ît#cì� � ;ò,0�Oî��Å �ì±êN!cè50J!�93ï5!"è5 �ì±4, $2Q!cì�!-'k#" ��¼0z!"ì¼932�ó\ãF2ä����;æE�� �èt9Y�� ;ð3 $#[ê"èt9Y�!"è50z!`ìÅï��� �è50gð3 � �ò*!" $25ê"ìÅ9Q250��� ��8ë50��ÅìÅ!-'3ç`�� �í$0z2¾êoìkë��¼0z!" � 3 ;25 ;#>0��[ãoãts )8'Ë#" \ê-!c#"ì±í/!c $4ãoãtsHó ��èt O4, ;é52tìÅ!"ì¼9325êH03#" ��Që5ì�!c Oí;9�Oî��¼ì¼í$0J!c $4�!cèt93ë� 3è�çm0z2�4�!"è5 �#c $ê"ë��Å!"ì¼2� �î5#"9n 3#>0�ZêO0g'�)� Rí;9�Oîtë,!>0J!"ì¼932�0���Å'�ì¼2t ��Zí;ìÅ $28!$ó

� "&ÞWÝ�%&� "â���â"Û��ÇÜ$��� �����NÞeÝÆÞ��ZÚ8Û(ß�� � ��ß Ú8Û(ß�à(ánÜtâ� ������ �NámàÝ �8â� ��� ���1Û(â-Ütâ-ÞWÛ �

� 75d ���������E�c���+5��� 5"!{p � ����� �.�$#%�'&'�)(,�5��� 5"!*�+ �,J�.�

6(ê�ï®93#�!cèt H2t9Q2,ñjì¼254, ;ò, $4í;03ê" 3ç.�� Hêoè50�����4t ;#cìÅðQ 10�ï®93#KZ0��¼ìÅ<\0J!cìÅ9Q2�9zï[ãoãtsÇ)*'aO9,4, ��¼ìÅ2� !"èt � 0Qêì¼2tìÅ!"ì±0���0�� 3 ;)5#c0Zí;9325êo!"#cë5í/!cìÅ9Q25ê&ì¼2ËêR�Åì±í� kí$0J!c � 39Q#"ì¼ $ê$ó��N �!+- )n k0�ê" �!(93ïe#"ë��Å \êï®93#!"èt Q�±0z2� Që50� Q Ë9zïk!-'8în Ì!"èt $93#c'A)V�&èt $#" Ì $0Qí>è #cë��Å Ìì±ê- QìÅðQ ;2 )*' 0 é52tìÅ!" ê" �!�9zï+-ë54E 3 �O ;28!cêH0Qê�î5#" ��ì±êcêo \ê103254Î932t 1+-ë54E Q �O ;28!R03ê`í;9325í��Åë5ê"ì¼932�63�&ètì±í>èÎì¼25í��Åë54t $ê1!"è5 �Å9n 3ì±í;0��nï®#>0�O ���93#KMOë5ê" $4ìÅ27!"è5ì¼ê03#o!cì¼í��Å `0z2�470327 c�Që�0��¼ì�!-'Qó�gt93#ê"ë5í>è.-A�¼ �!��>��)�-�6�)n !"èt 7#" \êoë��Å!"ì¼2� Ë!-'8în �!cèt ;9Q#"'Qó���èt �í;0z!" � 393#c'��+ �,J�`)�-�6kì¼êR!"èt �í;0z!" � 393#c'3ç�!"èt 793),+- \í/!cê9zïf�&ètì±í>èË0z#c 1Éê$ó !\ó*�>��))-�6�ît#c9Jð3 $ê81 �*!-'*în 3ç�03254�!cèt �O93#cîtètì±êZZêï®#"9n 1½!"9.4 9zï�&ètì¼í>è�03#" �!c ;#KOê���ê$ó !$ón�>��))-�6�ît#c9Jð3 $ê �#� 1�� 4�ó �),+- \í/!>ê 1Rç61 " ê"ë5í>èO!cè50J!��>��))-�6ît#"9JðQ $ê 1AS51 " �8!-'8în k03254ï®ët25í�!"ì¼9325ê��*/ � " ê$ó !$ó��>��))-�6�ît#c9Jð3 $ê��#S � " ��4�� � 0z#c ì¼4, $28!"ìÅé5 $4mómãF2Ì93#>4, $#(!c9-O9,4, ��7~3ñ�ìÅ254t �ò, $4ÎìÅ2�4,ë5í/!cìÅðQ �ñ�#" \í�ët#>ê"ìÅðQ k4, �é�2tì�!cìÅ9Q25ê$çh�&èt ;#c �~ì¼ê10z2 03#")tìÅ!"#>0z#c'7êo!-'*î� Qç��� ��&ì���[ë5ê" R!cèt �í$0J!" � 39Q#"'/#%�'&!))-%/K~�69zï7~3ñjì¼254, ;ò* \4�ï¡0�Oì�Åì¼ $ê9zï&!-'*î� \ê;ó�6(2 93),+- \í/!�9zï+#0�'&!)�-�/R~.6Hì±ê�0z2<~3ñjì¼254, ;ò, $4 ï¡0�Oì��¼'¾9zï&!-'*î� \ê;ç�!"è�0J!Oì¼ê$ç[0320z)5êo!"#>03í�!" $4� ;ò*î5#" \ê"ê"ìÅ9Q2#1 ï®9Q#7�&ètì±í>è8�� í$0z2Oît#c9Jð3 0|J�n~ : 1kä |jæ]�J!-'*în ìÅ2a�>��))-�6/óQ6(20z#c#"9Y� ï®#"9n 1½!"9 4Æì±ê(0a~3ñjì¼254, ;ò, $4�ï®ët2�í/!"ì¼932Nç5!cè50J!1ì¼ê$çn032 0z)5êo!"#>03í�!" \4� �ò,ît#c $êcêoì¼932 �ï®93#��&ètì±í>è��� �í;0z2�ît#c9Jð3 T)®ì¼2#�>��)�-�6R60|0�n~ : ��ä |�æ��61�ä |jæ �B47ä |jæ�ó56� 80zì¼2L�� Hì±4, ;28!"ìÅï®'1�/ 1 " ê;ó !$óf�� �í;0z2 ît#c9Jð3 �|-�J~ : 1�ä |jæBS 1 " ä |jæ4�e!-'8în �0z254 �*/ � " ê$ó !\óf�� �í;032 í;032ît#"9JðQ B|���~ : ��ä |jæhS � " ä |jæ��647ä |jæh� �Oä |�æ�ó�&Ì ��&ì����ë5êoë�0���Å'79�Oì�!&!cèt k03#R Që�O ;28!1-½ì¼2#%�'&!))-%/K~�6�ó

ã�ï1� ì±êk0 í$0J!c � 39Q#"'Qç � 0z2 9Q),+- $í�!k9zï&ìÅ!$ç�!"èt $22�43Y� ì±êH!"è5 7êR�Åì±í� �í$0J!c � 39Q#"'@�&ì�!cè93),+- \í/!cê�î503ìÅ#>ê-) 1�/ �h6��&èt $#" 1 ì±êO0z2 9Q),+- $í�!�93ï5� 0z254 � 0z2 03#"#c9Y� 1 � ��ç�0325403ê3�9Q#"î5ètì¼êRZêï®#c9�:) 1�/ �h6!"9¢)�4�/ �6�O9Q#"îtè5ì¼êRZê76¢�31 � 4 ê;ó !$ó 86@S �[ó*I(9z!c

Page 12: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

y��$v ��A"E-AcDW@�i »�� AcD�C$I*X���IJE-K\IO_3AcE-¬cAcD

!"è50z!��� ��&#cì�!c Hî50zì¼#>ê0�&ì�!cè�#"9Qët2547)t#c0Qí2M3 ;!cê�932!cètì¼ê��Å $ð3 ��jó���ètì±ê&ì±ê4,ì n $#" $28!&ï®#"9nÆ!"è5 2t9z!>0J!"ì¼932��,+*/21� �ï®93#�!cèt Hî50zì¼#&9zï;+�03254L1�ì¼2�!cèt ��¼9� 3ì±í;0���ï®#c0�O ���93#KMnó� � � ��� �'( ����� � & ,��c�65 � � 7,d*d ^j @ M�m>u�J�xkx J Kfikj � KJm-v"B;B �EwTm8ikj�vYxkx�E �Ex�m�B�~P��ê-!-'*în |J��~ ::� ä |jæ]�z!-'8în 8k� v�jQvDC�B*@FEKvDG)@ m2l�mKo�I+ERm�B;B^i6JYjO:

� 7 - � 5 ��� � ���]������� �'(8� 5 � ����� � ��� 5��q���� �� � �&Î Rí$0z2�í�9,4, Hê" ;ð3 $#c0��mí�932�ê-!c#"ë5í�!"9Q#cê�9zï�0z2�ã"ãts ì¼28!"9O9325 R03ê�ï®9���¼9Y�ê��E�¼ �!��Ì)� R0�é52tìÅ!" ìÅ254t �òËê" �!`ï®93#`0����í�932�ê-!c#"ë5í�!"9Q#cê10z254 1 � )� �!"èt �!-'*în �93ïW!"è5 B�3!"è¾í�9Q25êo!"#cë5í/!c93#\ó*��èt $2#" $î��¼0Qí� Ì0���`í;9325êo!"#cë5í�!"93#>ê7)8' 9Q2t ¾í�932�ê-!c#"ë5í�!"9Q#�9zï�!-'*î� )�����]6Q� 1 � ç>�&ètì¼í>è ì¼ê4, �é52�0z)��¼ (ë5ê"ì¼2� kí;0Qêo �4,ì¼êo!"ì¼25í�!"ì¼932�9Q2 -mó8ãF2�í$03ê" 9zï�#c $êo!"#cì¼í�!" \4Oãoãts!�� (í;032�93)t!c0zì¼2Z9325 í�932�ê-!c#"ë5í�!"9Q#&ìÅ2�#c $êo!"#cì¼í�!" $4�ï®93#K(�&ìÅ!"è!-'*în �)V|��n~�/_����]6J� 13� �B� ���"çtìÅï�!cèt H!-'*în H9zï!"èt {�3!"è�í;9325êo!"#cë5í/!c93#�ì±ê>|7��~%�B1{� �{� ���"ó

ãF2Î!cètì±ê���0g' ì�!%�&ì����ê"ë��í� Z!c9 í�9Q25êoì±4, $#H932��¼'Îã"ãts �&ì�!cè 932t �í;9325êo!"#cë5í�!"93#Hì¼2¾!"è5 êo c�Që5 ��jó

� 7 � r-�������Y�5�����.� pqpGr ���8p � �V���)�'(�� (��*� ��� ���8� � ��(5�,��� ���E�c� ��5��Y�,�.�6(êcêoë�O ��� `è50gð3 `0O#" \ê-!c#"ì±í/!c $4�ãoãts �&ì�!cè�932t Hí;9325êo!"#cë5í/!c93#

ì¼2Q!c#"9T��),|J��~.6J������),�4/R�B/Z|t6J�:�4)V|t6)V�&ìÅ!"è 0����0z#K 3ë�O ;28!>ê�93ï�ì¼28!"#c97 ;ò,í; ;î,!�|&ì¼2Îë525í�ët#c#cìÅ \4 ï®9Q#Ra6/ç`�&ètì±í>èÌìÅ28!"#c9,4,ë5í; $êB�(�~8� ê" �!10z254O� �`),|>�E~�/K�4)V|t6R60� �Ëä |jæ�ó�b $#" �� � � ) � �E~a� êo ;!�/R�N�h)V|>��~�/2�T),|X6R6}�� ä |jæ /R~.67� êo!-'8în {�&ìÅ!"è72t9Hï®#c ; �9*í$í�ët#c#c ;25í; $êe93ï���ç�� 0z254T|>ó.�� �!�ï®ët#"!"èt $#W!cèt � c�8ë50��¼ì�!-'#"ë��¼ 1ï®93#�� )�

��)V|2/"ìÅ28!"#c9�),|K/K+E6Z67S����B),�4/R�B/Z|2/K+.6@/�&èt ;#c �� � �3)_� �J~ ��êo ;!�/R����)V|���~�/^�T)V|t6Z6-� � ä |�æ /Z|-��~�/�� � )_�0/R��/Z|t6R6a� � ä |�æ�&ì�!cè�2t9Hï®#c ; �9,í;í�ë5#"#c ;25í; $ê�93ï]�RçE�`ç�|�9Q#}+nó.I9Y� 932t �93)5ê" ;#cð3 \ê�!"è�0J!W!cèt (ì¼28!"#c9,4,ë5í/!cìÅ9Q2#"ë��¼ �03254� ��8ë50��ÅìÅ!-'�#"ë��Å k03#" �í;0zît!"ët#c $4 0Qê(032#~zñ�ìÅ2�4, �ò, $4�ï¡0�Oì��¼'�9zïW0��� Q ;)t#>03ê�ï®9Q#�� ì¼2#%�'&!)5~�6 3Y��ç��&è5 ;#c ���) �0/Z��6�SA)�� � )_�>/Z�36G/�� � ) �0/Z��6Z6^�U.

���>),�4/R�B/Z|t6 ìÅ28!c#"9*)V|t6 � �4),|X6

� ä |�æ

��),|t6

���! #"$&% $(' ) *

I9z!c H!"è�0J!(!cèt �ê"ìÅ!"ë50z!"ì¼932O 3 $2t ;#>0��¼ì¼<; $ê&!"èt �êoìÅ!"ë50z!"ì¼932�ï®9Q#(2t9Q2,ñ�ìÅ254t �ò, $4�ì¼254,ë5í�!"ì¼932,ñ#" \í�ët#>êoì¼932 ä����zæjç��&èt $#" 7!"èt #cë��Å \êRï®9Q#�� 0z2�4<�Æ03#" í;0zît!"ët#c $4 0Qê�032 0��� Q ;)t#>0�9zï(0320zîtît#c93î5#"ì±0J!c � $254,9zï®ë525í/!c93#,+¾932!"èt RêR�¼ì¼í; `í$0J!c � 39Q#"' �+ �,J�'3Y� ó? lnK » A�B,A>X8C$IJE-SUT\s/K$I8ANP*C;V�E-K�D-A>B8b�C;T>A.-�¿0/2143�Ã"a4-25�¿0/6173�Ã"a8-69�¿0/6173�à » i�]8I8Tc]QDFD-SUA/X�f$C;D-S�C$IJE-V-6:c¿F¿0/;103�ÃFÃ"a<-=: 5 ¿F¿0/61>3�ÃFÃ"a<-6: 9 ¿F¿0/6173�ÃFÃ

Page 13: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

� I8XQAcr3A/X � I*X3]8TcE-SUK$IQ­���AcT>]QD-VFSUK\I y �\{

ã�ï4� ä |jæ�Sed 03254 !"èt $#" ;ï®93#c ��)_�>/Z��/R|X6 4,9* $ê�259z!4t ;în ;254 9Q2!�RçJ�� è50gðQ �!"è5 ì�Oîn93#"!c0z28!&êoîn $í;ì¼0��mí;03ê" 19zï�0�#" \ê-!c#"ì±í/!c $4�ìÅ254t �ò, $47ìÅ2�4,ë5í/!cìÅðQ 14t �é52tìÅ!"ì¼932NóE&Î Hê"èt9Y� !"è5 �òt0�Oî��¼ `9zï[!"èt R0Qí;í� \ê"ê"ì¼)��Å 1î503#o!&9zï�0�#" ��¼0z!"ì¼932 �

)VWO�n~.67��),W�&<|t67� 6�í;í�)VW*6 0Qí;í�),|t6 � 6�í;í�),|t6

��

��

ì�ó 3ó� � )_�>/Z��/R|t6;SN)VW#�n~�67�e)VW &\|X67� �T)VW`6/ó

� 7 � ���L���'��� �'& ! 5�� � � � ��� �'(}pcp�rã�ï[0�î50z#"!"ì±í�ë��±0z#�ãoãtsÇ4,9* $ê�2t93!�è�0gð3 !cèt `#" \ê-!c#"ì±í/!c $4�ï®93#K !"èt $2-�� 14t9�2t93!�î5#"ìZ0Rï¡0Qí�ì¼ M8259Y�¾!"èt �êo ;![93ï5í�932�ê-!c#"ë5í�!"9Q#cê�ï®9Q#[0(î50z#"!"ì±í�ë��¼03#N �ò,ît#c $êcê"ìÅ9Q2�ó �2H!cèt �9z!"è5 ;#Nè�0z254mçq QìÅðQ ;20z2�0z#K 3ë�O ;28!�!"9O!cèt Rí�9Q25êo!"#cë5í/!c93#\ç��� Rí;0324t �!" $#ROì¼2t `!"è5 HìÅ254t �ò793ïN!cèt kí�9Q25êo!"#cë5í/!c $4 ��¼ �O ;28!$ó�N9 í;03î,!"ë5#" !"è5ì¼ê�ê"ìÅ!"ë50z!"ì¼932 !"èt í$0J!c � 39Q#"ì±í;0���#c ;î5#" \êo $2Q!>0J!cìÅ9Q2<kë�ê-!�)n í>è50z2� 3 $4�ó

%( $î� $254,ì¼2� (9Q2%�A��~%� ê" �!�03254B����)V|J�n~�/^�T)V|t6Z67�:� ä |jæ��� eè�0gð3 e0z2Rêo!-'*î� �� � ) �0/R�369zï�!"è5 �0z#K 3ë�� $28!cê93ï�!"èt Oí�9Q25êo!"#cë5í/!c93#ì¼28!"#c9tçm0z254mç�4, $î� $254,ì¼2� �9Q2@+O��� � )_�>/Z�36�ç��� è50gð3 ����)_�>/Z��/K+E64��~5ç��&ètì¼í>è¾ît#c9Jð*ì¼4t $ê`!cèt a|�ê$ó !$óNì¼28!"#c9�),+E6T���{�"ç�0z2�4� � )_�>/Z��/K+E64�� ä ��Y) �0/Z�{/R+E6�æ�çE�&ètì±í>è�4t �!" $#ROì¼2t $ê�!cèt HðJ0��¼ët H9zï;��)V|2/oì¼28!"#c9�),+E6R6/ó���è5 `4tì¼0� 3#>0� ì±ê��

)5+a������) �0/Z��6Z6 ìÅ28!"#c9 � �T)�� � )_�>/Z��/K+E6Z6

� ä � � )_�0/R��/R+E6Fæ

�%)�� �Y)_�0/R��/R+E6R6�

���������� ����� �

6(ê&0ké5#cêo!êoìOî��¼ 1ì¼25êo!c0325í� B�� ��¼9*9�M�0z!�!cèt Hì±4, ;28!"ìÅ!-'�#c ��±0J!cìÅ9Q2�932 1Ró,ã�!&è50Qê�ìÅ2�4, �òêo ;!�~8�zS 1�� 1kçY� ä |jæ*SNd�çg0z2�4�� � ) �0/R�36fS 1kç�� � )_�>/Z��/K+.67S �,+*/R+ �çg03254��%) �,+*/K+ R6JSã � )5+*/R+E6^�

),+�� 136 # � ãG),+*/R+E6

��

��

6(ê`0�ê" $í;93254�ì��Åë5êo!"#>0J!cìÅ9Q2@�� �ê"èt9Y�Áèt9Y�Á!c9�9Q),!c03ìÅ2Ë!"èt �#"ë��Å \ê(ï®9Q#1í;9�Oîtë,!>0z)tì�¼ì�!-'ît#" \4,ì±í;0J!c $ê(ï®93#`4, ;în ;2�4, ;28!`!-'*î� \ê;ó;)¡6�ê`ìÅ2¾:* $í�!"ì¼932@¡-�� �932��¼'� 3ì¼ð3 �074, ;é52tìÅ!"ì¼932Ìí�932tñ!c0zì¼2tì¼2� �9Q2t kí$03ê" 3ç5)5ë,!(!cèt �í;9�Oî��¼ �!c k4, �é�2tì�!cìÅ9Q2 ä �gæ�í;0z2�)n �93),!>0zì¼2t $4�)*'� �ò,î503254,ì¼2� !"èt R4, ;é52tìÅ!"ì¼932�í�9Q#"#c $ê"în93254,ì¼2� �!"9�!"è5 R034t4,ìÅ!"ì¼932�0���í�9Q25êo!"#cë5í/!c93#>êK6�ó

Page 14: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

y��\w ��A"E-AcDW@�i »�� AcD�C$I*X���IJE-K\IO_3AcE-¬cAcD

� � ) �{/ � 67S )�1N�D��ò,î�6��¢)'�O����) 136R6�)�4��D��ò,î�6��¢)Z)5+��D�eò,î�67� � ) 1�/)�]/R+E67� � )�4N+E6R6@/

� � ) ��/ � / � 1�/���/ 4�/�%O Z67S ?') 1�/ 4�6P/� � ) ��/ � / � 1�/���/ 4�/�%O Z67S )51�6��`+��D��ò,îhC �*WO� � )�14/��]/K+E6^C � )�4 +�/�%E),+*/ZW`6^/21�+E6PCI9z!c 1!"è50z!ìÅ2!"è5 � 3 ;25 ;#>0��mí;0Qêo B�� 1259��¼932� 3 ;#&è�0gð3 `0z2 ;254,93ï®ët25í�!"93#

#%�'&!)5~�6 3Y��� #%� & ),~.6 3���ó

� 7�� ��� � �)! 5�� & ����� 5�� ! 5���r-�������Y�5�����.� � � � � � � ��� �'(0pqpGrã�ï��� J�¼989nMR0J![!"èt �ï®ët25í�!"9Q#cê�0z#cì±êoì¼2� (ì¼24 Q ;2t $#c0��Qã"ãts<�� �93)5ê" ;#cð3 �!cè50J!f�� Wè50gðQ W9Q),!c03ìÅ2t \4932t Hêo!-'8în � � )_�0/R�36�0z2547!t��9kï®ët2�í/!"ì¼932�ê

� � )_�0/R�36���� � )_�0/R�36f��~�/���B)_�0/R�36���),+�� � � )_�0/R�36Z67�:� ä � � )_�>/Z��/K+E6�æTC

�&èt ;#c �) �0/R�36eì±ê&0z27 ��¼ �O ;28!&9zï #%�'&!)5~�6 3Y��ç�� � � ) �0/R�36��HS ��� � )_�>/Z�36G/ � � )_�>/Z�360 W032 ��¼ �O ;28!�9zï /��HS )V|���~.6 �>� ä |jæ�çJêo9�)�� � )_�0/R�36^/ � � � )_�0/R�36Z6�ì¼ê[0z2� ��¼ �O ;28![9zï"�+ �,J�'3 /Zó��ètì¼ê(í;0z2)n H �ò,î50z2�4, $4�!"9�0�ï®ët25í�!"9Q#

� � #%�'&!)5~�6 3Y�(� �+ �,J�'3 / C

ãF2#c $êo!"#cì±í/!" \4�ã"ãts �� `è50gðQ (ï®9Q#>|J��~

� � ) �0/R��/Z|t6��3êo!-'8în /����) �0/R��/Z|t6���),+�� � � )_�0/R��/Z|t6R67��� ä |�æ8/

�&ètì¼í>èRí$0z2`)n �í�9nk)tì¼2t \4(!c9(0z2H $254,93ï®ët25í/!c93#J),�&ì�!cèR93)*ð*ì¼93ë5ê�03#"#c9Y� î503#o![0z2541 �ò*!c ;25ê"ìÅ9Q2!"9-�Éê;ó !$ó�|J�n~ : �Zä |jæ �J!-'*în c6

��� #0�'&!),~.6 3�� � #%�'&!)5~�6 3Y� C

��9325ê"ì¼4t ;#e!cèt ï®ë525í/!c93#�� � � #0�'& ),~.6 3���� �1 �,��3�� ä |�æ*�&ì�!cè�9Q),+- $í�!Wî50z#"!�� � ) �0/Z��6J�zS)_�Oä |jæ_/R�kä |jæV6W0325493)*ð*ìÅ9Që5ê�0z#c#"9Y� î�0z#"!$ó

�eð3 $#"'� ��¼ �O ;28!%) �0/Z��60��#0�'&!),~.6 3�� ì¼ê(ët2tì �8ët ��¼'4t �!" $#ROì¼2t $4�)*'7ì�!>êît#c9z+- \í/!"ì¼932�ê� � )_�0/R�36/ó �2t k0��¼ê"9Z2t9z!c $ê!"è50z!(ï®93#� ;ðQ ;#c'7ê" ��8ët ;2�í� R93ï[ï®ë525í/!c93#>ê � � �'#%�'&!)5~�6 3Y� ��1 �,J� 3�� ä |�æ1!"è5 ;#c Î ;ò*ì±êo!cê�0 ë52tì�8ët Îï®ët25í�!"9Q# � �5#0�'&!),~.6 3�� � #%�'&!)5~�6 3Y� ê;ó !$ó� � �(S � � ó � 0z254 ���&ì����)n Zê-!c#"ì±í/!K�Å'�în9Qê"ìÅ!"ì¼ð3 �ï®ët25í/!c93#>ê`ìÅ2Qkë�í>è !"è5 Oêc0�O ���0g'03ê�+ ìÅ2 ä �c�Jæó�ô�ë,!Rê"ìÅ25í; �� ì±êH4, �!c ;#K�ì¼2t \4Î)*'�� � � 0z254Î)�93!"è�� � � 03254 � 0z#c ï®ët25í/!c93#>ê8#%� &!),~.6 3Y� ��� �1 �,�� 3 /Zç ),�&èt ;#c / SN),|���~�6�L� ä |jæNì¼27!cèt � 3 $2t ;#>0���í$03ê" 0z254 / S(� ä |jæ�ìÅ2¾!cèt �#c $êo!"#cì¼í�!" $4 í$03ê" c6�ç�ì�!�ì¼ê4�9Q#" Z \í�9Q2t9�Oì±í;0��e!"9OO93#c a 3 $2t ;#>0���¼'ìÅ28!"#c9,4,ë5í; �!cèt H2t93!"ì¼932�9zï�0�êo!"#cì±í/!R�¼'�în9Qê"ìÅ!"ì¼ð3 1ï®ët25í�!"93#

+D� #%�'&!)5~�6 3Y� ��� �+ �,J� 3O/

Page 15: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

� I8XQAcr3A/X � I*X3]8TcE-SUK$IQ­���AcT>]QD-VFSUK\I y �\�

ï®93#H0z2Ì0z#c)tì�!c#c03#"'7!-'*î� �/Zó g5#"9n !"ètì±ê��� Oí;032Î4, $#"ì¼ð3 k!"èt �ï®ët25í�!"9Q#cê � 0z2�4 �`óe6(ê`ì¼2ä �c�Jæ�çE�� H4, ;é52t `ï®93# /��J!-'*în `!"èt `!-'*în H9zï[ìÅ254tì¼í; $ê�ï®9Q#ê-!c#"ì±í/!K�Å'�în9Qê"ìÅ!"ì¼ð3 `ï®ët25í�!"9Q#cê

/��J!-'*î� 1��� � ��� � �J!-'*î�

/

!"9� Q �!cèt ;#>�&ìÅ!"è�çtï®93#��@�� 1��� � ��� � ),�� H9n�ìÅ!�~�/K�O/0/�çtì�ï[!"è5 Hî50z#>0�O �!c ;#� ì±ê> 3ì¼ð3 $2�6

+ � ��) � ��~%� ê" �!c/Z� ��)V|���~�/^�T)V|t6R6J��� ä |jæk67� êo!-'*î� \/+�� ��) � ��~%� ê" �!c/Z� ��)V|���~�/^�T)V|t6R6J��� ä |jæ_/K+8� + � ) �0/Z��6Z6f� / C

)®ã�!�ì±ê�ê-!c#c03ì� QèQ!"ï®93#K��03#c4k!"9�4, �é525 �0z#c#c9Y� î503#o!>êe93ïm!"èt \êo &ï®ë525í/!c93#�0z254O!cèt ( ;ò*!" ;2�êoì¼932O!c90z#K 3ë�O ;28!>ê�) �0/R�36�ê;ó !$ó�|���~ : �Zä |jæ �J!-'*în QóH6&Î í�932�ê-!c#"ë5í�!� ��Å �� $28!cê�9zï 1� � � ��� � ì¼2 0ËêoìOì��±0z#���0g'¾03êkìÅ2 !"èt 72t932tñjì¼254, ;ò* \4

í;03ê" ��

� ô�03ê" a��0Qêo n�h��ètì¼êkí�93#c#c $ê"î�9Q254tê(!"9�è50gð*ìÅ2� ã"ãts��&ì�!cèÎ2t9 03#R Që�O ;28!cê193ïW!"è5 �í�932tñê-!c#"ë�í/!"9Q#0z25479325 19Q2��¼'�è50Qê�!"9Z4, �!c ;#KOìÅ2t `!cèt H#c $ê"ë���!&93ïQ/8�

� � /A� 1��� � ��� � /+�� �� ����^)_�>/Z�36fSNd /+�� �� ����^)_�>/Z��/2�E6fS�� C

� I9Q254, ;în ;2�4, ;28!�ët2tì¼932k93ï,ï®ët25í�!"93#>ê��c��ètì±ê�í�9Q#"#c $ê"î�9Q254tê�!c9(!cèt �ê"ìÅ!"ë50z!"ì¼9324�&è5 ;#c e!"è5 í�9Q25ê-!c#"ë�í/!"9Q#Wè50Qê�032�0z#K 3ë�� $28! 1 03254#)�4, ;în ;254tìÅ2� �932-+a� 1�6�ï®ët#"!"è5 ;#�0z#K 3ë�O ;28!>êí�9,4, \40Qê�;)5+E6/ó

� �%) 1A�3êo!-'*î� n/��#�@1 � 1��� � ��� � 67� 1��� � ��� � /+ � � � � � )_�0/R�36fSN)5+a�6136���+ � � � ) �0/Z��6#/+�� � � � � )_�>/Z��/!�,+*/K1) Z6fS +�� � � )_�>/Z��/21G6OC

� %( $î� $254, $2Q!�ët2tì¼932 93ï�ï®ët2�í/!"9Q#cê�����è5ì¼êRí;93#c#" \êoîn932�4tê1!"9�!cèt �ê"ì�!cë50J!cìÅ9Q2¢�&èt ;#c Z!"è5 í�9Q25ê-!c#"ë�í/!"9Q#Hè503êR932t Zì¼254,ë5í�!"ì¼ð3 �03#R Që�O ;28!RìÅ2�4, �ò, $4Ì9JðQ ;# 1Ró�gt9Q#H $03í>è¾ ��Å �� $28!+a� 1 �� &è50gðQ �!"9R4, ;!" ;#KOìÅ25 (0z2Oì¼254, �ò�|^),+E6}��~�ç��&ètì±í>èOìÅ254tì¼í$0J!" \ê�!"è5 (êo ;!}�T)V|^)5+.6R6/ç!"èt Hì¼254,ë�í/!"ì¼ð3 R03#R Që�O ;28!�ì¼ê&í>èt98êo $2�ï®#c9��ó���èt `#c $ê"ë��Å!�93ï�� ï®93#�!cètì¼ê(0z#K 3ë�O ;28!�ì¼ê0z2 ��Å �� $28!k9zï4)5+<�01364� � ä |^)5+.6Fæ�03254Ì!"è5 �9z!cèt ;#�0z#K 3ë�O ;28!>êR4, ;în ;2�4 932¾!cètì¼êï®ët25í�!"ì¼932�ó��N �!�� 1ä |K/ ��æ �HS )VW`6X�4),|^)VW*6G/ �;),W*6Z6�ó

� ��) 1A�3êo!-'8în �/R|7� 1��:~�/��#��)Z)5+�� 1�6J��� ä |^),+E6�æV67� 1��� � ��� � 67� 1��� � ��� � /+ � �� � � � � � )_�0/R�36fSN)��#��),+a�@136J� �8)V|^),+E6Z6R6���+ � ��! � � � " � � ) �0/R�36O/+ � �� � � � � � )_�>/Z��/!���*/K1) Z6fS + � ��# � � � " � � )_�>/Z��/21G6@C

Page 16: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

y��\� ��A"E-AcDW@�i »�� AcD�C$I*X���IJE-K\IO_3AcE-¬cAcD

&Î &é�2tì¼ê"èO!"è5ì¼ê�êoë5)5êo \í/!cìÅ9Q2�)*'O4,#>0q�&ìÅ2� R0H4tì¼0� 3#>0� �&è5ì¼í>è�ê"èt9Y�ê[!"è5 (#c ��±0J!"ì¼932�êoètì¼î)� ;!t�� $ ;2!"èt `ï®ë525í/!c93#>ê �É0z2�4��Éï®93#> Q ;2t $#c0���032547#" \ê-!c#"ì±í/!c $47ãoãts��

#%� &!),~.6 3Y� � � �1 �,�� 3E)V|J��~�6�L� ä |jæ

�1 �,��3�� ä |�æ

��� ���

� ��� #%�'&!)5~�6 3Y�

��

�&èt ;#c ��) �0/R�36{S )Z),|B�`~.6,�Q�T)V|t6G/�),+E6)� � � ),+E6G/Z�4)6� � ),+E6^/0� . ),+E6Z60 Z6/ó[:*9!"èt �ï®ët25í�!"9Q#cê`ì¼2!"èt #c $êo!"#cì±í/!" \4�í$03ê" 0z#c �!"èt98êo >�&ètì±í>è�ï¡03í�!"93#�!cèt#c93ë� QèO032O ;254,93ï®ët25í�!"93#2�`ç��&ètì¼í>èZìÅ!cê" ��Åïì¼ê4t �!" $#ROì¼2t $47)*'�!cèt 2�-é5)n ;#>ê��� � ��`ó��èt 1ï®ët25í/!c93#>ê�ï®93#&!cèt H#c $êo!"#cì¼í�!" $47í;0Qêo `è50gðQ `í;9,4, $ê�93ïN!"è5 `ï®93#K� )5~�/c)V|t6' ')' � ) 1�/ �*/�),+E6' ')' � )�4�/ `/�)51�6')' ' � )5��/c)���6' ')' � ),�#/�)��.6' ')' � )0�V|2/ � Z6R6Z6R6Z6Z6D/

ìÅ Qó$!cèt �í�9,4, $ê�0�����0g',êNêo!c0z#"!��&ìÅ!"è � ),~�/�),|X6hC�C�Cz03254H!cèt �ìÅ2t25 ;#K�98ê-![î50z#"!cê[0z#c W93ït!"è5 Wï®9Q#R� )0�V|2/ � R6��&èt ;#c �|Nì¼ê�ðJ0��¼ët �9zï�!"èt �é5#>êo!�25932,ñ�ìÅ2�4,ë5í/!cìÅðQ �03#R Që�O ;28!$óE)5I9z!c �!"è50z!�!"èt �93#>4, $#9zï�!"èt �í�9Q25ê-!c#"ë�í/!"9Q#cê�ì¼2Ë032 ��Å �O ;28!�93ï 1� Oì 3è8!�4, $î� $254�9Q2 0z#K 3ë�O ;28!>ê&ît#c $í� \4,ì¼2� !"èt �86�ó���è50J!&0Hï®ë525í/!c93# �Áè50Qê�ê"ë5í>è70�í�9,4, 1í�9Q#"#c $ê"î�9Q254tê� �òt03í�!R�¼'�!"9�!"èt �ï¡03í�!�!cè50J!&ìÅ!ì¼ê&9Q),!c03ìÅ25 $47)8'�!"èt R03)�9JðQ 14,ì±0� Q#c0� ï®#"9n êo!"#cì¼í�!R�¼'�în9Qê"ì�!cìÅðQ �ï®ë525í/!c93#>ê����� ��1ó

� 7�� #N5�� & �E�c�65 � � � �!p � ��� 5 � � ���c�65 � r � (,�.�4! 5���r-�.�����q�5���c��� pqpGrs& $êo!"#cì¼í�!" \4�ãoãts )®ì¼254,ì±í;0z!" \4�)*'70�ê"ëtîn ;#>ê"í;#"ì¼î,!#^6&0z#c � 3ì¼ð3 $2)*'�ê-!c#"ì±í/!K�Å'în9Qê"ì�!cìÅðQ H ;254*ñ9zï®ët25í�!"9Q#cê�� ì¼2¾!"è5 7í;0z!" � 393#c' #0�'&!),~.6 3���ç��&è5ì¼í>è í$0z2 )n � 3ì¼ð3 $2 )*'Ë!cèt ;ì¼#-)�ê-!c#"ì±í/!K�Å'î�98êoìÅ!"ì¼ð3 q6&ît#c9z+- \í/!"ì¼932�ê ��� ,�[� #%� &!),~.6 3Y� � �+ �,J� 3Y�Ëä |jæ�ón:*9�!"èt Oêo ;!�93ï�í�9,4, \êï®9Q#!"èt \êo kï®ët25í/!c93#>ê(ì±ê3 3ì¼ð3 ;2 0Qê(0�ï¡0�Oì��¼'�9zïWí;9*4t $ê(ï®93#,�*� �`ç�03254�!cèt R!-'*în k9zïWí;9,4, $ê�ì¼ê 3ì¼ð3 ;2�03ê

1�� � � � �J!-'*în \/ 1�� � � � SA)V|���~.6J� 1� � � ��� � � � � C6(êcêoë�O �2t9Y� �<� 1� � � � � ç]�[��~L� ê" �!$ç`����),|{��~�/2�T),|t6Z6{���Ëä |jæ�ç*|3��~�ó`��è5 �9Q),+- $í�!î50z#"!&9zï;�[)®#c $êo!"#cì±í/!" \4�!c9-�A��~%� ê" �!^6�ì¼ê&4, ;é52t \40Qê

� � ) �0/R��/Z|t6��HS + � � � )_�>/Z�36��3êo!-'*î� � � ) �0/Z�{/Z|2/R+E6��HS +�� � � )_�>/Z��/K+E6J�n� ä |jæ

ï®93#�+a� � � }) �0/R��/Z|t6/ó&Î Hè50gðQ (!cèt `ï®9���¼9Y�&ìÅ2� �ï®93#KZ0J!cìÅ9Q27#cë��¼ $ê�ï®93#�� � 0z2�4-� � �

� �*),|X6}�Qêo ;!¢/ � ��),|t6}��� �`)V|t6J���Ëä |jæ8C� �`)V|t6�è503ê&í;9325êo!"#cë5í�!"93#

ì¼28!"#c9 �`)V|t6}�<� � >),� ��/K� ��/R|X67�:� �`)V|t6P/0z254�!"èt H c�8ë50��¼ì�!-'�#"ë��¼ `ï®93#�� � )V|t6�ì±ê��

� ��),|K/"ìÅ28!c#"9 �`)V|2/K+.6R67S � � J),� �*/K� ��/R|K/K+E6#C

Page 17: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

� I8XQAcr3A/X � I*X3]8TcE-SUK$IQ­���AcT>]QD-VFSUK\I y �$�

� 7�� #N5�� & �E�c�65 � � � �!p � ��� 5 � � ���c�65 � r � (,�.�4! 5�� � � � ��� � (}pqpGrãF2� 3 $2t ;#>0��zã"ãts )�03ê�ì¼254,ì±í;0z!" \4H)*'1ê"ëtîn ;#>ê"í;#"ì¼î,!� E6`�� Wè50gðQ �!"91í�932�êoì±4, ;#[ê-!c#"ì±í/!K�Å'1în9Qê"ì�!cìÅðQ ï®ët25í/!c93#>ê�ìÅ2 � � #%�'&!)5~�6 3Y��� �+ �,J� 3E),|7��~.6 �-� ä |jæjó���è5 �!-'*în H9zï�í�9,4, $ê�ì±ê0 3ì¼ð3 $20Qê

1��� � � ��z!-'8în / 1��� � � �

S' 1� � � ��� � � � ��� � � � � C

6(êcêoë�O 12t9Y� �@�� 1��� � � �ç�� ��~%� êo ;!$ç.����)V|J��~�/^�T)V|t6R67��� ä |�æ�óE��èt `í�9�Oîn932t $28!cê�9zï

�½2t $ $4, \47ì¼2!"èt `ï®9n���¼9Y�&ì¼2� �03#" � � ) �0/R�36��HS + � )_�>/Z�36��3êo!-'*î�

� � ) �0/Z�{/R+E6��HS.� � ) +�� )_�>/Z��/K+.6R6}��~� � ) �0/Z�{/R+E6��HS.� . ) + � )_�>/Z��/K+.6R6}��� ä � � )_�0/R��/R+E6Fæ

ï®93#�+a� � � ) �0/R�36/ó&Î Hè50gðQ � \ê"ê" ;28!cì¼0����¼'Z!"è5 Rê"0�� 1ï®9Q#RZ0J!cìÅ9Q2�#cë��¼ $ê�ï®93#�� � 0z2�4-� �

� �a��~%� êo ;!¢/ � �8��),|J��~�/R� �*),|X6R6J��� ä |jæ8C��èt ;#c `ì¼ê&9Q2t Hí�9Q25ê-!c#"ë�í/!"9Q#�ï®93#0��� � �`)V|t6�ó5%( $î� $254,ì¼2� Z932�ìÅ!cê&03#R Që�O ;28!cê�� *)5� �*/R� ��/R+E6�4, �!c ;#KOìÅ2t \ê�!"èt Hì¼254, ;ò7ìÅ!)� ��Å9Q2� Qê�!c95ó�:,9�!cèt Hì¼2Q!c#"9,4,ë�í/!"ì¼932#cë��Å `ì±ê��

ìÅ28!"#c9 � ��),+a� � � )5� � /R� � 6Z6J�:� � )�� � ),� � /K� � /R+E6R6@C��èt H ��8ë50��ÅìÅ!-'�#cë��Å 1ï®9Q#�� � ì¼ê��

� � )�� � *)5� �*/R� ��/K+E6^/oì¼28!"#c9 �`),+E6Z6JS � � �)5� �*/R� �*/R+E6@C

� 7�� 7(,�)&'� � �E���F5 � r � (,�.��! 5��-pqpGr&Î �259Y� 4, ;é52t Z!cèt �ì¼254,ë5í�!"ì¼932 ît#cì¼25í�ì¼î��¼ �)�93!"è¾ï®9Q#R!"è5 �#" \ê-!c#"ì±í/!c $4¾0z2�4Ë!cèt a Q ;2t $#c0��í;03ê" 3ó*&Ì �4, ;é52t �é5#>ê-!��9Q#" % 3 $2t ;#>0���Å' + �� 03254 +��� � ï®9Q# �'� 1��� � ��� � óm6(êcêoë�� ��ì¼ê0�!t�&ì±í� H0z)�ê-!c#c0Qí/!" \4� ;ò,ît#" \ê"ê"ì¼932703254

�#�� 1��� � ��� � / � ��~%� ê" �!D/ � ��)V|���~�/2�T),|X6R67��� ä |jæa/|7�n~�/"�#���T),|X6 :��Zä |2/���æ �J!-'*în \C

��èt H#"ë��Å \ê�ï®93#,+ �� 03254 +��� � 03#" H03ê�ï®9n���¼9Y�ê��+�� + � 0)_�>/Z�36

+ �� ) �0/R��/��0/K+.6}�z!-'8în 6���),|J�n~�/R+a���T)V|t6R6J���Zä |K/"�5æ

+��� � )_�>/Z��/��0/ 6*6}��),+�� + � )_�>/Z�36R67� + �� )_�0/R��/��0/K+E6+ ���� ���� ) �0/R��/��0/2�E67S�dA/+ �� ��� ���� )_�>/Z��/��0/ 6]/A�E6fS ��/+ ��� � � � )_�>/Z��/��0/ �5+�/21� Z67S + �� � � ) �0/R��/��0/21G6#/+ �� �� � �

� )_�>/Z��/��0/ 6]/ �5+�/21� Z6fS + �� � � � ) �0/R��/��0/ 6 /21G6O/

Page 18: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

y$y � ��A"E-AcDW@�i »�� AcD�C$I*X���IJE-K\IO_3AcE-¬cAcD

+ ���� � � � � � )_�>/Z��/��0/ ���*/K1� R67SA)Z)5+��@136J���Zä |^),+E6^/ �;),+E6�æV6���+ �� ��! � � � " � � ) �0/R��/��0/21G6#/+ �� ��� � � � � � )_�>/Z��/��0/ 6]/ ���*/K1� R67S �)6 1ä |2/ ��æ_/�+ �� � ��# � � � " �

� )_�>/Z��/��0/ 6]/K1G60 #CãF27!cèt H#c $êo!"#cì¼í�!" $4í;0Qêo ��� Hè50gð3 12t9Y� ë5254, ;#�!cèt R03êcê"ë�Oî,!"ì¼9325ê

�#�� 1� � � � � /|7�n~�/K+a��� � ),|X6 :��Zä |2/K+3æ �z!-'8în /6���)V|J�n~�/K+a�<� � 0),� ��/K� ��/R|X6G/ + �� � � )5� �*/R� �*/��0/R+E6R6J���Zä |K/"ìÅ28!c#"9 �*)V|2/R+E6Fæa/

s � � �))6*60��),|J��~�/R+���� � )V|t6R67���Zä |2/K+3æ8/

s � � �))6]/Z|2/"ìÅ28!"#c9 � )V|2/R+E6Z6�S 6�)V|2/R+*/ + �� � � � )5� � /R� � /��0/ 6 /K+.6R6PC

62547ï®93#�!cèt � 3 $2t ;#>0��mí$03ê" ��� `è50gð3 `ët2�4, ;#�!cèt R03êcêoë��ît!"ì¼9325ê�#�� 1��� � � �

/|7�n~�/K+a��� � ),|X6 : �Zä |2/K+3æ �z!-'8în /6���),+a� � � })5� �*/R� �E6^/�+ ���)5� �*/R� �*/��0/K+.6R6J���Zä �� �)5� �*/R� �*/R+E6^/"ìÅ28!c#"9 �`),+E6Fæa/s � � �))6*60��),|J��~�/R+���� � )V|t6R67���Zä |2/K+3æ8/

s � � �))6]/ � � *)5� �*/R� ��/K+E6^/oì¼28!"#c9 �`),+E6Z6JS 6])5+*/ + �� � )5� �*/R� ��/��0/ 6]/R+E6Z6QC

ãF2 !"è5 #c $êo!"#cì±í/!" \4 í;0Qêo 9325 í$0z2 ê"èt9Y� !cè50J!O!"è5 03)�9JðQ �#cë��Å \ê� �ò,ît#c $êcêR!cè50J!O!"è5 ï¡0�Oì��¼'D),� �*),|X6G/R� �`)V|t6Z6ï®93#3|���~7ì¼ê�)¹!cèt �í$0z#c#"ì¼ ;#(9zïK6(0z2 ì¼2tìÅ!"ì±0���0�� 3 ;)5#c0Oï®9Q#!cèt � $254,93ñï®ët25í/!c93#;� 932�#%�'& )5~�6 3Y��óY��ètì±ê� 3 ;25 ;#>0��¼ìÅ<$ $êN0(!"è5 ;93#c � ì¼27ä����zæ*03)�9Që,!N!cèt �í;932t25 $í/!cìÅ9Q2)� ;!t�� $ ;2Zì¼254,ë5í�!"ì¼ð3 �ñ�#c $í�ë5#cê"ìÅðQ &4, �é525ì�!cìÅ9Q25êe93ïm0kêo ;!�� 0z2�4Z0`ï®ët25í�!"ì¼932a���n� ��� 03254ìÅ2tìÅ!"ì±0���0�� 3 ;)5#c0QêWì¼2!"èt RêR�Åì±í� Rí$0J!c � 39Q#"'��+ �,J� 3Y� ó�-�$4 � �,���65 � -(798tv;: �M�m C2v B2i6G�@ M�m;JOE^y Jtu@ikj*lnmRo.m2l'ikj`l � G)@5i#PYm�ERm;G�� E;B2i#PYm¢l�m�&7j�i#@5i6J�j B

8������ �KpqpGr>: GRJ�j B^i�B*@6B JZu>@ M�m E �Ex�m�B�u�J E�@ M�m-x J ��i6GKv�xhu;ERvYw8m�K�JOE��¢v"Baikj�@FE0Jcl � G2m2l@ikj@#MEi�BLv E*@_i6G�x�m �@ M�mBu�JOE^wTvO@5i6J�j vYj*lQikj�@FERJ�l � G�@_i6JYj�E �Ex�m�B{u�J E 1� v�j*l�@ M�mOlnm�&Jj�ikj��E �Ex�m�Bfu�JOE,+ � + � + �� v�j*l +��� �

82C2: �M�m @ M�m;J E^y{pqpGr���Jtu,ERm*B*@ E^i6G�@Xm2l�ikj`l�mKo.mKl4ikj*l � G�@_i#PYm,EKmRG�� E;B^i#PqmBlnm�&Jj�i#@_i6JYj B9G;J�j B^i�B*@6BJtu�� ��� �KpqpGr�Q@ M�m�l�m�&7j�ikj��>E �Ex�m*B7u�JOE 1�� � � � � �v�j*l @ M�mJu�J E^w8v @_i6JYj��ikj @ E0JO?l � G)@5i6J�j�hmGxzikw�ikj*vO@5i6J�j�hm�����vYx i#@5y E �Ex�m�Bfu�JOE�� � v�j*l4� �

82G2: �M�m�@#M�mRJOE^y8pcp�r� Jtu ��m�j*m)ERvYxfikj`l�mKo�m2l�ikj`l � G)@5i#PYm EKmRG�� E;B^i#Pqm�l�m�&7j�i#@_i6JYj B G;J�j B^i�B*@6BJtu�� ��� �KpqpGr��@#M�m�lnm�&Jj�ikj � E �Exm*Bau�J E) 1� � � � �� � � � Lv�j*l.@#M�m-u�JOE^wTvO?@5i6J�j�*ikj @ E0J�l � G�@_i6JYj�`m�xzikw�ikj*v @_i6JYj�`m�����vYxzi#@_y�E �Ex�m*Bfu�J E3� � vYj*l4� �

8tl*:PpqpG���av�j*l�pqpG�� QvOERm�@ M�m ERm�B;@ E^i6G)@5i6J�j B Jtu0pqpGr��avYj`l�pqpGr� �KNM�m)ERm�ikjQvYxkx E �Ex�m�BBikj@#MEi�B�v E*@_i6G�x�m0� ä |�æhS�d( �M�m�B�m�v ERm9@ M�m @ M�m;J E^i,m�B Jtu,ERm�B;@ E^i6G)@ m2l�vYj*l ��mGj`m�EKvYx�ikj`l�mKo.mKlikj*l � G�@_i#PqmTlnm�&Jj�i#@_i6JYj B�

� ����� ��� � % � ��� � �� â �8â-Ü��Nß

&Î `é5#>êo!�ì¼28!"#c9,4,ë5í� `!cèt `ï®9���¼9Y�&ìÅ2� O0z)5)t#" $ð*ì¼0z!"ì¼9325ê��������� � " �HS � ) - /�),W*6R� = ),W]/��;/�� " 6Z6

Page 19: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

� I8XQAcr3A/X � I*X3]8TcE-SUK$IQ­���AcT>]QD-VFSUK\I y\y$y

0z254� . ��� ��' ')' ��� � � &-�zSA) ')' '�)Z) � . ��� � � = 6 ����� � � 6 ��� � ')' ' ��� � � &�6

ì�ïQ= � ¡tó:*9`ì�ï!� . /�C�C�C�/�� & 03#" &í�9,4, \ê[ï®93#Wí;9325êo!"#cë5í�!"93#>êf� � !"èt $2 � . � � � ' ')' � � � � & ì¼êe0`í;9*4t ï®93#H07í;9325êo!"#cë5í�!"93#B��ó ��èt �é5#cêo!H0z#K 3ë�O ;28!19zï}� í�9,4, $ê`032Ë ��¼ �O $2Q!B|&9zï!�n��/�C�C�CG/ = �8ó

��èt ��¼0z!" $#0z#K 3ë�O ;28!>ê�93ï;� 0z#c 1!"èt R03#R Që�O ;28!cê�9zï[!"è5 Rí�932�ê-!c#"ë5í�!"9Q#>�}�"óãF2�!"èt kï®9���Å9Y�&ì¼2� @) �{6êo!c0z2�4tê&ï®9Q#�0z2 03)5êo!"#>03í/!cìÅ9Q2')VW`6�ï®93#`0ZðJ0z#cì±0z)��¼ �WNç`�&ètì±í>è�ì¼ê

2t9z!ë5ê" $4-�±0J!" $#$ó��N �! � ��E),+E6}�zS � ) �5+*/A� R6/ç � �� �HS � )��E6�ó

� ��èt `!"#c ; \ê&0z254�ï®93#c $êo!cê�è�0gð3 `í�9,4, �@�� 1�� � � ��!��� ) S -a� 1� � � ��#��� � � 6/ç��&è5 ;#c �;)#� � 67S � )Zd�/c)2�{6 � . /c)2�{6 � �� 6@/�;)#� . 67S � �� ����� � )td*/�) �{6 � � /�) �{6 � )Zd�/c)2�{6 � . /c)2�{6 � �� 6Z6PC��èt ;2O��#" $ {S � � � � ��!��� � )�� �c6/ç�gt93#c $êo!}S!� � � � ��#��� �

)#� . 6�ó� ��èt H ;ðQ ;22*ë�k)n ;#&ît#c $4tì¼í$0J!" `è50Qê&í�9,4,

� ��.)5�n6�� � � � ),I4/�) =]6 � )td*/�) �{6A=f/�) �{6 � ���)�: )�:h)6=]6Z6Z6R6Z6G� 1��� � ��!���)_S 1� � ��!��� � �� 6#C

� ��èt R03í$í� \ê"ê"ìÅ)��Å 1î50z#"!&9zï�0�#" ��¼0z!"ì¼932è503ê&í;9*4t )V|t6 � )R)VW#��~�6 �¢)VW &�|t6^/c)��.6A���n)��.6^/c)2�{6 � �� 6^� 1�� � � ��#���) S )V|J�n~�67� 1� � � ��#��� � � 6PC6(ê0� Q ;2t $#c0��nã"ãtsÇì�!è50Qê&í�9,4, � ),~�/�),|X6 � )Z),W@��~.6��¢)VW�&�|X6G/�)���62� �.)��.6^/�) �{6 � ��.)V|t6Z6R6^� 1��� � � ��#���)_S 1� � � ��!��� � � �� 6PC� ��èt Hì±4, ;28!"ìÅ!-'7ê" �!&è50Qê&í�9,4, � )�14/�),+E6 � �� )0�,+*/R+ R6Z60�� 1� � � � � � ��!���

) S� 1�#� � � � ��#��� � � � � ��� � 6@C� gt9Q#�!cèt D��03ì�!"ñ�êo!-'.�Å Ìí�9�Oîtët!c0z)5ì��¼ì�!-' î5#" \4,ì¼í$0J!c $ê�ï®93#�4, ;în ;254t ;28!�!-'8în $êL�� Ëè50gðQ ~#S ��ò,îmç � ä |jæJS ��ò,îQ� êo ;!$ó ��èt Z#cë��¼ $ê� 3ì¼ð3 $2Îì¼2 :*ët)5ê" $í�!"ì¼932D¡tóH=�03#" �ì¼25í�9n�ñî��¼ �!" Qç�034t4tì�!cìÅ9Q250���í�9Q25ê-!c#"ë�í/!"9Q#cê�è50gðQ R!"9)n O0Q4t4, \4 )*'�ë5ê"ìÅ2� � � � )¹!cèt Zí�ët#c#c ;28!4, �é�2tì�!cìÅ9Q2Z03í/!cë50���¼'R4, �é525 $ê�!cèt � �Oî,!-'�ê" �!^6/ó���èt í;9,4, �ï®93#[!"èt í;9325êo!"#cë5í�!"93#; QìÅðQ ;2ìÅ2 :*ë5)5êo \í/!cìÅ9Q2�¡5ó =kì±ê

� )6�eò*î]/�)�1�6� )Zd�/c)2�{6 1�/�) � � 6� )6�eò*î�/�) 4%6� )R),+-�D��ò,î�6�� � � )��*/K+E6^/�)���6G)�4 � �.)���6Z6G/�) � 06� ) �5?')�14/ 4%6G/4)51�6��`+a�D��ò,î C �*WO� � � )��`/R+E6^C � )0�,+*/ZW ^/�)_1`+E6Z6 R6Z6R6Z6Z6

�� 1��� � � � � � � � �) S� 1� � � � � � � � � � � � � ��� � � � � 6PC

� �ót��0���T 3#c ;2>� ê�ètì 3èt $#&93#>4, ;#�ët25ìÅðQ ;#>êo `è50Qê&í�9,4, �@�� 1�� � � � � � � � &�� � �� � � ��� �� � �) SN)���� �c��/�C�C�CG/ = �Y6;� 1� � � � � � � � &�� �

���� � � � �� � � � � ��� �� � � 6P/�&èt ;#c

�f),��6}�HS � ����� � � � � ����! � � � ' ')' � ��� �����" � � � � �# � � �� � � � � � � $ � ��� ')' ' � � � � � " � � � � �$ /�;),|t6}�HS � �#% ����� � �

$% )V|fSA�n/�C�C�CG/0= �\�c6@/

�f) =]6>�HS � �# " C

Page 20: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

y$y�� ��A"E-AcDW@�i »�� AcD�C$I*X���IJE-K\IO_3AcE-¬cAcD

0z254� ����� � ì¼ê(0�í;9,4, 1ï®93#0���Nêo!c03254t0z#>4�ë52tìÅðQ ;#>êo Hí;9325êo!"#cë5í/!c93#>ê;ç� �� ��zS � ) 1 � 6P/

� �# ��zS � )�1 � /�)5+.6 � )�4 � ),+E6Z6R6Q/

� � % �zS � )td*/�)2�{6�)V| �!�q6^/�),� " 6� )td*/�) �{6t��/�)V���.6� )V����)#�E6G/�)2�{6t|2/�)V� � 6� ) ����),� " )#�*/ �,����)#�E6^/R� � R6Z6R6Z6Z6R6Q/� �

$% �zS � )td*/�)2�{6�)V| �!�q6^/�),� " 6� )td*/�) �{6t��/�)V� � 6

� )V� � )#�E6G/�)2�{6t|2/�)V� � 6� )6� � )V� " )#�*/!�V� � )#�E6G/Z� � Z6Z6G/�)5+.6� )6� . )V� " )��E6G/ �,� � )#�E6^/R� � R6G)5+.6R6Z6R6Z6Z6DC

),��9&)� eï®93#KO0����¼'�í;93#c#" \í/!h�� f��9Që��¼41è50gðQ [!"9>��93#KM��&ì�!cè�I,&$� . ìÅ2�ê-!c $034193ï*�q��/�C�C�CG/0= �q6�ó

� "à(Ý,Ü$����Ý � ���*à8 -Ü �

��èt ;#c Hì¼ê&032� �ò*!" $254, $4�ðQ ;#>êoì¼932Ìä �n��æ�93ï�!cètì¼ê�0z#"!"ì±íG�¼ B�&ètì¼í>è�í;9328!c03ìÅ25ê&ê"9�O R0Q4t4,ìÅ!"ì¼93250��!"93î5ì¼í$ê;ó

ãF2�î503#o!cì¼í;ë��±0z#��� &ê"èt9Y� !"è5 �í;9325ê"ì±ê-!c ;25í;'H9zï�9Qët#[!"èt $93#cìÅ \ê[)8'Rí;9325êo!"#cë5í�!"ì¼2� 10�O9,4, ��ìÅ2OíG�±03êcêoì±í;0��,êo ;![!cèt ;9Q#"'��&è5 ;#c W!-'*în �ñj!"èt $93#c �!"ì±íWï®ët25í/!cìÅ9Q2Zêoî50Qí� \ê[03#" �ì¼2Q!c ;#cît#c �!" \4k0QêNï®ë����êo ;!oñj!"èt $93#c �!"ì±íkï®ët25í/!cìÅ9Q2Ìê"î50Qí� $ê$çm0z254Ìê"9�O �0zò,ìÅ9nOê(ï®93#B�±0z#K 3 Oí;03#c4,ì¼250��¼ê10z#c �ë�êo \4 ï®9Q#ìÅ28!" $#"î5#" ;!"ì¼2� !"èt �!-'*î� Z93ï�ê" �!>êHíG�¼9Qê" $4Îët254, $#Hãoãts 0z254Ì0��±ê"9�!c9�ìÅ28!" $#"î5#" ;!1!cèt T�Å9n 3ì±í;0��ï®#c0�� ���9Q#RM�óh��ètì±êHí�9Q25ê-!c#"ë�í/!"ì¼932Ìì±êH0� 3 ;25 ;#>0��¼ìÅ<\0J!"ì¼932Ë9zï�!"èt 8O9,4, ���ï®9Q#H2t932tñjì¼254, ;ò* \4ìÅ254të5í/!cìÅ9Q2,ñj#c $í;ët#>êoì¼932- 3ì¼ð3 ;2ì¼2¾ä �Jæ�ógtët#"!"èt $#RO9Q#" Qç��� �êoè59Y� !"è50z!Z!"èt �#c $êo!"#cì¼í�!" \4 03254< Q ;2t $#c0���ï®93#K 9zï`0z2 ãoãts 0z#c

ìÅ28!" $#o!c#c0325êR�¼0z!c0z)��Å �ët254, $#Wí� $#o!>0zì¼2Zí�932�4,ì�!cìÅ9Q25ê$óY&Î (0��¼ê"9Hêoè59Y� èt9Y� !"9Rê"ì��ë��¼0z!" í; ;#"!c0zì¼2ï®93#KOê�93ï[ã"ãtsÇ)8'�2t932,ñ�ì¼254, �ò, \4�ì¼254,ë5í�!"ì¼ð3 ;ñj#c $í;ët#cê"ì¼ð3 `4, �é525ì�!cìÅ9Q25ê�)®ãts{6�ó

� �%��NÝ$�NÛ(á�� �

y\p��pt�WT>¬>A>b¹p����F³�J³� ����� �������-³"º ¶ °,²����8³������¹¯�$°Qº�� µ�� �������$º-¯ �¹¯�;°"!$#"�%������! ¶ °,²&t³��¹a5B*C;^\A>Vxzy�'z{$�3p)(�K;DFE-PQ­+*�K$bUbÅC;I*Xta5y>�\� �3p

�zpl�p���bhE-A>IQ�3ShD-ToP�a-,�p/.�C$VFB,A>V>a�Í�p0(�K;DoXQV�EFD�ØK$GOa�C;I*X Í�pfgK\I�_ziQXQK/�&p � ]8VFAcD/Ê V^$]8S�XQA E-K ��× q p PzEFE-B5s 121������&p �����&p T>V>p ToP*C$bUGHAcD-V>p VFA31$Y[K\GHBQ]QE-SUI8^g_3T>SUA>IQT>A31��WA>VFA/C�D-T"P41×5K\^$S�T51$C$bhL�1;^\]QS�XQA\p PJE-GHb¹a�y/�$�\w3p

x3p�p*Í�K;f\A�C;I*X�,(ptY�C;BQD-AcEFEoCzp6(�A>V�E-A>X�^\A>IQAcDoC$b5D-A>T>]3D-VFS�K$I�C$I*X�B*C;DFE-S�C;b�ShE�iOSUIOEji3B,A�E-PQA>K$DFiJpl�KHC$BQB,A/C;DWSUI�E-PQA��D-KJT>AcA/XQSUI8^$V�K;L�l��7* Ï ×�� ���3y$p

vQp(Y�p*Y[KzÄJ]*C;I*X5pN�W^gXQC3p*� ��� �3p�PJEFE-B�s 121/�����&p TcV>p ToP*C;bUGHAcD-V>p VFA31RT>C;EoC;D-SUI8C81$C;^gXQC81zp{zp(Y�pgY[KzÄJ]*C;I*X5p*�ËD-A/C;bUS�¬>C » SUbUShEjiHSUIJE-AcD-B3D-AcEoC;E-SUK\I1K$L5MOC�DFE-S�I3­�×�ØK$LcÊ VNEji3B,A[E-PQA>K$DFiJp � I�.�pJ_3C$G`­» SUIHC$I8X�9Qpz_zGHShE-P�a;A/XQShE-K;D-V>a:#:;[³"°"��<�= ��¯�>$³@?t³ ¶ �oºA� µ�B �$°8ºC���%�"���¹¯�>$³D# <��Q³�#E�Q³C�F��<;p Ï rzL±K;DoXd�I8SUfgAcD-VFShE�ik��D-A>VFV>a�y/�$�\�3p

w3p��p,@�i »�� A"D/p � I*XQ]QTcE-SUfgAVFAcE-V&C;I*X�L¹C;GHSUb�SUA>V&SUI7MOC;DFE-SUI3­j×NØK$L>Ê V�E�i3B,A(E-PQA>K$DFiOC$I*XOE-PQA>ShD�VFAcEF­E-PQA>K$D-A"E-S�T�VFAcGRC$IJE-SUT>V>p � ID.�p�*�]QAcENC$I8X�.�p\�NbUK$E-�zSUI�a$A/X3SUE-K;D-V>a�GH�C�$¯�� ¶ ¸I��� ¶$· ³�;)���KJ;º-aJB*C;^\A>V�;���5'zx��$w3p5Y�C;G » D-SÅX3^\A&d�I8SUfgAcD-VFShEji��mD-A>VFV>any>�\�zy\p

Page 21: peterd/papers/Indexed_IR_Dagstuhl.pdf · $#&%('*),+- $#/.10325476(28!"932:* ;!"=? @a>b8c;dfe-gha>ije k;lnmoc;e-pqa>grc;e-sut>vwc$i8xzy[k\ghbq]qe-sui8^`_3t>sua>iqt>a\a

� I8XQAcr3A/X � I*X3]8TcE-SUK$IQ­���AcT>]QD-VFSUK\I y\y>x

�zp��p3@�i »�� AcD/p � I8XQ]QTcE-SUfgA�L±C$GHSUbUS�AcV>p �E��� ·`¶ ¸ � º�Q³K���¹º � µDB � · �4���¹¯±°I�$a,w3s v$v �3'gvgw\{zamy/�$�$v3p�3p��p�@�i »�� AcD/pk�Ç^$A>I8AcDoC;b�L¼K$D-G1]Qb�C;E-SUK\I�K;L�VFSUG1]QbUEoC;I8A>K$]8VSUI*X3]8TcE-SUfgAc­®D-A>Tc]QD-VFSUfgAHX3Ac«*IQSUE-SUK$I8VSUIkEji3B,A�E-P8AcK$DFiJp��������o° ¶ ¸H� µ "< ·�� �\¸ ¯� GH�C�$¯�ca8wg{3¿¡�$Ã"a 9\]QI8A(� �����zp

�3p��p\@�i »�� AcD�C;I*XH�p3_3AcE-¬cAcD/p5�Ì«*IQSUE-AWC�rQSUK$GRC;E-SU¬/C;E-SUK$IkK;L5S�I8XQ]QTcE-SUfgAc­®D-A>T>]3D-VFS�f\A�X3Ac«*IQShE-S�K$I8V>p� I09Qp ­��1p�.�SUDoC�DoX5amA>XQShE-K$D/a #"<��Q³F²�G ¶$·�� ² ¶ BN¶ ¸ ���3¸ ¯ ¶ °,² � �8�*¸ ¯� ¶ �¹¯�$°Qºoa�fgK\bU]8GHAOy/{$�zy�K;LGn³C�������F³��$�F��³"º&¯±° B � · �"����³��$4�c¯¡³"° �o³"a*B8C$^$A>V&y��$�5'*ycvgw3p�_zBQD-SUI8^$AcD/a8��BQD-SUb�y/�$�\�3p

y��3p��p,@�i »�� A"D�C;I*X��(p5_zAcE-¬>AcD/p � I8XQ]QTcE-SUK\IQ­®D-A>Tc]QD-VFSUK\I�C;I*XZSUI8ShE-S�C$b�C$bU^$A » DoC;V>p_3] » GHShEFE-A/X�L¼K$DBQ] » b�SUT/C�E-SUK\I�a8��B3D-SUb�� �����zp

y$y\p��p,@�i »�� A"D&C$I8XZ�(p5_zAcE-¬>AcD/p � I8XQAcr3A/XOSUI*X3]8TcE-SUK$IQ­®D-A>T>]3D-VFS�K$I�p�lnK�C$B8B,A>C;D&C;V&C9��AcB,K$DFE�K;L� I8V�E-ShE-]QE�M�ShEFEoC;^$­�×�A�`AcD/at� ���3y$p

y/�zp×�ptMOC;^\Iz]8VFVFK$I7C;I*XZÍ�p4(�K$DoX3V�EFD�ØK\GOp�l�P8A���× q BQD-KJK;LNA/XQShE-K$D�C$I8XOShE-V�B3D-KJK$L�A>I8^$S�IQA\p � I# <��Q³"º µ ��� �4���5� µ º ¶ °,² �4���C��� ¶$· ºoa8fgK\bU]QGHA�� �\w�K;L G�³K�������-³ �$����³"º�¯±° B � · �4����³��� �c¯¡³"°4�"³"aB8C$^$A>V��zy/x5'zxzy��zp�_zBQD-SUI8^$AcD/a5y/�\�;vQp

y>x3p��p;MOC�DFE-SUIQ­�×�ØK;Ljpz�WI&S�IJE-]QSUE-SUK$I8SUV�E-SUTNE-PQA>K$DFi&K;LQE�i3B,A>V>s/�mD-A/XQSUT/C�E-SUfgA[B8C;DFE/p � I�*�p��p �WK\VFA�C$I8X93pNY�pN_3PQA>B8PQAcDoXQVFK$I�anA/XQShE-K$D-V>a)GE�C�$¯� B �\¸±¸ � ���z¯ � ·�� ��� anB*C;^\A>VR�;x3'8y\y/�zp (�K$DFE-P3­+*�K\bUb�C$I8X5ay>�g�${zp

ycvQp��p5MOC�DFE-SUIQ­�×�ØK;Ljp�Y[K\IQV�EFD-]8TcE-SUfgA(GRC;E-PQA>GRC;E-SUT>V�C$I8X�TcK\GHB8]3E-AcD�BQD-K\^;DoC$GHGHSUI8^3p � I GE�C�$¯��!� ³���� �/²8�\¸ �C��< ¶ °,² � �z¯¹¸ �$º���� �I<�� µ 4�c¯¡³"° �o³�!����%!���� � �;a*B*C;^\A>V(y�{;x3'*y/�\{Jp (�K$DFE-P3­+*�K\bUb�C$I8X5ay>�\�\�zp

y/{zp��p3MOC�DFE-SUIQ­�×�ØK;Ljp Ï I`E-P8AWGHA/C$IQS�IQ^&K$L5E-P8AWbUK\^\SUT/C;btT>K\IQV�EoC$IJE-V�C;I*X`E-P8A � ]QV�E-Sh«*T/C�E-S�K$I�K;L�E-PQAbUK$^\SUT/C$bnbÅC>�eV>a�y/�\�$x3p)(�K;E-A>V�L¼D-K\G½C�VFAcD-SUA>V�K;L�bUA>TcE-]QD-AcVW^$SUfgA>I�SUI�_zSUA>I*Czp

y>w3p��p8MOC;DFE-SUI3­j×NØK$L�p��o° ���3¯��¹¯�$°8¯¼º%�¹¯�� #"<%�Q³&#E�8³K���%<;p�Í[S » b�SUK$B,K\bUSUV>a�y/�$�$vQpy/�zp��p[MOC;DFE-SUI3­j×NØK$L�p ��IËS�IJE-]QSUE-SUK$I8SUV�E-SUTOE-P8A>K;DFiÎK;L�Eji3B,A>V>p � I .�p�_3C$G » SUIÎC;I*X 9Qp�_zGHShE-P�a

A>XQShE-K$D-V>a7#:;[³"°"��<�=���¯ >$³&?t³ ¶ �oº � µ�B �$°Qº%���%� ���¹¯ >$³D#"<��Q³�#E�8³K���%<;p Ï r3L¼K$DoXHd�IQSUfgAcD-VFShEji`��D-A>VFV>ay>�\�$�3p ��A>B3D-SUIzE-A>XkfgA"D-VFS�K$IOK$LNC;I�]QI8B8] » bUSUVFP8A/XRD-A>B,K$DFE�LÅD-K\G y/�\�\�Jp

y>�3pÍWp�(�K;DoXQV�EFD�ØK\GOan�`p���AcE-AcD-VFVFK$I�aNC;I*X09Qp�_zGHSUE-P5p � �K�C��� ¶;·1· ¯¼°��7¯±° � ¶ �%�¹¯±°4=�G��� µ�� º # <��Q³#E�Q³C�F��<! ¶ °"�o° ���K�/²�� ���¹¯�;°8p Ï r3L¼K$DoXkd�I8SUfgA"D-VFSUE�i���D-A>VFV>a�y/�$���3p

y>�3p#�p��mC$bUGH^$D-AcI�p%$�° ��¯�´J³F² � �$¯±° �&$H�Q³�� ¶ �+���oºC!��o°*²�� ���¹¯ >$³&'�³)(N°Q¯ �¹¯�$°Qº ¶ °*²+*�°Q¯ >$³��"ºc³"º`¯¼°� ¶ ���¹¯¼°4=�G��� µ,� ºD#"<%�Q³&#E�Q³C�F��<;p���P8@ E-P8A>VFSUV>aQd�B8BQV-C$b�C1d�I8SUfgAcD-VFShEjiJaty>�\�3y$p

� �3p#�p��mC$bUGH^$D-AcI�p Ï I�]8IQS�f\AcD-VFA>V&SUI7E�iQB,A(E-P8A>K;DFiJp � I/.�p�_QC;G » SUI7C$I8X-9Qp�_3GHShE-P5atA/XQShE-K$D-V>a#:;[³"° ��<2=���¯ >$³ ?,³ ¶ �oº�� µ�B �$°8ºC���%�"���¹¯�>$³�#"<��Q³@#E�8³K���%<$p Ï r3L¼K$DoXkd�I8SUfgA"D-VFSUE�i���D-A>VFV>a�y/�$�\�3p

�Jy\p(Y�pJ�mC$]8bUSUIQ­jM�K$PQD-SUI8^3p � I*XQ]QTcE-SUfgAeXQA"«*I8ShE-SUK\IQV[SUIHE-P8AeV�i3V�E-A>GÇY[KzÄ1­nD-]8bUA>V[C$I8XRB3D-K\B,AcDFE-SUA>V>p� I � �K�5�o³-³F²$¯±°I�$º�# <��Q³F².-H= BN¶ ¸ ���3¸ �zº ¶ °*² � �8�,¸ ¯� ¶ �¹¯��$°8º-agB8C$^$A>VNxg�$�5'3��vJ{zpQ_zBQD-SUI8^$AcDF­+,�A"D-bÅC;^Qa×�(&Y�_,a*MOC�D-T"P7y/�\�$x3p


Recommended