22

12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

  • Upload
    others

  • View
    5

  • Download
    0

Embed Size (px)

Citation preview

Page 1: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

�������������� ���������������������� �"!#�����%$&�'�)(* +�#!,��-���.��/�+0 ���1�����2���������������3�14-�,�5�/!768�)$&�9��:

;=<?>�<A@*B+CED�FHGJIKH<AL2>NMPORQ�SUTV>WD�C�TRI�XZY�>[TV>WC

\+I�G^] <A@�CEG_>#`3ORQaY1b2@�@E<?`c b�GedeX2QfOR@�X c \�gihkjmlonP\+p

q,TRIrSs<Nd_t9O�b2@�I2<KH<ALuTv@w>Wxy<AI�>zORQ�SUTV>WD2<Ax3TV>WGe{|C

\HI�G_] <|@�C�G^>.`}ORQal+O�b�C~>WO�Il+O�b�C~>WO�I�n2�zj ����gv�v�V�#�v�1�v��n1\�Y1B

SUTV>E>WD2<|F��+GJ{AO�dK+<|LuTv@w>[xi<NI >�OvQ�SZT�>[D2<Ax3TV>WGJ{AC

\-SUq.Y1�SUTRI�{�D2<AC~>W<|@AnuSZ�R�U�k��K�nP\�p

�2<|t�@�bPTv@w`�g�h1n��A�����

�/�v���#�#�?�E��*�/���E�|�¡ £¢���¤"¢?¥[�?¦w§a £��¦w¨��©¥��©ª©�«§=��ª¡¬?¦~ª�¦~¤f�a�«­[®? °¯~¦~¤f £¦w�Wª"®?�?¢���¤�¦&���E�?���E§=±|¦w��ª

²V °�´³w¤¡�E®�±µ�w¶R�©¥[§a§·��ª©¤f °�«��¦w�?¢/ª¡¬���¢?¤f °¶¸ª5�w¶R¤¡�«¨£¦~ª¡ °¯w�9�«­[®? £¨£ °¹|¤f £¦) £�º�¡®?�%¬µ�©¥��©ª©�«§=��»�¼½�±|¦~¤¡ª¡ £��®?¨¾¦~¤«¿|À��· £��¯w�«�¡ª¡ °³E¦~ª©�·¬��,À}ª¡¬��·¢�¤f £¶ÁªP¶¸�w¤)¦/±|¦~¤f¦w§·��ª©¤f £Â��«¢Ã¶Ä¦w§= £¨£¥/�w¶����w¤f§=¦w¨¾¨°¥¬�¥[±k��¤¡¹k�E¨£ £��¤f�«¨£¦~ª¡ °¯w���«­[®? £¨£ £¹?¤f £¦���¦w�i�f¬?¦w�?³w�H�f¬?¦~¤%¦w��ª©��¤z¦~ª�ÀŬ?¦~ªµÀ1�+��¦w¨£¨�¦oÆÇ¢�¤f £¶Áª¹| °¶Ä®�¤f��¦~ª¡ °�E�ÉÈ°»3Êv�m¢���ª¡¬? £��¿uÀ1�*®?�©��¤¡�«�f®?¨°ª¡�/�w¶�ËŤf���E¨£¢Ìª©�m¦w�?¦w¨°¥[Â���±|¦~¤f¦w§·��ª©¤% °Â��«¢¶¸¦w§= ¾¨£ °�«���w¶��«¨°�«§·�«�Wª¡�P £�ºª¡¬��"²v °��¦w¨°³w��¹?¤%¦��w¶Rª¡¬?���©¥[§a§·��ª©¤¡¥/³w¤¡�E®�±�»

�*�º��Í�¦w§= ¾������Îk�«��ª¡�= £�+±|¬W¥[�f £��¦w¨1�¡±|¦w�����w¶´�¡®?�%¬�¢?¤f °¶¸ª�¹| °¶Ä®�¤f��¦~ª¡ °�E�|��¶¸�w¤Ï±A¨£¦w�?¦~¤¤¡�«¦w��ª¡ °�E��Ð_¢? °Îk®?�f °�E�9�©¥[�¡ª©�«§=�V¦w�?¢"���wª©��ª¡¬?¦~ªvª¡¬��«�©����Îk�«��ª¡�v��¦w�"��Í[±A¨£¦w £�)����¤¡ª¡¦w £��¦w�©±k�«��ª¡��w¶Vª¡¬��9ª©¤f¦w�?�f °ª¡ °�E�/¶Á¤f�E§Ñ¤% °³E £¢?¨°¥·¤f�wª¡¦~ª¡ £��³·�©±| °¤%¦w¨£�5ª©�·¤% °³E £¢?¨°¥�±?¤f�w±|¦~³E¦~ª¡ £��³/ÆÒ¤¡��ª©¤f¦w��ª¡ ¾��³À�¦,¯w�«��È°»ÓÊP¬? £�· £�a¦*¹| °¶Ä®�¤f��¦~ª¡ °�E���w¹A�©��¤¡¯w�«¢7 ¾�m�W®|§·��¤f £��¦w¨��¡ ¾§�®?¨¾¦~ª¡ °�E�?���w¶9��Í��� £ª¡¦~¹|¨°�§·�«¢? £¦�Àu¬?��¤¡��ª¡¬���¤¡�wª¡¦~ª¡ °�E�äf¦~ª©�"�w¶�¦a¶¸¦w§= ¾¨°¥a�w¶��©±A °¤f¦w¨£���¡¨£�,Àu�Å¢��,Àu�æw�?¢�³E £¯w�«�uÀ2¦«¥ª©�a¦=�©�«§= °Ð_ £��ÔA�? £ª©�uª©¤f¦w�?�f¨£¦~ª¡ £��³·À2¦«¯w��¶¸¤¡�E�Wª�»

ÕfÖ�×E×[Ø%Ù,ÚJØ�Û�ÜVÝuÞ«ß�àÒá°ß�âeã«ä©á°åÁæ9çEè/é^ê�ë,ë,ë.ìRí�î�ê¡ïEí«ð#ð

ñ

Page 2: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

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

������������� �"!$#%�&�('*)$#,+���!.-/#,01!"�12���#,�4365/017$8:9;!.01��!$��<���-/-&�=5/#,2%>?<�06+�8"�1<��A@B�=!$)�-/7$8.8�06-C���&D$�=�E"F�GIH 9 E @J#,-K�1!���L1062,7.�/#,06!M��NO7"�=�/#,06!:��NO7$#%L=�15/#,�1!P��Q�#R�/D�5/��-/8S��<��T�/0U�1!:�1<��/#,06!�0=VW��XZY).>[!"�=+ #R<\�12R2R>�#R!OL=�15C#]�1!P�J-/7$�.-/����^ #,!_8.D"�1-/�`-/8"�1<���#,-J<\�12R2,��)_�Ma&b(c%d1e;fhg1bib/j�k[fhclf;m�anfhkpoq#%Vr^<�06!$-/#R-C�/-s01Vt�u-/#,!.362,� 365/067.8�065/�$#%�s7$!$).��5K�&D.��1<��/#,06!_0=VW��Xwv�N[7.#RL=�12,��!P�&2R>1x�^ 5/��)$7$<���-s�&0�1!y065/).#,!"�15z>{��NO7$#R2,#R�$5/#R7$+|V}065~�/D$�J)p>p!$�1+ #R<�-B#,!$).7$<���)?06!i�&D$�4065/�.#R�B-/8"�=<��1X��~D$�4!$01�/#,06!i01V5C��2]���&#RL1����NO7$#R2,#,�.5/#,7.+�#,!.<�2,7.)$��-~�&D.�J<��1-/�401V��T365C067$8i065/�$#%��01V���NO7$#,2R#,�$5C#]�s�1!$)y�12R-/0�#,!$<�2,7$)$��-a&��e�d1e�fh�[�{��d1g1bA�(XWY�5C01�A���&#,!.3�Q��\L6�T#,-t�`�"0�Qr'�#R!OL=�15C#]�1!P�t365/017$8u065C�$#R�t06!?Q�D$#R<ADu�&D$�J�"0�Q�#R-8S��5C#,0[)$#,<WQ�#%�&D{�&#R+ �W��L6012,7.�/#,06!<�015/5/��-/8S06!$)$#R!$3s�&0�)$5/#%Vh���12R06!$3K�&D.�4315/067$8i065C�$#R��XY�5/��2]�=�/#RL6����NO7$#,2R#,�$5C#,7$+��&D"����#,-~!$065C+`�=2,2R> DP>[8���5/�S062,#R<�8���5/-/#R-C�/-B7.!$)$��5B-/+ �12R2�8S��5C�/7$5/�$��'

�/#,06!$-�01Vp�&D$����L1062,7p�&#,01!J068S��5/�=�&015��=!$)�D$��!$<���#R��#R-��/D$��)p>p!$�1+ #R<�-�06!4�&D$��5/��2]�=�/#RL6����N[7.#,2,#R�$5/#R7$+^�#R�&-C��2%V.�&D$�=��#R-�0=V$#,!P�/��5/��-C��X��M��-/7.8$8�01-/��9hV}065�-C#,+�8$2,#R<�#%��>W01V$�(�p8�01-/#R�/#,06!"@��/D"�=��^�<�06!$-/#R-C�/-�01V8S06#,!P�/-�0=V$�&5C#RL[#]�121#,-/0=�&5/018O>1x6�1!.)K�12R-/0��&D"�=���&D.��365C067$8J065/�$#%��^�#R-�)$#%����06+�065/8$D.#,<��&0B�&D$��365C067$8��X�9}�~D$#,-�2]�1-z�r�=-/-/7.+ 8.�/#,06!�#,-��17.�/06+ �=�&#R<\�12R2R>J-&�=�/#,-C�$��) V}015�-C+ 0[01�&D �1<(�&#,01!$-�0=V�<�06+�8"�1<(����#R�365C067$8$-���X�@¡ "0654<�06+�8"�1<(�K365C067$8$-�x��&D$� ��>p8.#,<\�=2�).>[!"�=+ #R<�-�01!_^ D"�1-J������!:<�2,�1-/-C#R�"��)_�P> �#R��2R)�¢¤£�¥��1!$)¦�5C7$8"�¢ ñ�§ ¥�X��~D$��5/��2]�=�/#RL6�W��NO7$#,2R#,�$5C#,7$+¨#R-�V}062R#]�=�/��)`�P>`<�2,01-/��){�"0�Qr'*#,!PL=�15/#,�1!P�-C7$�$-/�(�&-B�&D"�=�B�=5/��<�068.#,��-�01V��s�&065C7$-B©«ª¬�_�1!.)i�/D$��).>[!"�1+�#,<�-~01!i�/D$��-C�J-C7$�$-/�(�&-t<�06!$-C#,-z�&-01V����/5&�1!$-C#R�/#RL6�K9;#R5/5&���&#,01!"�12h@�2R#,!$���15��"0�Q�X� "5/06+¨�/D$��#R5�Q�015/­®x"06!$�W�$!$)$-~�&D"���~36��!.��5/#R<\�12R2R>1x.©#R-��T+ ���p#,+ �12®�&065C7$-�#,!i��X¯�!�5C��<���!P��Q�065/­y¢¤°�¥�xOQ��W06�.�&�1#,!.��) �1!"�12R0636067$-�5C��-/7.2R�&-�V}065��u!$06!$<�06+�8"�1<���X��~D$��5/�W#R-�!.0±Q

�/D$�8�06-C-/#R�$#,2R#R��>Z�&D"�=�T�/D$�y<�2,06-C��)²-/7$�.365/067.8³© #R-T#,-/01+ 065C8$D$#R<`�&0w�Z<�068P>:01VW´JX²¯�!$)$����)�x36��!$��5C#,<��12,2%>U© #,-J�y+ ���p#,+ �12��/065/7.-�065J© µG ´�Xi "7$5C�/D$��545/��-/7$2%�&-��15/��365/017$8p'�).��8S��!$)$��!P�\X "065��&D$��v�7.<�2,#R)$�\�=!M365C067$8$-K¶K9;·�@�Q�#R�/D_·¸�(L6��!�x�36��!$��5/#R<\�12R2R>Z© #,-J�?+ ���p#,+ �12��&015/7$-J�$7.�© µ G ´�0[<�<�7$5/-��1-��i<�0[)$#,+���!.-/#,01!Z01!$�`8$D.��!$06+���!.06!�X{¯�!M<�06!P�&5/�1-C��x�Q�D$��!�� G ¶T9}·�@(x�·0[)$)�x�36��!$��5C#,<��12,2%>?© µG ´��1!.)UQ�#%�&D�<�0p)$#R+ ��!$-/#R06!u06!.�T© #R-��{+`���p#R+`�12��/065/7$-�X9;Y��&D$#R5/)8S06-/-C#,�$#R2,#%��>6x�Q�D$#,<ADs#R-�5C�\�12R#,¹���)�V}065��&D.�r-C>[+�8$2,��<��&#R<�315/067$8.-�x6#R-��&D$�=��+ ���p#,+ �126�&015/#[�1!$)s<�068$#,��-01V�´��15C����01�/D<�0[)$#,+���!$-C#,06!{¹���5C0$X�@�~D$�~�=��0�L6��)$#,-C<�7$-C-/#R06!K-/7.3636��-z�&-��/D$��!.01�&#R06!J0=V�º1a(f »ne�m�f »nkpa&¼/d1e;f����WQ�D$��5C���P>��/D$��-C7$�$365C067$8

©½)$���/��5/+�#,!.#,!$3��/D$��)$5/#%Vh��06!��/D$��5/��2]�=�/#RL6����N[7.#,2,#R�$5/#R7$+¾^IL=�15C#,��-��=-���8"�=5&�1+����/��5�#,-�L=�15C#,��)�X�w�B�1-/-C7$+ �B!$065C+`�=2$DP>p8S��5C��012,#,<�#R��>J�&D$5C067$36D$017.�\xO-/04�&D$��06!.2R>s�$#%V}7$5/<��=�&#R06!K�&D$�=��0p<�<�7$5C-�#R-�#,!�/D$�W)$5C#RVh��06!�^�X�Y¿8$�15C�/#,<�7.2]�15C2R>K#R!P�&5/#R367$#R!$3��(�.�1+�8$2,�=x[Q�D$#R<AD�+�01�&#%L1���&��)T�&D.#,-�Q�065C­®x.0[<�<�7.5/-Q�D$��!?� G ¶T9�°6@(X�À�>U¢¤°�¥�x.36��!$��5/#R<\�12R2R>TQ���D"�\L1�J�K5C01�A���&#,!.3�Qr�\L1��9h�&D$��+ ���p#,+ �12"�&065C7$-~D$��5/�#R-r��<�#,5/<�2,�\@��1!.){�=��>[8$#,<��12,2%>sQ��WD"�\L6��2,#R!$�\�=5��/5&�1!.-/2]���&#,01!`)$5C#RVh��9;<�015/5/��-/8S06!$)$#R!$3��/0s��<�018O> 01V´�@(X�YW-��t8"�15&�=+ �(�&��5�#,-�L1�=5/#,��)�x=�/D$�r-C8�����)s01V®5C01�A�=�/#,06!J+`�\>48"�1-C-��&D.5/067$31DK¹���5/0�2R�\�1)$#R!$3t�/0��<AD"�=!$36��V}5C06+�<�067$!P�&��5/<�2,0[<A­OQ�#R-/�r�/0�<�2R0p<A­PQ�#,-C�r5/0=�A�=�/#,06!�X�Y³-C#,+�8$2,��<\�=2,<�7.2]�=�/#,06!�x�5/��8$5/0[)$7$<���)#R!_Áp��<��/#,06!MÂ"9��P@nx�-/D$0�Q�-��/D"�=���=���&D$���$#RV}7.5/<\���&#,01!w8S06#,!P���&D.��5/��#,-42,#R!$�\�=5��&5&�=!$-/2,�=�&#R06!U)$5/#%Vh�Q�#%�&D�!$06!.¹���5C0y-C8�����)�X�Ãi065/��0±L1��54�1-��/D$�T�$#RV}7$5C<\�=�/#,06!?8�06#R!P��#,-��=8$8$5/06�1<AD$��)�x��/D$�s<���!O�/��5�01V5C01�A�=�/#,06!Z)$#%L6��5C36��-J�&0u#R!.�"!$#%��>6Xi�~D$#,-J����D"�\Lp#R065�#R-J-z�&5C06!$362%>w5C��+�#,!$#R-/<���!P��0=VB�y�$#%V}7$5/<��=�&#R06!06�.-/��5zL6��)u#,!!O7$+���5/#R<\�12�-/#,+�7$2]�=�/#,06!.-r01V��(�p<�#%�A�1�$2R��+ ��)$#]�s�P>yÄ6�1D$!.­1�J�1!$)�¬#,!.V}5C��� ¢¤Å�¥�x"-C���

°

Page 3: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

�12R-/0�Ãy#R­OD"�1#,2R0�L{�1!$)���>[­10�Lw¢ ñ °�¥��1!.)yÀ��15/­O2,�(>�1!$)y¦���L[5/��­O#,)$#R-4¢��=¥�X¯�!��&D.#,-r8"�=8���5�xpQ���<�2,�1-/-C#RVh> )$5/#%Vh�r�$#%V}7$5/<��=�&#R06!$-�V}065r!$01!$<�06+�8"�1<(�r-z>p+�+����&5z>`315/067$8.-��1!$)

Q��W�n�.8.2,065C�t�&D.�W#,+�8$2R#,<\���&#,01!$-�V}065��18$8$2R#,<��=�&#R06!$-�-/7.<AD�1-��/D$�W8$D.��!$06+���!$��)$��-C<�5C#,�S��)�#R!�¢ ñ °�¥�X�w��<�06!$-C#,)$��5r�&D$���$#%V}7$5/<��=�&#R06!$-r�S01�/DV}015~5/��2,�=�&#%L6����NO7$#,2R#,�$5C#]�K�1!.)iV}065�8���5/#,0[)$#R<�065/�.#R�&-�X���7$5Q�065/­`-/D$067.2,)����<�06!P�&5&�=-C�&��)iQ�#%�&D{�&D.�45C��<���!P�tQ�065C­�01Vr¢��$x�.x ñ �$x ñ Â=¥�Q�D$#R<ADiV}0[<�7.-/��-B06!�$# 'V}7$5C<\�=�/#,06!.-�»na&��o¬5/��2,�=�&#%L6�r��NO7$#,2R#,�$5C#]�J9��1!$)s5C��2,�=�&#%L6�r8S��5C#,0[)$#,<�065/�.#R�&-~¢ ñ £�¥h@�Q�D$��5C���/D$�r<�06!P�&�(�[�#R-~2,06-C-~01V�!.065/+ �12�DP>[8���5/�S062,#R<�#%��>�01V��&D$��7$!.)$��5C2R>[#,!$3T5C��2]���&#RL1����NO7$#R2,#,�.5/#,7.+yX�¬#R�/D�5C��3P�15C)4�/0t�/D$���n�$�=+ 8$2R��)$��-C<�5/#R����)s�1�S0�L6�1x6�B!"���&7$5/�12ON[7.��-C�/#,06!�#,-�D$0�Q:-/#R36!$#R�$<\�1!$<��

<��1! �S�B�=�/�&�1<AD$��) �&0��/D$��<���!P�/��5�0=V�5C01�A�=�/#,06!s).#RL6��5/36#R!$3��&04#,!.�$!$#R��>1X�À�>s<AD.0p06-C#,!$3J��)$#R����5C��!P�-z>p+�+����&5C#,<��12,2%>�8$2]�=<���)¸#,!$#%�&#]�=2r<�06!.)$#R�/#,06!�x��&D$�y<���!P�/��5{01V�5C01�A���&#,01!¸<�017$2,) ���u!.065/+ �12,#R¹���) Q�#R�/D$067.��2R06-/-�01V�36��!.��5&�=2,#R��>��1�/04�/D$��065/#R36#,!�X��~D$�t�1!$-zQ���5�#R-��&D"�=���/D$#,-�!$015/+ �12,#R¹\�=�/#,06!4Q�067.2,)�S��-/#,!.367$2]�=5��=���&D$���$#%V}7$5/<��=�&#R06!s8S06#,!P�\X��~D$�B-/#R�/7"�=�/#,06!T#,-�<�06+�8$2,�(�&��2%>s�1!$�12,0631067$-��&0��/D$��06!$�)$��-/<�5/#,�S��)`#,!`Yt5/!$012,)�¢ ñ ¥� �#,! �J8$�15&�1+����/5/#R¹���)�V;�1+�#,2R>�01V�+ �=�&5C#,<���-�x[#R��#R-�!$0=�r�18.8$5/068.5/#]���&���&0-C7$8$8S06-/�~�&D$�=���\�1<AD�+���+K�S��5�0=V��/D$�rV;�1+�#,2R>4#R-�#,!�Ä1065C)"�1!T!$065C+`�12[V}065/+ Q�#R�/D$067.���&�1­O#,!$3�#R!P�&0�1<�<�067.!O�t�&D$�4)$��8���!$)$��!.<��s01V��&D$�J-/#,+�#,2,�15/#%��>T�&5&�=!$-CV}065C+`���&#,01!$-~06!?8$�15&�1+����/��5C-�X~¯�!$-z�&�\�=)�x�#%�#R-�-/D.0±Q�!:#R! ¢ ñ ¥rD$0�Q��&0?<�06!$-z�&5C7$<����?-C#,!$312,��!$065/+ �12�V}065/+ V}0654�&D$�`��!P�&#R5/�`+ �=�/5/#%�UV;�=+ #R2R>7$!.)$��5�-/+�0[01�&D$2%> L=�15z>[#,!$3T-/#R+ #R2]�15C#R��>s�/5&�1!$-zV}065/+ �=�/#,06!$-�X¯�!{Á[��<��/#,06!`°pxPQ��t-CD$0�Q D$0�Q )$5C#RVh���$#%V}7$5/<��=�&#R06!sV}065�5/��2]�=�/#RL6����N[7.#,2,#R�$5/#,�s9��=!$)`5C��2]���&#RL1�~8��n'

5C#,0[)$#,<r015/�$#%�&-A@��.�&-�#,!P�&0��&D$��<�06!P�&�(�[��01V�¢ ñ ¥�X�¯�!`8$�15C�/#,<�7.2]�15�x1Q��B-/D.0±Q¬D.0±Q¸-/7$<AD`�$#RV}7$5C<\�=�/#,06!.-�15C��360�L6��5/!$��) �P>M�$#RV}7$5C<\�=�/#,06!.-�01VB8"�15/�1+����&5C#,¹���)MV;�1+�#,2R#,��-J#R!M�&D$���#R���12R36���$5/�u���¿01V~�/D$�-z>p+�+����&5z>�365C067$8i��X�¯�!uÁ[��<��/#,06!���Q��J�n�[�&��!.)i�/D$���&D$��065C>`01V�Yt5/!$012,)Z¢ ñ ¥��&0s�/D$��<�2]�=-/-/#%�"<\�±'�/#,06!y01V��$#RV}7.5/<\���&#,01!$-t#R!u���²�1!$)?�/D$�K<�01+ 8$7p�A�=�/#,06!i01V��&D.��#,5BL6��5/-&�=2�7$!.V}062R)$#,!.36-�XWÁp��<(�&#R06!��<�06!$-/#R)$��5C-K�&D$�`<\�1-C�� G�� 9;·�@nX���7.5K+`�=#,!M8.7$5/8S06-/��V}015K)$06#R!$3?�&D.#,-�#R-��&D$�=�K�&D.��5/��-/7$2%�&-�15C�J5C��NO7$#R5/��)uV}015t7$!.)$��5C-C�A�=!$)$#,!.3`�&D$�J<\�1-C�s� G ¶T9}·�@nXB�w��)$#R-/<�7$-/-�<�0p).#,+���!$-C#,06!i06!$���1!$)��Q�0 ).5/#RVh���.#RV}7$5C<\�=�/#,06!$-rV}015tv�7$<�2,#R)$�\�1!-z>p+�+����&5z>{#,!?Áp��<��&#R06!y£pX�Áp��<(�&#,01!?ÂT�18$8.2,#,��-r�&D$#R-~�&05C�\�1<(�&#,01!�)$#R��7$-/#R06!�-C>[-z�&��+�-�06!��&D$�s8.2]�1!$�T�=!$)U#,!�8"�15z�&#R<�7$2,�15t�/D$�s-/8$#R5&�12�Qr�\L6���=5/�(�&5/�1<��/#,!$3Q��\L6���&5&�=!$-/#%�&#,01!�X

� �«�����1�������P���� ��J�����������K�� � �"! ��#\��$%� �\� �'&�$)(���$*�+#�,-$%���'�

�����`� �S�?���"!$#%�&�)$#R+ ��!$-/#R06!"�12~��#R�i315/067$8¸�1<��/#,!$3U2R#,!$���15/2%>_06! �MÀr�=!"�1<AD¸-C8"�1<��/.|�1!$)-C7$8$8S06-/�~�&D$�=� E"F�G H10 9 E @�#R-���-/+�0[01�&D$2%>48"�15&�=+ �(�&5/#R¹���)KV;�1+ #R2R>�01V���'���NO7$#RL=�15C#]�1!P���(L6062R7.�&#R06!��N[7$�=�&#R06!$-�x~Q�#%�&D E32 .Wx54 2 ´56=X¡�M�?-/7$8$8S06-C�U�/D"�=� Q�D$��!74 G § x~^ #R-{�M5C��2]���&#RL1���N[7.#,2,#R�$5/#R7$+¨V}065 H x"��NO7$#RL=�12R��!P�&2%>`V}065 E98�2 ^�x H 9 E98 @ G;:6E98 V}065~-/01+ � :-2 ����X�w�4+ �1­=���/D$��V}062,2R0�Q�#,!$3K-z�A�1!.)$#,!$3TDP>[8�0=�&D$��-/��-�X

9�< ñ @�~D.��5/��2,�=�&#%L6����NO7$#,2R#,�$5C#,7$+ ^ <�06!.-/#,-z�&-�01V[8S06#,!P�/-�01VO�&5/#%L[#]�12�#,-C01�&5C068P>T9}�/D"�=��#R-�x>=@?BA GDC @(X9�<W°6@�~D.��315/067$8�065C�$#R��^ G � E98 #,-��1!4��+�����)$)$��)4-/7.�$+`�=!$#RV}062R)�01VE.¸9}D$��!.<���)$#R����06+�065C8$D$#,<

�/0s�&D$��365C067$8i��@(X

Page 4: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

9�< �P@�~D.�45C��2,�=�&#%L6����NO7$#R2,#R�$5/#R7$+ ^ #R-~!$065/+ �12R2R>�DP>p8S��5C��012,#,<=XYt-~)$#,-C<�7$-C-/��)?�=�~�&D.�4��!$)i01V��&D$#R-~-/��<(�&#R06!�x$DP>[8�0=�&D$��-/��-K9�< ñ @r�1!$)w9�<W°6@r�15C���\�1-C#,2R> 5/��2]���p��)�xQ�D$��5/���1-tDP>[8S01�&D$��-/#R-K9 <5�P@�#R-~-/06+���Q�D"���t8.5/06�$2R��+ �=�&#R<1X�~D$���&#R+ �n'��(L6062R7.�&#R06!³01V E98 #R-�36#%L6��! �P> E 9 � @ G �(�p8�9 � : @ E98 Q�D$��5C� : #R-�1!¬��2R��+���!P�

#R!:����X��~D$�-C7$�$365C067$8 © ª � + ��!P�&#,01!$��):#,!��/D$�{#,!P�&5C0p).7$<��/#,06!�#R-K�&D$�<�2R06-/7.5/�{01VB�&D$#R-06!.�('�8$�15&�1+����/��5~-C7$�$365C067$8 �© G � �(�p8�9 � : @ � 2 ´��OX �#R5/-C��xtQ��w+ �1­=�Z�n�p8$2,#R<�#R�`�&D$�Z)$��8S��!.)$��!$<��M01V4�&D.�w��2,��+���!P� :�2 ����06!¬�&D$�U#R!$#R�/#]�12

<�06!$)$#%�&#,01! E�8-2 ^�Xs�M�T5/��<\�12R2��&D$�T7$-C7"�12�!$01�&�=�&#R06!�YW) ���� YW7.��9�����@�V}015��&D$� �1)��C06#R!P��1<(�&#R06!{01V��Z06!i����X

���� ������������������ C�� k����"����bKe��.d1e�^ f,��da&b(c%d1e�fhg1b�b/j�kpfhclf;m�anfhk[o d1�Sº E�8 �&E�! 2 ^#"���� E�!BG$SE98 »\��aW����o`b $�2 �&%('h» H 9 E98 @ G :1E�8 "�e��"b(� H 9 E�! @ G 9;Yt)*) : @ E+! %

�����-,/.�06+ 8.7.�&���&D$�=�

H 9 E�! @ G H 9 $�E98 @ G0$�H 9 E98 @ G0$�:1E98�G1$9:2$+3 ! $SE98rG 9;YW)4) : @ E�!65À�>87�5C068�01-/#R�/#,06!{°pX ñ x.�&D$�4�1)��C06#,!P�~065C�$#R�r01V : 7.!$)$��5B�Z#,-~#,!.)$��8S��!$).��!P�B01V��/D$��<AD$06#R<���01V

#R!$#R�/#]�12"<�06!$)$#%�&#,01! E98 2 ^ �1!$)��/D$��).>[!"�1+�#,<�-�06!�^ #,-�<�2]�1-C-/#%�"��){�P>`�/D$���1)��C06#,!P��065/�$#%�&-�V}065�/D$�`�=<��&#R06!Z01V��³06!w����X "065��n�$�=+ 8$2R�1x��&0y<�06+�8$7.�/���/D$���/#,+��T��L6012,7.�/#,06!Z01Vr�/5&���C��<��&015/#,��-06!{^�x$�/D"�=��#R-r�&0T�(�p8S06!$��!P�/#]�=�/� : x.Q��J<��1!-/7$8$8S06-C�4Q�#%�&D$067p��2,06-C-��/D"�=� : #R-��T8$�15C�/#,<�7.2]�15C2R>-C#,+�8$2,��5C��8$5C��-/��!P�A�=�/#RL6�J01V�#%�&-��1)��C06#,!P�B065/�.#R�\X�Áp7.<AD���5C��8$5C��-C��!P�A�=�/#RL1� : #,-~<��12,2R��)y� !$065C+`�12V}065C+��%X¯*��V}062R2,0�Q�-�V}5/06+ !$065C+`�=2�DP>[8S��5/�S062R#,<�#%��>w9�< �P@��/D"�=��^ �n�[�&��!.)$-��&0{� -/+�0p01�/DyV;�1+�#,2%>{01V

5C��2]���&#RL1����NO7$#R2,#R�$5/#,�i^ 0�G � E98 9�4�@4V}015 H10 x�36#%Lp#R!$3u5C#,-/���/0U�u-/+�0p0=�&D_V;�1+�#,2%> : 9 4S@ 2 ����x: 9 § @ G : x�).���"!$��)¡�P> H 9 E98 9 4S@/@ G : 9�4�@ E�8 9 4S@(X|YW2R�/D$067$31D H xW^�x E98 �1!$) : ).��8S��!$)-C+ 0[01�&D.2R>U06! 4�x��&D$���1)��C06#R!O��065/�.#R�K0=V : �1!$)�D$��!$<����/D$��).>[!"�=+ #R<�-K06!_^ + �\>Z7$!$)$��5/360�$#%V}7$5/<��=�&#R06!$-�X�~D$� �1�S0±L1�T)$#,-C<�7$-C-/#,01!w#R!$)$#,<��=�&��-��&D"�=��-C7$<ADM�.#RV}7$5C<\�=�/#,06!$-�#R!��&D$�T).>[!"�1+�#,<�-�06!�^�x�065

º1anf »ne�m�f »nkpa&¼/d1e;f����.�(xr�15C�y7$!.)$��5C-C�&0[0[)³�1-��$#RV}7.5/<\���&#,01!$-s#,!:�&D$�y��#,�i�12R36���$5/�.X¸�~D.�?#,).�\�1-T01VYt5/!$062R)U¢ ñ ¥�<��1!{�S��7$-/��){�&0K<�06+ 8.7.�&��!.065/+ �12®V}065/+�-�V}065�V;�1+�#,2,#R��-�01V���#,�W�12,31���$5/�J��2R��+���!P�&-�x�/0�<�2,�1-/-C#RVh>�V;�1+�#,2,#R��-��P>K<�0p)$#R+ ��!$-/#R06!�x=�1!$)K�/0�<�06+�8$7.�/��L6��5/-&�=2$7$!.V}062R)$#,!.36-�X��~D$��-C�~#,)$���1-��15C�5C��<\�=2,2,��)u#,!ZÁ[��<��/#,06! �pX4¯�!U8"�=5C�&#R<�7$2,�15�x®Q��s5/��NO7$#R5/�K�/D"�=���/D$�s-/#R+ 8$2R#RVh>[#,!.3T�/5&�1!.-CV}065C+`�=�/#,06!.-L[#]�K�/D$�4�1)��C06#R!O�~�1<��/#,06!06!{�&D.��V;�=+ #R2R> : 9�4�@�)$��8���!$)?-C+ 0[01�/D$2R> 06!i8"�15&�=+ �(�&��5C-�X

9;:4<�=*����>�:? �:@����+AB�DCE�-�FB����� GB��<\�12R2��/D"�=�4�`�"0�Qr'�#R!PL1�=5/#]�=!O����'*#,!PL=�15/#,�1!P�W-C���IH|#R-�<\�=2,2,��)�ZaAb(c%d1e;fhg1bJ�"b(anf���º1f�¼{��a�m�fhe�#%V��/D$� 015/�$#%�J-C8"�1<��;HLK1�³#,-4�1!w065/).#,!"�15z>U8���5/#R0p)$#R<s065/�.#R�\X`YW-4#,!�/D$�J<��1-/�J01V�5C��2,�=�&#%L6����NO7$#R2,#,�.5/#]�pxpQ��K�1-C-/7$+��4�/D"�=�MH�#,-B�T!$065/+ �12R2R>�DP>[8S��5/�S062R#,<���+K�S��).)$��)-C7$�$+ �1!$#RV}012,)�01V1.¬<�06!.-/#,-z�&#R!$3T01V�8S06#R!O�/-�01V��/5/#%Lp#,�12�#R-/01�/5/068P>1X

Page 5: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

�~D$���"0�Q¾06!5C��2]���&#RL1��8���5/#R0p)$#R<W065C�$#R�/-~#,-~<�2]�1-C-/#R�$��)V}065~�M<�06+ 8$�1<����P>¦�5/7.8"�?¢ ñ�§ ¥��1!$) �#R��2R)?¢ Â=¥��1!$)�V}065��u!$06!$<�06+�8"�1<����P>�YW-CDOQ�#R!{�1!$)�Ãy��2R��017$5/!$��¢¤°±¥�X����(���³�����&D$�B8S��5/#R0p)�01V�/D$�J8S��5C#,0[)$#,<W-/062R7.�&#R06!06!i�/D$�4065/�$#%��-/8"�=<�� HLK1��X�¯*V E 9 § @ G E98 2 H�x$�/D$��! E 9��W@ G $SE98 V}065-C06+ � $�2 ��X��������«�S�4�/D$��<�2,06-C��)?-C7$�$365C067$8u31��!$��5&�=�/��)u�P> $ X�����!.��5/#R<\�12R2R>1x��«#,-B��#%�&D$��5� .r�15z�A�1!i-/7$�.365/067.8?065��T<�068P>{0=V�´ �1!$){�/D$�J5C��2,�=�&#%L6��8S��5/#R0p).#,<�065C�$#R�LH�#,-rV}062R#]�=�/��){��#%�&D$��5�P>u#R5/5/�=�&#R06!"�12��&015/7$-W�$0±Q�-�0=V�).#,+���!$-C#,06!u).#,+�� ñ 065��P>?<�068$#R��-�01V�´ Q�#R�&D?7$!O��067.!$)$��)2R#,!$���15��"0�Q�X�Áp��� ¢¤°�¥�V}065~)$�(�A�1#R2,-�X�~D$����2,��+ ��!O� $ 2 � #,-JQ���2R2%'*)$���"!.��)�x�#R!$)$��8���!$)$��!P�T01V��&D$��<AD.06#,<���01V E98 2 HTx�7.8_�&0

<�06!��C7$3P�=<�>J#,!s��X <B��!$<��r�&D$��).>[!"�1+�#,<�-�06! H #R-�<�2]�1-C-/#R�$��)s�P>�<�06!��C7$36�1<�>�<�2]�=-/-/��-�#,!K��X���5/#RVh��$#%V}7$5/<��=�&#R06!$-rV}065�5C��2]���&#RL1��8���5/#R0p)$#R<�065/�.#R�&-B�15C��360�L6��5C!$��)?�O>i�$#%V}7$5/<��=�&#R06!$-~01V�8"�15/�1+ �(�&5C#,¹���)V;�1+�#,2R#,��-J01VW��#,�{365C067$8:��2R��+���!P�&-��1!.)²�/D$�<�065C5/��-C8�01!$)$#,!.3Z!.065/+ �12�V}065C+«�/D$��065z>�5/��NO7$#,5C��-�/D"�=�~�&D.��V;�=+ #R2,#,��-�01V�<�01!��C7$3P�1<�#,��-~)$��8S��!$)y-/+�0p0=�&D$2%>`06!i8"�15/�1+����&��5/-�X "065�365/017$8$-�Q�D$��5C�`�&D$���(�p8S06!$��!O�/#]�12�+ �18w���0� �³#,-�-/7.5��C��<(�&#%L6��9}!$��<���-C-&�15C#,2R>Z+��\�1!['

#R!$3_�&D"���?� #,-{<�06!$!$��<��&��)®@(x��=-i#R-��&D$�U<��1-/��Q�D$��!¡� G ¶s9}·�@nxW�&D$�U<�2]�1-C-/#R�$<\�=�/#,06!$- V}0658"�=5&�1+����/5/#,¹���)�V;�1+�#,2R#,��-t01V���#R���12,36���$5&�{��2,��+���!P�/-J�=!$)M��#R�s365/067.8w��2,��+���!P�/-J�=5/�T#,)$��!P�&#,<��12�X "065�365C067$8$-�Q�D$��5/���&D$���n�.8S06!$��!P�&#]�=2"+`�18T#R-�!$01��-/7$5��C��<(�&#RL1�K9}�1X¤3$X �� 9}·�@C@��/D$��<�2,�1-/-C#R�"<��=�&#R06!V}065J5/��2]�=�/#RL6� 8���5/#R0p)$#R< 015/�$#%�&-�<�067$2R)_#,!_8.5/#,!.<�#,8.2,��#,!$<�2,7$)$� + 015/�`<��1-/��-s�&D"�1!M06!$��<��1!_�"!$)V}065T5C��2]���&#RL1���NO7$#,2R#,�$5C#]�.X:¯*��V}062,2R0�Q�-K�&D"�=��V}065T-/7.<AD³365/017$8$-�x��&D$�i)$5/#%Vh�T�$#RV}7.5/<\���&#,01!$-��1-/-C0='<�#]�=�/��)�Q�#R�/Dw5C��2]���&#RL1�s8���5/#R0p)$#R<K065C�$#R�/-J�=5/�T)$#R����5C��!P��V}5/06+½�&D$01-/� �1-/-C0p<�#]�=�/��)UQ�#R�&DU5C��2]���&#RL1���N[7.#,2,#R�$5/#,�.X

�8�D��C��B� ���D�����-, ��� :����+ �� ��� :4� :4� <�>p8S01�/D$��-C#,-�9�< ñ @~#R-~7$!$!$��<���-/-&�=5C>?�1!$)i<\�1!i����2R#RVh�&��)7$-C#,!$3T�&D.�4V}062R2,0�Q�#,!.3K-C�&�1!$)"�15C)u�15C367$+���!P�\XrÁp7$8$8S06-C�4�/D"�=� E9852 ^ D$�1-t#R-/01�/5/068P>{-C7$�$365C067$8= G =@?BA�X��~D$#R-�-C7$�$365C067$8T#,-�Q���2,2%'*)$���$!$��)s7$8K�/0�<�01!��C7$3P�1<(>�-C#,!$<���= ) ?BA G0$ =@?BA $ 3 ! X <t��!$<��Q���<\�=!M-/8S�\�=­w01V��&D$� #,-/0=�&5/018O>Z-C7$�$365C067$8 =�01Vr�/D$�`5C��2,�=�&#%L6����NO7$#,2R#,�$5C#,7$+½^�Xy���(���M9 =~@)$��!$01�/���/D$�4!$065/+ �12R#,¹���5r01V = #R!?�Z�~D$�JNO7$0=�&#,��!P��� G �M9 =~@ K =¿360�L6��5/!$-��&D.�J)$5C#RVh�/-~06!i^_X9C9�<�°1@B#,-W�12R�/��5C��)u-C2,#,31DO�/2R>� �� E98 #,-t!$0�Q�).#R����06+�065/8.D$#,<��&0� K =~@nX%<t��!$<��J�&D$�K31��!$��5/#,<�)$5/#%Vh�<�065/5C��-/8S06!$).-��&0{��#%�&D$��5���+ ���p#,+ �12��&065C7$-�#R!��|065��`<�068P>?01V�´ ¢¤£px ñ�§ x�°�¥�XJÁp#,+�#,2,�15/2%>6x.�/D$�5C��-/7.2R�&-�01!Z).5/#RVh���$#RV}7$5C<\�=�/#,06!.-�)$��-C<�5C#,�S��)U#,!��&D.#,-�8"�=8���5�360{�&D$5C067$36DU�P>�5/��8$2]�=<�#,!.3{�²Q�#%�&D� G �_9 =~@ K =WX�t�n�[�\x�Q��`<�06!$-/#R)$��54DP>[8�01�/D$��-C#,-�9�<�°1@(X{�~D$#R-J#R-4-/�=�&#R-C�"��)MV}065��"!$#%�&�n'�)$#R+ ��!$-/#R06!"�12�<�06+s'

8"�=<�����#R� 315/067$8w�1<(�&#,01!$-��=!$)wV}0654+ �1!P>U-/���C�&#R!$36-4#,!PL6062%L[#,!$3i#,!.�$!$#R�/�('�).#,+���!$-C#,06!"�=2��1<(�&#,01!$-�1!.)w!$01!$<�06+�8"�1<(��365/017$8$-�X 7�5/0�L[#,).��)_� �1<��/-J-C+ 0[01�/D$2R>y06! E�8 x��/D$�T365/017$8U065/�$#%��^ #R-��1!#R+ +���5C-/��)w-/7$�.+`�1!.#RV}062R)M01V�.tX���0���!$-/7$5C���&D"���K^ #,-J��+K�S��).)$��)�x�Q��{+K7$-z�s�(�p<�2R7$)$�`�/D$�8$5C��-C��!$<��t01V �18$8$5C0��p#R+`�=�/�r-C>[+�+ �(�&5C#,��- �®¢¤°�¥�X~9;Y -/��NO7$��!$<�� � $�� � 2 � K =�#,-��=! �=8$8$5/0\�p#,+ �=�/�-z>p+�+����&5z>�#%V"�&D$��5/�~�=5/�r!$0�<�06!PL6��5/36��!O��-C7$�$-/��NO7$��!$<���-��1!$)K>6�(� $��=E98 � E98 X @J�~D$�~<�06!$)$#%�&#R06!�/D"�=�s�¬�1<(�&-K-C+ 0[01�/D$2R>U06! E�8 x��1!$)_D$��!$<���^_x�#,-4L6��5z>_!"���&7$5/�12�-C#,!$<���)$5C#RVh�J06!��?5C��2]���&#RL1���N[7.#,2,#R�$5/#R7$+ <�015/5/��-/8S06!$)$-K�/0u�&#R+ � ��L6012,7.�/#,06!��=!$)�D$��!.<��#,-J-/+�0p01�/D�X�¯*Vt� ).0p��-s!$01�T�1<(�-C+ 0[01�&D.2R>�06! E98 xpQ���<\�=!i5C��8$2,�1<���� G �_9�=~@ K = �P>{�K<�2,06-C��){-/7.�$365/017$8�� ª ���&D"���~)$0[��-

£

Page 6: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

�1<(��-/+�0[01�&D$2%>6X��~D$�s<�06!$)$#%�&#R06!?06!U�=8$8$5/0\�p#,+ �=�/�K-C>[+�+ �(�&5/#R��-t#,-�!$0=��-/0{���1-/#R2R>y)$�\�12%�WQ�#%�&D�$7p�BQ�#R2,2�!$01��<\�=7$-/�J�1!P>{8$5C06�$2,��+ -~#R!{�&D$�4�18$8.2,#,<��=�&#R06!$-�<�06!$-C#,)$��5/��)?#,!{�/D$#,-~8"�=8���5�X �#R!"�12,2%>6x�Q��?<�01!$-/#R)$��5�DP>p8S01�/D$��-C#,-�9 <5�P@nX �WV�<�067$5/-C�1x��/D$#,-TDP>[8�0=�&D$��-/#,- #,-�36��!.��5/#R<{V}065

�"!.#R�&�n'�)$#R+ ��!$-/#R06!"�12��1<��/#,06!$-401V~<�06+�8"�1<��K��#,��365/067.8$-��=!$)MV}0654+`�=!O>Z#R!.�"!$#%�&�('*)$#,+���!.-/#,01!"�12�1<(�&#R06!$-�X:�~D$�36��!$��5/�12,#R¹\�=�/#,06!_�/0U!$06!$<�06+ 8$�1<��/!$��-C-`�1!.) #R!.�"!$#%�&�('*)$#,+���!.-/#,01!"�12,#%��>U2,���1)��&0��Q�0 ).#R����5/��!P�t#R-/-C7$��-�X�~D$�4�"5/-z��#,-C-/7$�=x�Q�D$#R<ADu#,-B7$!$#R+ 8S065z�A�1!P�~V}065B067$5B8$7$5C8�06-C��-T9h�&D$017$36D?-C#,36!.#R�"<��1!P�tV}065B�$# '

V}7$5C<\�=�/#,06!.-�V}5/06+�5/��2]�=�/#RL6�~��NO7$#,2R#,�$5C#]�K¢ ñ £�¥]@��15C#,-/��-�V}5/06+�!$06!$<�06+�8"�1<��/!$��-C-�01V��y�1!$)T<�01!$<���5/!$-�/D$�s8�01-/-/#R�$#,2R#R��>01V�!$01!$!$��7p�&5&�=2���#R36��!PL=�12,7.��-��12R06!$3`�/D$�s365C067$8�)$#R5/��<(�&#R06!$-�X�G���<��12,2��&D"�=�WV}065�U<�06+�8"�1<(����#R�i315/067$8�x��&D$�i-/8S��<(�&5C7$+ 0=VW�&D.�?2,#R!$�\�=5/#,¹���)�L6��<��/065 �"��2,) #,!:�&D$�i)$#,5C��<(�&#,01!$-�12R06!$3K�/D$��365/067.8i015/�$#%�~<�06!.-/#,-z�&-B01V�8$7$5/��2R>`#,+ �136#,!$�15C>���#R36��!PL=�12R7$��-�X�Yt-�8�06#R!P�&��)067p��#,!w¢��pxYt8$8���!$)$# �p¥�x��&D$#R-�#,-�!$02,06!.36��5��17p�&06+ �=�&#R<\�12R2R>�&5C7$�sV}065�!$06!.<�06+�8"�1<(����#R�s365/067.8$-�x��&D$017$36D#%�~#,-��/5/7$��V}065��&D$��v�7$<�2,#,).�\�1!365C067$8$-49;�1!$){V}065��1!P>�315/067$8{Q�#%�&Di�1!#,!PL=�15/#,�1!P�r+����/5/#,<s¢ ñ £±¥h@nX¯*V��/D$��5C���15/�W-/7$<AD!$06!.!$��7.�/5&�12���#R36��!PL=�12,7.��-�xp#R��#,-�#,+�+ ��)$#]�=�/�~�&D"�=��!$065C+`�12SDP>[8���5/�S062,#R<�#R��>T#R-!$0=�B�T31��!$��5/#,<�<�06!$)$#%�&#,01!Z9}�&D.067$36Di#R�~+ �\>{�S���1!y018���!y<�06!$)$#%�&#,01!®@(X�~D$�U-/��<�06!.)¿#R-/-/7.�w�=5/#,-C��-�V}065{-C8"�=�/#]�12R2R>P'��n�p�/��!$).��) -C>[-z�&��+�-i01VI7 ��v�-�X¨YW!¬#,!p'*)$��8p�&D

)$#R-/<�7$-/-C#,06!Z<\�1!w���sV}067.!$)M#R!MÁp�1!$)$-z�&��).�1x�Áp<AD.����2��1!$)U�w7$2R�¿¢ ñ £�¥�X` "065�5C�\�1<(�&#,01!p'�)$#%��7.-/#,01!��N[7$�=�&#R06!$-r#R!�´ � x$#R��V}062,2R0�Q�-�V}5/01+ ¢ ñ £px.����+ + �KÂ.X °�¥��&D"�=� 2,0[<\�=2,#,¹���) -/062R7.�&#R06!$-��O�&D$�=�~)$��<\�\>�=�t#,!p�"!$#R��>y�15C�J31��!$��5/#,<��12,2%>!$065C+`�12R2R>`DO>[8S��5C��062R#,<=X��B!.V}065C�/7$!"�=�/��2%>6xS-/062R7.�&#R06!$-��&D"�=�t)$0�!.01�)$��<\�\>��=��#,!p�"!$#R��>J�&0�-/01+ ��<�01!$-C�&�1!P�r�15C��!$��L1��5�!$065/+ �12R2R>4DP>p8S��5C��012,#,<J¢ ñ £[x[����+�+ �4ÂpX �=¥$)$7$��/0 �&D.��8$5C��-/��!$<��s0=V���-C-/��!P�/#]�12�-/8S��<(�&5/7.+ 9h�&D$�J<�06+�8$2,��+ ��!P�W#R!y�&D.��-/8S��<(�&5C7$+I0=V��&D$�J-/�(��01V#R-/062,�=�&��){��#,31��!PL=�12,7$��-�01V��$!$#R�/��+K7$2R�/#,8$2R#,<�#R��>.@�#R!P�&��5C-/��<��&#R!$3s�&D$��#R+`�131#,!"�15z> ���p#,-�X�~D$#R-4).#,-/<�7$-/-C#,06!Z#,!.)$#,<��=�&��-��&D"�=�4DP>[8�0=�&D$��-/#,-`9�< �P@�#,-&�C7$-z�&#%�"��)UV}065�2,0[<\�=2,#,¹���)�-C062,7.�/#,06!.-

�1!.)�#,-�7$!��C7$-z�&#%�"��)�V}065�!$06!.2,0[<\�12R#,¹���) -C062,7p�&#,01!$-�X�Yt-�V;�15��1-�Q���­O!$0�Q�x.�/D$�tL=�15C#]�=�/#,06!�01V�5C��2]�±'�/#RL6�~��NO7$#,2R#,�$5C#]�t�/D"�=���15C�~!$06!$DP>[8���5/�S062,#R<~)$7$�~�&0��/D$�~��-C-/��!P�/#]�12®-/8S��<(�&5C7$+�#,-�!.01��7$!$)$��5/-z�&0[0p)�(L6��!:�\Q��\>wV}5C06+ �$#RV}7$5C<\�=�/#,06!Z8S06#,!P�&-�X��t��L1��5z�&D$��2,��-C-�x��&D.���18$8$�15/��!O��5/06�.7$-C�/!$��-C-s01V~-/8.#,5&�=2Q��\L6��-W#,!i�(�p<�#%�A�1�$2R��+ ��)$#]�T-/7$3136��-z�&-t�/D"�=�BQ�#R�/Dy<���5C�&�1#,!y+ 0[)$#%�"<\�=�/#,06!.-�9}�/D"�=�BQ��JD"�\L6��!.01�)$�(�&��5/+�#,!$��)®@��&D$��8$5C��)$#R<��/#,06!$-~01�.�A�1#R!$��)�P>i�1-C-/7$+�#,!$3y9 <5�P@�-CD$067$2R)i-z�&#R2,2��S��+ ���1!$#R!$31V}7$2�X

� � � � ! �"# �6��� ! �*���� � $�� � �+# �����6� #\��\��, �½�\� ���

¯�!��/D$#,-�-/��<��/#,06!�x�Q���5/��<\�12R2O�/D$��#R)$�\�=-�01V$YW5/!.062,)�¢ ñ ¥[06!J8"�15/�1+ �(�&5C#,¹���)JV;�1+�#,2R#,��-�01V®��#,���12R36���$5/���2,��+���!P�/-�X��w�K5/��<\�12R2��&D.�K7$-/7$�12�!$0=�A�=�/#,06!uYt)� S� � YW7p��9�����@t�1!.)U�1)� ®��� � v�!$)�9�����@V}065��&D$���=)��C06#,!P���1<��/#,06!$-�01V��y�=!$)T���i06!K����X�Yt2,-C0W�&D$�r��#R�r�$5/�1<A­1�(��01VS��2,��+ ��!P�&- ��� 2 ���#R-~36#RL1��!i�O>U¢ ��� ¥ G �=)���9 � @~�1!$)�&D$��<���!P�&5/�12,#R¹���5~0=V� 2 ���w#R-~)$���$!$��)i�&0����

�K9��@ G ��� 2 ���� S¢� ��� ¥ G § � 5������ 8 2 ���³�=!$)w<�06!$-C#,)$��54�/D$���1)��C06#R!O��315/067$8Z065C�$#R��Yt)��� 8 ª�����X��w�T)$���$!$���/D$�

Â

Page 7: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

¼A��º1fho`b(�.�(f����s01V 8 �&0T�S���/D$��<�0[)$#,+���!.-/#,01!{01V��/D$��365/017$8065/�$#%�\x$-C0

<�0p).#,+ 8�G <�0[)$#,+²YW) �� 8�G )$#R+³��� � )$#,+²YW)�� 8�G )$#,+ �K9 8 @ 5�~D$�y<�0[)$#,+���!.-/#,01! 01V� 8 #R- ��NO7"�12��&0w�/D$�i+ #R!$#,+K7.+ !O7$+K�S��5 01V�7$!pV}062,)$#R!$3Z8"�15&�=+ �(�&��5C-5C��NO7$#,5C��)i#,!i�KL6��5/-&�=2�7.!.V}062,).#,!$3s01V 8 ¢ ñ ¥�X����� � ��� �S�4�1!#,!$!.��5�8$5/0[)$7$<(�B06!i���w�1!$)i)$���$!$�

.�9� 8 @ G 9��1)�� 8 @�� G ��� 2 ��� � � � ¢ 8���� ¥ �tG § V}065��12,2 � 2 ��� � 5¯*V ����! ����� � 6 ��#,-��s�"�1-C#,-~V}065 .�9� 8 @nx.�&D.��!y�TL1��5/-/�12�7$!.V}012,)$#R!$3s01V 8 #R-~36#RL1��!�P>

8 4 ! ��! �� 4 6 � 6 5¯�!Z<�06+�8$7.�/#,!$3 �K9 8 @��1!$) .�9� 8 @nx�Q���<\�1!Z01V�<�067.5/-/�T�"5C-C�J�18$8$2%>?�/5&�1!$-zV}065/+ �=�/#,06!$-W#,!

Yt)�� �/0`5C��)$7$<�� 8 �&0 � -C#,+�8$2,��549;!$015/+ �12h@�V}065C+yX�Y V}7.5C�&D.��5B-/#,+�8$2R#R�"<��=�&#R06!�#,-�8S06-/-C#,�$2R��#,!<���5C�&�1#,!<�#,5/<�7$+�-C�A�=!$<���-� �!"�1+���2R>`Q�D$��!i�&D$�4��#,�4�12R36���$5/�s���M<\�1!i�S�J��+K����)$)$��)?#,!{�/D$�4��#R��12R36���.5&� � � 01V�5/���12�+ �=�&5C#,<���-�#,!�-C7$<AD_��Q��\>��&D"�=� �� 8 9hQ�D$#,<ADZ#,-�).���"!$��)M#R!�� � @W2R#,��-W#,!����X �w���&�1­1�T�&D.� #R!$!$��5�8$5C0p).7$<��J06!_��� �/0y�S�T�&D$��06!$��#,!$).7$<���)M�P>��&D$��#,!.!$��5�8$5C0p)$7.<��� ����� G �/5� � ��06!�� � X�¯�!i�/D$#,-�<\�=-/�1x$Q��45/��<�0�L6��5��&D.��V}012,2,0�Q�#R!$3K5/��-/7$2%��01V�¢ ñ ¥�X���� ������������������ C�� k����"����b�e��.d1e�����f,��f;º[b(�"e;f �rb/ºy��fhe��Mdi�(k.m(� �.d[¼Ab{� »�� � d��`dPm(��g1b % '}»�� 8 2 ��� "�e��"b(� .�9� 8 @ G �K9 �� 8 @ %

�����-, ���(� � ���D2 ����X��M��<�06+�8$7.�&���/D"�=�

� � � ¢� 8 ��� ¥ � G �&5 � 9� 8�� � � 8 @ � G �&5\9� � 8 � � � � 8 @ � � G � � 8 � � � � 8 ����� 5<B��!$<��1x �32 .�9� 8 @�8$5C��<�#R-/��2R>�Q�D$��! � 8 � � � � 8 #,-�065C�/D$063601!"�126�&0t����X <B0±Q���L1��5�x� � 8 2 ���#R+ 8$2R#,��-B�/D"�=� �� 8 � � � �� 8 G ¢ �� 8 ��� ¥ 2 ����X4¯*��V}062R2,0�Q�-t�/D"�=� �)2 .�9� 8 @W#RV��1!$)U06!.2R>y#RV¢��� 8 ��� ¥ G § X

9;:��#=*�� ��� � YW5C!$062,)M¢ ñ ¥�<�06!$<���!P�&5/�=�&��-�06!i�&D$�J<\�1-C�K� G"! � 9}·�@rQ�D$��5C���&D.�JDP>[8�0=�&D$��-/��-01V 7�5/068S06-C#R�&#R06! �.X ñ �15/��-/�=�&#R-C�"��)�V}065��=2,2� 8 X��~D$#R-�#,-��&5C7$�B�12,-C0�V}065��1!P>s<�06+ 8$�1<�����#,�~315/067$8�xV}065s�/D$�-C>[+ 8.2,��<(�&#R<i315/067$8 $# � ¢&%px ñ�ñ ¥�x�V}065s�/D$�y-C8���<�#,�12~2,#R!$�\�15s315/067$8 �� 9;·�@(x��1!$):V}065�/D$�y5C�\�12�<�2]�1-C-/#,<��12���#,�365C067$8$-?¢ ñ �=¥�X <t0�Q��(L6��5�x~�&D$�iDP>[8�01�/D$��-C��-�0=V��&D$�i8$5C068�01-/#R�/#,06!²�15C�!$0=��-&�=�/#,-C�$��)�V}065��&D.�Tv�7.<�2,#R)$�\�=!Z315/067$8U¶T9}·�@W<�06!$-/#R)$��5C��)Z#,!ZÁp��<��/#,06!w£pXK¯�!.-C�&���1)�x�Q����15C�V}065C<���)��&0KQ�065/­ )$#,5C��<��/2R>�Q�#R�/D��&D$��)$�(�"!$#%�&#,01!�01V .�9 8 @(X��WV�<�017$5/-C�1x$<�0p)$#R+ 8 <\�1!-C�/#,2R2��S�<�06+ 8.7.�&��)y7$-C#,!$3T<���!P�&5/�12,#R¹���5C-�X

%

Page 8: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

�~D$��5/�K#R-W�`8$�15&�12R2,��2��&D$��065C>V}065t8"�15&�=+ �(�&5/#R¹���)yV;�1+�#,2R#,��-�01V���#,�4365/067.8?��2R��+���!P�&-�X <B��5/�=xQ���<�06!$-C#,)$��5�365/067.8y065C�$#R�/-�� � $ 8 Q�D$��5C������)$��!$01�&��-�<�06!��C7.3P�=�&#R06!�P>��[X��~D$��!

<�0p).#,+ $E8�G ).#,+ � �"9 $ 8 @ �Q�D$��5/� � �"9 $ 8 @ G � � 2 � �� $E8�G $ 8 ���J)$��!$0=�&��-��&D.�4<���!P�&5/�12,#R¹���5~01V $ 8 #,!i��X����� ��9 $E8 @ G 9 �-) A�� � $ 8 @ $ 3 !8 )$��!$01�/�`�&D$� �A�1!$31��!P�s-/8$�1<��{��� $ 8 �&5/�1!$-/8S065z�&��)M�O>M5/#R36DP�

+K7.2R�&#R8$2,#R<\�=�/#,06!�&06XT¯�!Z8"�15C�/#,<�7$2]�15�x ��9 $ 8 @Jª�����XsYt3P�1#,!�x�Q���<AD$0[06-/� �1!U#,!$!.��5�8$5C0p)$7.<��06!i���_�1!.)i).���"!$�

.�9 $E8 @ G �K9 $ 8 @ � G ���32 ���� � � ��� � YW)*) A � �tG § V}065��=2,2 �D2 ��� � 5¯*V ����! ����� � 6 ��#,-��s�"�1-C#,-~V}065 .�9 $ 8 @(x$�/D$��!y�KL6��5/-&�=2�7.!.V}062,).#,!$3s01V $ 8 #,-�36#RL1��!�P>

�(�p8�9 4 ! ��! �� 4 6 � 6 @ $ 8�5 �#R!"�12,2%>6xS-/7$8.8�06-C�K�&D"����� ª ! � 9}·�@t#R-���+`���&5/# �y365/067.8²9;-/0��/D"�=� $ �8 #,-�).���"!$��)Z�1-��1!

#R!OL1��5z�&#,�.2,��+ �=�&5C#%�$@(X��~D$��!?���Z#,-~#R)$��!P�&#%�"��){Q�#%�&Di�s-/7$�$-C8"�1<��J01V � � Q�#%�&D{�&D$���/5&�1<���#,!$!$��58$5C0p).7$<��t�1!$){Q��JD$��L1�4�/D$��<AD"�15/�1<��/��5/#R¹\�=�/#,06!

.�9 $ 8 @ G ���32 ���� � � YW) )��A �32 ��� � � 5¯�!Z8"�15z�&#,<�7$2]�=5�x�#%V $ �8 2 ��x��&D$��!�.�9 $ 8 @�<�01!$-/#R-C�&-�01V��&D.06-/��+`���&5/#R<���-�#,!Z��� �&D$�=��<�06+�+K7.�/�Q�#%�&D{�&D$��+ �=�&5C#%� $ �8 X

� $�� � �"#¸�����6� #\��\��, ��� �(�'& �����'&u�-,T�����+# ����! ! $W�����¯�!��&D.#,-�-C��<��/#,06!�x�Q����18.8$2R>i�&D$�s+����/D$0[)$-�01V�Áp��<��&#R06! �`�&0{�/D$�K365C067$8Z� G � 9;·�@W01V�·��u·065z�&D$013606!"�12�+`���&5/#R<���-�X��~D$����#,�s�12R36���.5&��� � 9}·�@W<�01!$-/#R-C�&-�0=V�·��Z·�-C­1��Qr'*-C>[+�+ �(�&5/#R<s+`�±'�/5/#,<���-�X����PL[#,017$-/2%>6x��&D$�T�&5/�1!$-/8S06-C�`01V��-/­=��Qr'*-C>[+ +����/5/#R<`+ �=�&5C#%�U#R-4-C­1�(Qr'�-C>[+�+ �(�&5C#,<1x�-/07�5/018�06-C#R�/#,06! �.X ñ �18$8$2R#,��-�X�Ãy015/��0�L1��5�x®Q��4D$��L1�4�/D$��-/#R+ 8$2R#R�"<��=�&#R06! �/D"�=� .�9 8 @ G ��9� 8 @(X "065�� � § x�Q��`)$�(�"!$���&D$�`°���°i+ �=�/5/#%����� G � § � �� § � X{���������� !�).��!$01�/���/D$�

)$#R5/��<���-/7.+�01V#"t<�068.#,��-�01V$���SX�Yt2,-C0 §&% )$��!.01�&��-��/D$�(')�*'�¹���5/04+`���&5/# ��X�¯*��#,-���-z�A�1!$)$�15/)5C��-/7.2R�B#,!i2,#R!$�\�15��=2,36���$5&�s�&D"���t�(L6��5C>y-/­1�(Qr'�-z>p+�+����&5C#,<4+`���&5/# �{<��1!?�S�4�/5&�1!.-CV}065C+ ��)y�P>y�1!065z�&D$013606!"�12�<AD"�1!$36��01V�<�0[065C)$#,!"���&��-~#R!P�&0��s+`�=�/5/# ��01V��&D.��V}015/+

8�G ���,+- !.+$/0���213 !415/ �� /6�(�278 !97:/ §&% � 9 �$X ñ @Q�D$��5/���/D$�;�$< � § �=5/�4)$#,-z�&#,!.<��W�1!$)U°$99" ! �� ="?>n@ 0' G ·�X�Ãi065/��0±L1��5�x��&D$#R- !$065C+`�12V}065C+��p#,-~7$!.#,NO7$��7$8�&0T065/).��5/#R!$3T01V��&D$���$<�X

Page 9: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

���� ���������������� � C�� �"bs¼A��º1fho`b(�.�(f����U� »�e��"b4o�d1e;a(f�� 8 fh�¸9 �$X ñ @�f,�W�1fhg1b(�Um��<�0[)$#R+ 8~G ).#,+ �K9� 8 @ G )$#,+ �K9 ��� + ! + @ �� ²)$#R+ �K9 ���278 ! 7A@ ²).#,+ �K9 § % @

G " # ! �� 0" #> 'Z9 ' � ñ @ K6° 5

�����-, .�06+�+K7.�/#,!$3u+ �=�/5/#,<���-J8$5/��-/��5zL6�{�&D.�{��#,31��!$-C8"�1<���-s01V 8 -/0uQ��{D"�\L6���/D$�{)$#R5/��<(�-C7$+

��9� 8 @ G �K99�(� +- !.+ @ / �� / �K9 ���� ! 7 @ / ��9 § % @ 5.�2R�\�15C2R>6x���9 § % @�<�06!.-/#,-z�&-�01V$�12,2 '0��'�-/­=��Qr'�-z>[+ +����/5/#,<�+ �=�&5C#,<���-��1!$)4D$��!$<���D"�1-�)$#R+ ��!$-/#R06!'Z9 ' � ñ @ K6°pX{¯*�J5/��+`�=#,!$-��&0y-/D$0�Q¨�&D$�=��).#,+ �K99���� !C@ G " # X����$-C��5CL1�`�&D$�=�K�=!O>Z+ �=�&5C#%��/D"�=��<�06+�+K7.�/��-sQ�#R�/D0�(� !s<��1! �S�Q�5/#R�C�&��!¸�1- �1!0" �0"y+ �=�/5/#%�_01V�°�¸°��$2R0p<A­O-��\�1<AD01VBQ�D$#R<AD <�06+ +�7.�&��-KQ�#R�&D ���SX Áp7$<AD �$2,0[<A­O-sD"�\L6��&D$�{V}065C+ ��� �

� � X Áp0�V;�15�x�Q��D"�\L1��<�06+�8$7.�/��)`�/D$�W).#,+���!$-C#,06!T�&0J����° " # xp�.7.�r#%��#R-����1-/#R2R>T-/����!��/D"�=���&D$�t-/­1�(Qr'�-z>p+�+����&5z><�06!$)$#%�&#,01!{5/��-C7$2R�/-�#,!��&D.�45C��NO7$#R5/��)i)$#R+ ��!$-/#R06! " # XB9;�~D$�4)$#]�=3606!"�12��$2,0[<A­O-�D"�\L6� � G § �1!$)�/D$��!$06!$)$#,�13606!$�12��$2R0p<A­O-B�15C�45C��2,�=�&��)i#R!8"�1#,5C-�X @�~D$����#R36��!PL=�12,7.��-��� �$<K01V 8 �15C�T+ 0[)$7$2R#�8$5/��-/��5CL6��)_�P>��&D$� �1)��C01#,!P�4�1<��/#,06!U01V � 9;·�@

06!_� � 9;·�@nXy¯*��#,-J)$��-C#,5&�=�$2,�T�&0u-C7$8$8$5C��-C-K�&D$��#,54<�06!P�&5C#,�$7p�&#,01!w�&0y�&D$� <�0[)$#,+���!$-C#,06!w01V 8 X "062R2,0�Q�#,!$3Yt5/!$062R)¬¢ ñ ¥�x�Q��{<�01!$-/#R)$��5��/D$�`�/01�A�12R#R��>U01V�!.065/+ �12�V}065/+�-4�/D"�=�sD$��L1���&D$�`-&�1+��-z�&5/7.<��&7.5/�w�1- 8 9}-&�1+���L=�12,7$��-{V}065 " ! ��5�5�5+� "?>&@��$7.�iQ�#R�&D )$#%����5/��!P�L=�12,7.��-{V}065{�&D$� �$<±X�~D$�{<�065/5C��-C8�06!.)$#,!$3U-C���T01VW�1)��C06#R!P�K065C�$#R�/-�V}065/+�-s� �$7$!$)$2R� ��#R!:� � 9;·�@��1!$)��&D.�Zm�kp�Sº.c,b¼A��º1fho`b(�.�(f�����<�0p).#,+�� 8 0=V 8 #,-�)$���"!.��)s�&0��S���/D$�r<�0[)$#R+ ��!$-/#R06!K01V"�/D$#,-��$7$!$)$2R�r#,!K� � 9;·�@nX�~DO7$-�Q��406�.�&�1#,!

<�0[)$#R+�� 8�G 94" # ! � ñ @ �� 99" #> � ñ @ 'Z9 ' � ñ @ K1° 5 9 �$X °6@

�w�Z7.-/��V}065/+�7$2]�¬9 �$X�°1@ �&0:<�06+�8$7.�/�U�$7$!$)$2R��-01VJ2,0�QI<�0[)$#,+���!$-C#,06!�X �t0=�&���&D"���{V}065� G � 9;·�@nx�<�0p).#,+�� 8 #R-T�1)$)$#%�&#RL1��0�L6��5T�/D$�-/7$+�+ �1!$)$-s01V 8 �1!.)²+�065C��0�L6��5K�&D"�=�s�/D$�L1��5/-/�12�7.!.V}062,).#,!$3y01V 8 #R-4�/D$��)$#R5/��<��K-C7$+ 01V~�&D.�`L6��5/-&�=2�7$!.V}012,)$#R!$36-401Vr�&D.��-/7$+�+ �1!$)$-�X<B��!$<��1x�Q���<��1!?5C��-z�&5/#R<��t067$5B<�06+�8$7.�&�=�&#R06!$-~�&0��&D$�J<\�1-C��- 8BG ���� !��1!$) 8BG §&% Q�D$#,<ADD"�\L1�B<�0p).#,+���!$-C#,06! " # � ñ �1!$) 'Z9 ' � ñ @ K6°�5/��-/8S��<��/#RL1��2R>1X��~D$��-/7$+�+ �1!$)$-�01V�<�0[)$#R+ ��!$-/#R06!¹���5/0_�15/� ���� ! �1!$) § ! X �M�y06�.�A�=#,! �/D$�?5C��-C7$2R���&D"����<�0[)$#R+�� 8?G § #RV��1!$)³01!$2R>:#%V��12,2��#,36��!OL=�12R7$��-B01V 8 �15C�J-C#,+�8$2,�=X�9;¯�!y8"�15z�&#,<�7$2]�=5�x 8 #,-B#,!PL6��5C�&#R�$2,��Q�D$��!u·M#R-���L6��!U�1!$)yD"�1-�s-/#R!$362R��¹���5C0 ��#,36��!PL1�=2,7$��Q�D$��!y·U#R-~0p)$)�X�@�~D$��5/��#,-�01!$�~-/7$+�+ �1!$)s01VS<�0[)$#R+ ��!$-/#R06!K06!$�=xP!"�1+���2%> § # X <t��!$<����$7.!$)$2,��-�01VS<�0[)$#,+���!['

-C#,06! 06!$��0[<�<�7$5�06!.2R>TQ�D$��!{·y#,-���L6��!i�1!$)�D"�\L1�W�&D$�tV}065/+ 8�G ���,+ / �� /���������� 1����91 / § #Q�#%�&D �#<r).#,-C�/#,!$<(�\X��~D$�tL1��5/-/�12S7$!.V}062R)$#,!$3�#R-�0=V�<�067.5/-/�B36#%L6��! �P> �(� + / �� /���������� 1���� 1 /�� 0 X

Å

Page 10: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

�~D$��5/�Z�15/��!.0²-C7$+�+`�1!.)$-{01V4<�0[)$#,+���!.-/#,01!¸��Q�0.xW�$7.��/D$��5C�U�15/�u��Q�0 -C7$+�+`�1!.)$-�01V<�0p)$#R+ ��!$-/#R06!w�/D$5/��� ���� # 9}Q�D$#R<AD�<\�1!�0[<�<�7$5�V}065J·�� �O@��=!$) §�� 9hQ�D$#,<AD�<��1!�0p<�<�7$5JV}065·��;�s0p).)®@(X�����5/-&�=2�7.!.V}062,).#,!$36-r�15/��36#%L6��!y�P>

���§ � � � 4 # � 4 �� § 4 � � 4 #4 # � 4 � § � 9 �� 4 ! @4 � 4 # � 4 ! §

��� �1!$)

� § � 4 ! � 4 #4 ! § � 4 �4 # 4 � §

5

� � $�� � �"#¸�����6� #\��\��, ��� �(�'& �¡�� #\�\�$ ��� ����! ! $W��� �¯�!`�/D$#,-�-/��<��/#,06!�xOQ���<�06!.-/#,).��5��&D$�Wv�7.<�2,#R)$�\�=!`365C067$8{� G ¶T9;·�@(X�G���<��12,2"�/D$�W-z�A�1!$)$�15/) #,)$��!p'�/#R�"<��=�&#R06!s01V�¶T9;·�@�Q�#R�&DT�&D.�B-C7$�$365C067$8�01V ! � 9}·� ñ @�<�06!$-/#R-C�/#,!$3�01V�+`���&5/#R<���- � � �

§ ñ� G9 � � �p@iQ�D$��5C� � 2 � 9;·�@u�1!$)�� 2 ´ � X«�~D.� ��#R���12,31���$5/�³��¶T9;·�@i�&D$��!�<�06!$-C#,-z�&-�01V9}· ñ @ � 9;· ñ @t+`���&5/#R<���-�� G � �

§ §�� G 9 � �[@tQ�D$��5/� 2 � � 9;·�@��1!$)�� 2 ´ � X�B01�&�K�/D"�=���/D$#,-�5C��8$5C��-/��!P�A�=�/#,06!U01V���¶T9;·�@t)$0[��-�!$01��-/�=�&#R-CVh>y�&D$�K�/5&�1!$-C8�01-/�sDP>[8�01�/D$��-C#,-�01V7�5/018�06-C#R�/#,06! �.X ñ X�w�Z8.5/0[<�����) �/0:<�06+�8$7.�/�U�/D$�U<�0[)$#,+���!.-/#,01!$-�01V4�&D$�U��2,��+���!P�/-�� 8 2 ��¶s9;·�@nX¨�~D$�

V}062R2,0�Q�#,!.3�8$5/018�06-C#R�/#,06!�2R#,-C�/-�<�06!PL1��!$#R��!P�K!$015/+ �12�V}065C+ -�V}065��/D$��-C�`��2,��+���!P�/-�X GB��<\�12R2�V}5/06+Áp��<��/#,06! �$x$�/D$��)$���"!.#R�&#R06!$-~01V ���� !nx � � § x"�1!$) § % X�YW2R-/0$x$2R���� �JG 9 § ��5 5�5�� § � ñ @ � 2 ´ � X���� ������������������ C�� g1b(a��b(c,b(o`b(�"e�� »B��¶T9}·�@K¼/d1�Zm(b�e;aCd1�.�}»\��ano`b/º kp�Sº[b(a4e��"b�dPº��\��fh�"erd[¼��e;f����M� »~¶T9}·�@4fh�"e�������bs� »�e��"b�»\��chc,����fh�[� ����ano�d1c1»\��ano���� 8rG 9 8�� � 8 @��

8�G �(� +- !.+$/ �� /6��� 7 ! 7 / §&%»\��a4º1f,�(e;fh��¼(e5�$< � § d1�Sºs°$99" ! �� 0"?>A@ ' G ·! �d1�Sº

� 8�G § f »�' G § � � 8rG � � � � � § � f »�' � § 5� �"b�����ano�d1c1»\��ano��Jd1a&b4k[�"f;j�k®b4k �Ze��{��a/º[b(anfh�[�� »�e��"b �$< %�����-, .�06!��C7$36�=�&#R!$3s�P>8$7$5/��5C01�A���&#,01!$-~�1!$)i5/�(�"��<(�&#R06!$-499� � § @ 2 ¶T9;·�@(x[Q��4<\�1!i�15C5&�1!.36��/D"�=� 8 2 � � 9}·�@~#,-�#,!{�/D$�J!.065/+ �12�V}065C+q)$��-C<�5C#,�S��)?#R!uÁ[��<��/#,06!��$X .�06!��C7$36�=�&#R!$3 �P>8$7.5/��/5&�1!$-C2]�=�/#,06!.-s9#" � �p@~Q��T<\�=!U�1-/-C7$+ �K�/D"�=�$� 8"2 ­=��5 8 X4¯�!U8"�15z�&#,<�7$2]�=5�x�#%V ' G § -/0 8 #R-#R!OL1��5z�&#,�.2,�1x6Q���D"�\L6�%� 8rG § X� �#,!$�12,2%>6x�#RV ' � § xOQ���<�06!.-/#,).��5���8$7$5/�B5/0=�A�=�/#,06!i9 � � § @�Q�D$��5/�� #,-��&D$�B#,).��!P�&#%��>T06!��/D$�B5&�1!$31�B0=V 8 X�Áp7$<AD{��5/01�&�=�&#R06!T8$5/��-/��5CL6��- 8 x[�1!.)`5/��-C�/5/#,<(�&-��&0J�1!�15C�$#R�/5&�15z>{5/0=�A�=�/#,06!06!y­1��5 8 X <t��!$<��=x�Q���<��1!?5C01�A�=�/�$� 8 06!P�&0 �/D$���"!"�12�<�0[065C)$#,!"���&�4���p#,-�XYt2,-/0.x.Q���<��1!y5C���"��<��&� 8 #%V�!$��<���-/-&�=5C>-/0T�&D$�=� � � § X

ñ�§

Page 11: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

���� ������������������ � � k����"����bte��.d1e � 8�G 9 8 � � 8 @ 2 ��¶T9}·�@�d1�Sºsc,b(e � ����� ��� 9 8 @�º[b(����e�bWe��"b¼Ab(�"e;aCd1clf��b(a�� » 8 fh�� � 9}·�@ % � �"b(� ���G 9 � �� @ 2 �K9 � 8 @�f »Jd1�Sº���"c ��f »

�32 � ����� ��� 9 8 @ d1�Sº 8�~G � � 8 5 Z��a&bA��g1b(a "�f » � 8 f,�4fh�u����ano�d1c1»\��ano½d���fh����a&� �"���(fhe;f�������%���"�e��"b(� 8�~G � � 8~G § %�����-, �~D$�K�"5C-C��-C�&�=�&��+ ��!P��01V��&D$�s8.5/068S06-/#%�&#R06!?#R-���)$#,5C��<(��<\�12R<�7$2,�=�&#R06!�X4Áp7.8$8�01-/�K�&D$�=�� 8 #R-s#,!:!$065C+`�12�V}065/+iX��~D$��!�x�#R!²8$�15C�/#,<�7.2]�15�x � 8�2 ­=��5 8 X��~D.�y<�06!$)$#%�&#,01!_�&D"�=� � 2� ����� ��� 9 8 @�367$�15&�1!P�/����-��/D"�=� � 8$5/��-/��5zL6��-K­1��5 8 X <t��!$<��=x � � 8-2 ­=��5 8 X�Yr���/D$�T-&�1+���/#,+��1x � � 8rG 8�52 5&�=!$36� 8 X�Á[#,!$<�� 8 #,-~-/­=��Qr'*-C>[+ +����/5/#R<1x"Q���D"�\L1� � � 8rG § X¯�!s�&D$�~!.�(�[��5/��-C7$2R��x1Q��B8.5/0[<�����)T)$#,5C��<��/2R>4�&0��&D.�~<�06+�8$7.�&�=�&#R06!K01VS<�0[)$#R+�� � 8 X��w�r)$�(�"!$�

��Q�0�!$065/+ �12[V}065/+�- � 8 �1!$) ��� 8 �/0������$7$!.)$2,�~��N[7.#RL=�12,��!P��#RV 8 �1!$) �� 8 �15C�~��NO7$#%L1�=2,��!P���=-�#,!Áp��<��/#,06! � 9;-/0��&D.�BL=�12R7$��-�01V �$<r+`�\>�L=�15z>T�$7.��" ! ��5�5 5+� "?>��15/�~�.�p��)"@��1!.) #R!`�1).)$#R�/#,06! � 8�� ��� 8��#R�&D.��5��S01�&DuL=�1!.#,-/D?065��15C�K��0=�&D�!$06!.¹���5C0$X`9;�~DO7$-�Q��T�12,2R0±Q�-C<\�12R#,!$31-W01V � 8 �O>u�`8S06-/#%�&#RL1�-C<\�12,�15�X @

� �-�� <D<�= � �+� � � k ���"����b4e��.d1e � 8BG 9� 8 � � 8 @Jf,�Kfh�U����ano�d1c6»\��anoId���fh����a&� �"���(fhe�f�������%���%� �"b(�

<�0p)$#R+ � � 8�G 94" # ! � ñ @ �� 99" #> � ñ @ 'Z9 ' ñ @ K6° f » � 8rG § �d1�Sº

<�0p).#,+ � � 8�G 99" # ! � ñ @ �� ¿94" #> � ñ @ 'Z9 ' � ñ @ K6° f » � 8��G § 5�����-, �M��<�06+�8$7.�&��).#,+ �K9 � 8 @�7$-/#R!$3L7�5/068S06-/#%�&#R06!�£pX °pX��~D$��<�06!.)$#R�/#,06!$- �32 � ����� ��� 9� 8 @�1!.) 8��G § >[#,��2R)��&D$�s)$#R+ ��!$-/#R06!²94" # ! �� 0" #> 'Z9 ' � ñ @ K1°6@ 6'�XK�¬D$��! � 84G § x�/D$��5C�r�15C��!$0�V}7$5z�&D$��5�<�01!$-C�/5&�1#R!O�/-��=!$)JQ���06�p�A�1#R!4�/D$��)$#R+ ��!$-/#R06!*" # ! �� " #> �'Z9 ' ñ @ K6°pX�~D$�KV}015/+K7$2,� V}065W�/D$�s�$7$!.)$2,�s<�0p)$#R+ ��!$-/#R06!?V}062R2,0�Q�-�X��¬D$��! � 8��G § x��/D$�T�1)$).#R�&#R06!"�12�<�01!p'-z�&5&�=#,!P� � � 8rG § V}065C<���-�' � ñ #,!.)$��8S��!$).��!P��<�0p����<�#,��!P�&-�#,! � �/0BL=�1!$#R-/D4D$��!.<���5/��).7$<�#R!$3B�/D$�)$#R+ ��!$-/#R06!��P>�' � ñ X��~D$�~�.7$!$)$2R�r<�0[)$#,+���!.-/#,01!�#,-�5/��)$7$<���)�V}7.5C�&D.��5��P>K01!$�r<�015/5/��-/8S06!$)$#R!$3�/0T�/D$��-/<��12,#R!$3s01V � 8 X���� �������������������� � k����"����b�e��.d1e&� 8�G 9 8 � � 8 @�f,�rfh�T����ano�d1c&»\��ano d���fh����a&� �"���(fhe�f���� ��%���%! �"b(� � 8ZG § "T��b �.d1g1bye��.d1e �� G 9 � �� @ 2 .�9 � 8 @?f »?d1�Sº¸���"c �Mf » � 2 � ����� ��� 9� 8 @d1�Sº 2 ­=��5 8 %"! �"b(� � 8#�G § "T��b �.d1g1bie��.d1e��� G 9 � �� @ 2 .�9 � 8 @if »?d1�Sº²���"c �Mf »�32 � ����� ��� 9 8 @Jd1�Sº 52 ´ � � � %

ñ�ñ

Page 12: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

�����-,��~D$��<\�1-C� � 8~G § #,-�-C�/5&�1#R36DP�/V}065zQr�15C) � � 8 2 ��¶T9;·�@��1!.)KD$��!.<��r�P> 7�5C068S06-/#%�&#,01!"�.X ñQ���D"�\L6� .�9 � 8 @ G �K9 � � 8 @r2,���1)$#,!.3K�&0s�&D$��5C��NO7$#,5C��)i<AD"�15/�1<��/��5/#R¹\�=�/#,06!01V1.�9 � 8 @nX�~D$�K<��1-/� � 8 �G § #,-t+ 065C�J).# ��<�7$2%��-C#,!$<�� 7�5/068S06-C#R�&#R06!��pX ñ )$0p��-�!$01���18$8$2%>6X <t0�Q���L6��5�x

�T<\�12R<�7$2,�=�&#R06!{-C�&�15C�/#,!$3TV}5/01+��&D$�4)$���$!$#R�/#,06!01V .�9 � 8 @�-CD$0�Q�-t�/D"�=�����G 9 � � @ 2 .�9 � 8 @~#RV�1!.)i01!$2R>{#%V

�&5�9 8�� � � 8 @ � ¿9� 8�� � � � 8 @ ��G § �V}065��12R2 �� G 9 � ��� @ 2 ��¶T9}·�@nX ¯*� #,-T<�2R�\�15s�/D"�=�T�&D$#R-T<�06!$).#R�&#R06!:#,-T-&���&#,-z�"��)²Q�D$��! � 2� ����� ��� 9 8 @��1!.) 2 ´ � � �OX{Ãy065C��0�L6��5�x��y)$#R+ ��!$-/#R06!U<�067$!P�J7$-/#R!$3�&D$��8$5/0[01V�01V .�015/062 '2,�15C>{£pX �s-CD$0�Q�-B�/D"�=�~Q��JD"�\L1���1<�<�067.!O�/��)iV}065r�&D$��Q�D$012,��01V1.�9 � 8 @(X� �-�� <D<�= � �+� � � �"bK¼(c%d��A�(f �r¼/d1e;f����Z� »�c,��� ¼A��º1fho`b(�.�(f����?����ano�d1c1»\��ano���f,��d���»\��chc,����� %� d�������a�b/d[¼ �T· e��"b(a&b4f,�Jd`k[�"f;j�k®b4����ano�d1c1»\��anoI� »K¼A��º1fho`b(�.�(f���� ��b(a&���

8~G ��� +#/ �� /6�(� � � 1 � � 8rG § � � · b(g1b(���

8�G ��� +#/ �� /6�(������� + ��� 1 / § ! � � 8~G � � � � � § � � · ��ºPº��

� m������a b/d[¼ ��· e��"b(aAbsf,� dyk[�"f;j�k®bT����ano�d1c[»\��a(o � »`¼A��º1fho`b(�.�(f����:����bK��fhe���g1b(aA��d1c�kp� �»\��c%º1fh�[� �

8rG �(� +#/ �� /6��������� 1����91 /6� 0�� � 8�G � �*� � � § � � · b(g1b(���

8�G ��� +#/ �� /6��������� + ��� 1 / § ! � � 8�G 4 � � � ·¬��ºPº��

� ¼� � �"b(a&bJd1a&b���������ano�d1c1»\��ano��K� »K¼A��º1fho`b(�.�(f����ye����2%�����-, GB��-C�/5/#,<(�&#R!$3r�&0~<�0p)$#R+ ��!$-/#R06!�2,��-/-��/D"�1!��&D$5C���=x�Q���-/����#R+ +���)$#,�=�&��2R>r�/D"�=��" !�G 5�5�5OG"?> G ñ X�Áp7$8$8S06-/���/D"�=� � 8�G § -C0K�&D"���r<�0[)$#R+�� � 8�G 'Z9 ' ñ @ K6°pX��~D$��L=�12R7$��- ' G § �1!$)' G ñ 36#RL1�J2R0±Q <�0[)$#,+���!.-/#,01!i!.065/+ �12�V}065C+ -~V}065�·Z��L6��!��1!$)y·w0[)$)y5/��-C8���<��/#RL6��2R>1Xr�¬D$��!� 8��G § x�Q��{D"�\L6�<�0p)$#R+�� � 8`G 'Z9 ' � ñ @ K6°iQ�D$��5/� ' � ñ 9;-/#R!$<��`­1��5 8�� � 8 @(XU�~D$�L=�12R7$��- ' G ñ �1!$)�' G °`36#RL1�s2,0�Q�<�0[)$#,+���!$-C#,06!?!$065/+ �12�V}065/+�-WV}065�·�0[)$)Z�1!$)U·��(L6��!5C��-/8S��<(�&#%L6��2%>6X��~D$��L6��5/-&�=2�7.!.V}062,).#,!$36-r�15/���\�=-/#,2%>`<�06+�8$7.�&��)y�P> 7�5/018�06-C#R�/#,06!i£pX��$X�~D$��!$065C+`�=2�V}065C+ -~�=!$){L6��5C-&�12�7.!.V}062,).#,!$36-�V}065r¶T9�°6@��1!$)¶T9 �P@��15C��-/D$0�Q�!i#,!{���1�$2R��- ñ

�1!.)³°U5/��-C8���<��/#RL6��2R>1X �t01�/�i�/D"�=�T�&D.�y2R0±Q�<�0[)$#,+���!$-C#,06!:!$015/+ �12�V}065C+ -T01VJ.�065/062R2]�15z>:£pX £0[<�<�7$5W�=-BQ���2R2��=-t��Q�0`!$065C+`�=2�V}065/+�-t0=V�<�0[)$#R+ ��!$-/#R06!i�/D$5/�����=!$)?06!.��01V�<�0[)$#,+���!$-C#,06!i-/# ��X "7$5z�&D$��5J!$015/+ �12�V}065/+�-�01V~<�0[)$#R+ ��!$-/#R06!Z�/D$5/���`0[<�<�7$5JV}065�·�� �iQ�#R�&Dw8$7$5C��2R>U#R+`�=36#,!"�=5C>��#,36��!OL=�12R7$��-~0=V�+K7.2R�&#R8$2,#R<�#%��>s��Q�0$X

ñ °

Page 13: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

� 8rG 9� 8 � � 8 @ <�0[)$#,+�� � 8 L1��5C-&�12�7$!.V}012,)$#R!$3

� § � �� § � � � §§�� § � § � �� § � � � §§��� § §§ §�� � � §

� � ñ � § � 44 § � � � §� �

� § §§ §�� � � §§�� � � § � 4 !4 ! § � � � 4 #

4 � ����1�.2,� ñ �����5C-&�12�7.!.V}062,).#,!$36-�#,!i��¶T9�°6@

� 8�G 9� 8�� � 8 @ <�0[)$#R+ � � 8 L1��5C-&�12�7$!.V}012,)$#R!$3� § � � §� § §§ § §

�� §§�

§� § � � §� § §§ § §

�� §§�

� § � � §� § §§ § §

�� §§§

ñ� § � � §� § §§ § §

�� §§4

� § § §§ § §§ § §

�� §§�

�� § � 4 ! � 4 #4 ! § � 4 �4 # 4 � §

�� §§�

� § § §§ § §§ § §

�� §§§

Â� § � 4 ! � 4 #4 ! § � 4 �4 # 4 � §

�� 4��

4��4��

���1�.2,�J°E �����5C-&�12�7.!.V}062,).#,!$36-�#,!i��¶T9��P@

ñ �

Page 14: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

� �«�����1�)�����P���� ��J����� ���I�\� ��#������K� $���� #\�?����� � $��{���J���������

�w��!$0�Q:#R!OL1��-z�&#,36�=�&���&D$���18$8S�\�15/�1!$<���01V.)$5/#%Vh���$#%V}7$5/<��=�&#R06!$-�V}065�v�7$<�2R#,)$���1!p'���NO7$#RL=�15C#]�1!P����L10='2R7.�&#R06!���NO7"�=�/#,06!.-�06!Z�/D$�T8$2]�=!$�T�1!$)��&D.��#,5�<�06!$!$��<��/#,06!$-�Q�#R�/DU8$2]�1!$�15�8"�=�C�&��5/!UV}065/+ �=�&#R06!�X�~D$�4�$#%V}7$5/<��=�&#R06!{#R�/-/��2%V�#R-~)$��-C<�5C#,�S��)?#R!yÁp7$�$-C��<��/#,06!_9��P@nX�¯�!?Áp7$�.-/��<(�&#R06!�9}�®@(x$Q��J+ �1­=���/D$�<�06!$!$��<��&#R06!�Q�#R�/D_�&D$�{-C8$#,5/�12�Q���L1�('*5/���/5&�1<(�&#R!$3�Qr�\L6��&5/�1!$-C#R�&#R06!_+���!P�&#R06!$��)²#R!_�&D$�{#R!P�&5/0�')$7.<��&#R06!�Xw¯*�s�&7$5C!$-s067.�s�/D"�=�T+ �1!P>6x��&D$017$36D:!$01���12R2�x�0=VB�/D$�{V}�\�=�/7$5/��-s01VB�&D$#R-��&5/�1!$-/#%�&#R06!<��1!?�S�J�n�p8$2]�1#R!$��)i�P>�&D$�4)$5/#%Vh�B�$#RV}7$5C<\�=�/#,06!01V�Áp7$�$-C��<(�&#,01!�9��6@(X <B0±Q���L1��5�x��&D$�4)$#R-/<�5C��8"�=!p'<�#,��-��S����Q�����!w017$5��&D$��065C>u�1!$)�!O7$+���5C#,<\�=2�-/#R+K7$2]���&#,01!$-t-C7$3636��-C���/D"�=� <B>[8S01�&D.��-/#R-�9�< �P@t01VÁp��<��/#,06!w°��$5/���1­O-�)$0�Q�!�XTYW2R�/��5C!"�=�&#%L6�=x��$7.�45/��2]�=�/��)�x�-C<���!$�15/#R06-4�15/�s)$��-/<�5/#,�S��)Z#,!ZÁ[7$�$-/��<('�/#,06!$- 9}<�@��1!$) 9})®@(X`¯*�K�18.8����15/-��&D"���\x��&D$067.36DM01V�#,!P�&��5/��-C�J#,!U�&D$��#,540±Q�!w5/#R36DP�\x��&D$��2]�=�C�&��5-C<���!$�15/#R06-�)$0T!$01�B�(�p8$2,�1#,!��/D$��-/8$#R5&�12�Q��\L6�n'�5/�(�&5/�1<��/#,!$3�Qr�\L6���&5/�1!$-C#R�&#R06!�X����� �� ���������������������������������� �!#"�$��%��!¯�! Áp��<��&#R06!¸£px�Q��i-/D$0�Q���)²�&D"�=�s�/D$��5C�{Qr�1-���-/#R!$362R�{<�0[)$#,+���!$-C#,06!�01!$�{)$5/#%Vh�s�$#%V}7$5/<��=�&#R06!01V�5C��2,�=�&#%L6����N[7.#,2,#R�$5/#,�i#R!_-C>[-z�&��+�-sQ�#R�/D_¶T9�°1@J-C>[+�+ �(�&5C>1X �t-/#R!$3u<�06+ 8.2,�(�M!$01�&�=�&#R06!�x�Q��#R)$��!P�&#%Vh> :-2 � ¶T9�°1@�Q�#R�&D{�/D$��+`�=�/5/# �

:JG � � § § � �

Q�D$��5/� � 2 ´ �1!$) 2'& X| "065��&D$�?<�0[)$#,+���!$-C#,06! 06!$�u�.#RV}7$5C<\�=�/#,06!�x�Q���5C��NO7$#,5C�?�&D$�=��W9 § @ G § x � �}9 § @ �G § x 9 § @ �G § X�Y¾L6��5/-&�=2�7$!.V}062R)$#,!$3s#R-~36#RL1��!i#,!���1�$2,� ñ : 9 4S@ G � 4 �§ § � �

V}065~-C06+����.�p��) � 2 ´�x � �G § X�v��p8S06!$��!O�/#]�=�/#,!$3.x.Q��406�.�&�1#,!

�n�.8 � : 9�4�@ G)( +* 0AF � 4 9 * 0AF � ñ @§ ñ , 5

�w��)$��)$7$<��J�&D"�=�t�&D$#R-t�.#RV}7$5C<\�=�/#,06!i0p<�<�7$5C-tV}065B5/0=�A�=�/#,!$3TQr�\L1��-�Q�#R�/D?-C2,0�Q�-/8S����)u01V�5/0�'�&�=�&#R06! 4�X ¯�! �&D.�y2R#,+�#R�K0=V�¹���5/0Z5/01�&�=�&#R06! 4 G § x��&D.�y5C01�A�=�/#,!$3�Q��\L6�u#R-�5C��8$2,�1<���)¸�P>²��/5&�1!$-C2]�=�/#,!$3JQr�\L6�4�&5/�1!$-/2,�=�&#R!$3�Q�#%�&Di!$06!$¹���5/0�-/8S����) � X���!i�/D$��01�&D$��5~-/#R)$��01V��/D$���$#RV}7.5/<\�±'�/#,06!{8S06#,!P��x.Q��4D"�\L6�J�KQr�\L1�J5C01�A�=�/#,!$3s-C2,0�Q�2R>�#,!��&D.�4018$8�01-/#R�/��)$#,5C��<(�&#,01!�XYr���"5/-z��-C#,36DP��x[#%��#,-�!$01��<�2,�\�=5�D$0�Q -/7$<AD`���/5&�1!.-/#R�/#,06!T<�067$2,)T�S�t<�06!P�&#R![7.067$-�#,!��4-z>[-C�&��+

01V&7 ��v�-�X4�M�s!$0�Q�-/D$0�Q��&D"�=���=��2,���1-C��#R!u8$5C#,!$<�#,8$2R�1x��/D$��5C�s#,-�!$0{01�$-C�/5/7$<(�&#,01!U�/0{-/7$<ADw��/5&�1!$-C#R�/#,06!{#R!i8.2]�1!"�=5(7 ��v�-�X�w��<�01!$-/#R)$��5t5/��2,�=�&#%L6����NO7$#R2,#R�$5/#,�sV}015t-z>p-z�&��+ -�0=V�v�7$<�2R#,)$���1!?��N[7.#RL=�15/#,�1!P� 7 ��v�-W#R!i�/D$�

8$2,�1!$�=x�V}065T#R!$-C�&�1!$<��i5/���1<��/#,06!²)$#%��7$-C#,06!:��N[7$�=�&#R06!$-�X³Áp7$8$8S06-C�i�/D"�=�T^ G ¶s9�°6@ pE98 #,-��

ñ �

Page 15: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

5C��2]���&#RL1�K��NO7$#R2,#R�$5/#R7$+ -&�=�/#,-CVh>[#R!$3{DP>p8S01�/D$��-C��-{9 < ñ @���9�< �P@BV}5C06+ Áp��<��/#,06!Z°pXKÀ�>:¢¤°�¥�Q��T<\�1!-/��>{�/D"�=�B�&D$��-z�A�=�/� E98 31��!$��5/#,<��12,2%>�5C01�A�=�/��-�5/#R36#,).2R>`�1!$)?�n�p<���8p�&#,01!"�12,2%>Z9;<�0p).#,+���!$-C#,06!06!$�\@�/5&�1!$-C2]�=�/��-~#R!i-C06+����.�p��)?).#,5/��<��/#,06!�X�t0�Q¨-C7$8$8S06-/�T�&D$�=� E�8JG�E�8 9 4S@�).��8S��!$)$-406!w�i8$�15&�1+����/��5 4 2 ´�X�YW- 4wL=�15/#R��-�x��/D$�

)$5C#RVh�~01!i�/D$��5/��2,�=�&#%L6����N[7.#,2,#R�$5/#R7$+¨L=�15/#R��-�X��~D.�4�/#,+�����L1062,7.�/#,06!#R-~36#RL1��!i�O>

E 9�4 � � @ G �(�p8�9 � : 9 4S@/@ E98 9 4S@ 5Q�D$��5/� : 9�4�@�#R-��1-�36#RL1��!J�1�S0±L1�1X�À�>�!$065C+`�=21DP>[8���5/�S062,#R<�#R��>s9�< �P@�01V[�&D$��5/��2]�=�/#RL1����NO7$#,2R#,�$5C#,7$+ix�S01�&D : �1!.)i�/D$��-/D"�18S� E98 ).��8S��!$)y-/+�0p01�/D$2R> 06!/4�XYr���&D$#R-~8�01#,!P�\x[Q���#,!P�/5/0[)$7$<����/D$��-/8"���&#]�=2�)$��8S��!.)$��!$<�� E98�G¿E98 9 � � 4�@�Q�D$��5/� ��2 ´

# µ G& X`�¬D$��! 4 �G § x��/D$�s-/062R7.�&#R06!u#R-�5/01�&�=�&#R!$3`Q�#R�/D�-/2R0±Q�-/8S����) 4�X��~D.��<���!P�&��5�01V�5/01�&�=�&#R06!� 9 4S@ 2 & #,-~31#RL6��!y�P>��/D$��-/062R7.�&#R06!��&0s�/D$����NO7"�=�/#,06!

�n�.8�9 � : @ ��G ����/D"�=��#,-�x

* 0nF � � 4 9 * 0AF � ñ @ G ��5Áp012RL[#,!$3K�/D$#,-~��NO7"�=�&#R06!�x$Q���06�.�A�=#,!

� 9�4�@ G � � 4 5�w��<�06!$<�2R7$)$���&D"�����=-��/D$��-C8�����)K0=V$5/0=�A�=�/#,06!4�18$8.5/0P�1<AD.��-�¹���5C0$x��/D$��<���!P�/��5�0=V$5/0=�A�=�/#,06!�01V

�/D$��5/#,31#,)$2%>�5C01�A�=�/#,!$3�-C062,7p�&#,01!s)$#RL1��5/31��-��&0�#,!.�$!$#R��>1X�¯�! �/D$��2,#R+ #%�\x±�&D$��5/�B#,-�8$7$5C�B�/5&�1!.-/2]���&#,01!Q�#%�&Dy�$!$#R�/�J-C8�����)u01V�8$5/068$�13P�=�/#,06!y�1!$)i�&D$�J<���!P�/��5�01V�5/01�&�=�&#R06!{�&D$��!u<�06+���-t�"�1<A­#,!iV}5/06+#R!.�"!$#%��>`V}5/01+|�&D.�4018$8�01-/#R�/��)$#,5C��<(�&#,01!�X

�+� � � ���%����� ����� � � ����� ��"������%$� �� !�� ��� ��! ����� � ��� �� �� �� !��¯�!u!O7$+���5C#,<��12�-/#,+�7$2]�=�/#,06!.-�¢ Å�¥�x��T�&5/�1!$-/#%�&#R06!yV}5C06+ �`-/2R0�Q�2R>5/0=�A�=�/#,!$3�-/8$#R5&�12�Q��\L6�K�&0`�`5/�n'�/5&�1<(�&#,!.3tQ���L1�rD"�1-�������!s06�.-/��5zL6��)�01!�5/��)$7$<�#,!$3��n�p<�#R�&�1�$#R2,#R��>1X��~D$#,-��&5&�=!$-/#%�&#,01!J#R-�#,2R2,7$-z�&5/�=�&��)#R!{Ãy#R­[D$�1#,2R0±Ls�1!$) ��>[­=0±Lu¢ ñ °pxp �#,367.5/�tÂ=¥��1!$)�#R-�5C��8$5C0p)$7.<���)`#,!� �#,367$5C� ñ X�YW-��J8"�15/�1+����&��5#R-�L=�15C#,��)�x��&D$��-/8$#R5&�12�-C2,0�Q�-�)$0�Q�!�x��/D$��<�7$5zL1���&7$5C� 01V��&D$�TQ���L1� V}5C06!P�&-4����<�06+���-�-/+ �12R2��1-�/D$��-/8$#R5&�12�7$!PQ�#,!$).-�x.�/D$��<�065C��01V��&D$��-C8$#,5/�12��S��<�06+���-~7$!O�S067$!$)$��)$2R>`2]�15C36�1x.�1!$)��/D$��<���!O�/��501V�5/01�&�=�&#R06!U360[��-��&0i#,!.�"!.#R��>6X ¯�!w�/D$�`2R#,+�#R�\xS�&D$��5/� #,-4��/5&�\L6��2,#R!$3y8.7$2,-C���/5&�1!$-C2]�=�/#,!$3{Q�#%�&D�"!.#R�&�`!$06!$¹���5/0Z-/8S����)�X�YW-K�/D$��$#RV}7.5/<\���&#,01!_8"�15/�1+ �(�&��5s#,-�L=�15C#,��)_V}7.5C�&D.��5�x��&D.��/5&�\L6��2,#R!$38$7.2,-/���18$8S�\�15C-t�/0`<�01!O�/#,!O7$�4�&0 �/5&�1!.-/2]���&�42,#,!.�\�15C2R>�Q�#%�&D?!.06!$¹���5/0�-C8�����)�Xt�~D$�K-C��NO7$��!.<��s01V�18.8"�15/��!P�&2R>w-C�&�1�$2R�{�1-C>[+�8.�&0=�&#,<`-C�A���&��-s#R-K-/D.0±Q�!²#,!: �#,367$5C� ñ XU¯*�T#R-K<�06!PL1��!$#R��!P�T�&0�<�01!p'-C#,)$��5B�/D$� -/8$#R5&�12��/#,8 �S�1-t��V}���=�&7.5/�401V��&D.��8"�=�C�&��5/!y�/D"�=�t-C�&��>[-W�18$8$5C0��p#R+`�=�/��2%>{7$!$<AD"�=!$36��)

ñ £

Page 16: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

 �#R367$5C� ñ ����$-/��5CL1��)u�$#%V}7$5/<��=�&#R06!�01V��s-/8$#R5&�12�Qr�\L6���&0��s5/�(�&5/�1<��/#,!$3sQ���L1�J01!i5C��)$7.<�#,!.3T�/D$��n�.<�#R�&�1�$#,2R#R��>?01Vr�&D.� +���)$#R7$+iX`�~D$��V}067$54)$#]�1315&�1+�-�)$��8.#,<��J-/�(L6��5&�12�-/!"�18.-/D$01�/-�01V~�y-/#R!$362R�-C8$#,5/�12�Q��\L6�y�=�s)$#%����5/��!P�T#R!$-C�&�1!P�&-s#,!_�/#,+�� V}065JV}067$5s)$#%����5/��!P�KL=�12R7$��-s0=VB�/D$�{�$#%V}7$5/<��=�&#R06!8"�=5&�1+����/��5�X��~D$��-C8$#,5/�12�Qr�\L1��#,!w9;�P@�D"�1-B�T<�065C�4-C#,¹����/D"�=�B365C0±Q�-J9}�®@r06!?�=8$8$5/06�1<AD$#,!.3T�/D$��$#%V}7$5/<��=�&#R06!�8�01#,!P�\X�¯�!J�/D$��V;�15��"��2,)J#R��#,-��B-C067$5C<��r01V.067.��Q��15/).2R>48$5/018"�13P�=�/#,!$3~Q��\L6��-�X�Yr���/D$��$#%V}7$5/<��=�&#R06!{8S06#,!P�49}<�@(x®�=!$)y�S��>106!$)_9;)®@nx$#R�~�&�1­1��-B�/D$��V}065/+|01V��s-C��+�#%'�#R!.�"!$#%�&�W�/5&�1!.-/2]���&#,!.3Q��\L6�1X�YW)$�18.�&��)iQ�#%�&Di8���5/+�#,-C-/#,01!�V}5/06+ ¢ ñ °[x" �#,317$5/��Â=¥�X

ñ Â

Page 17: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

�/D$5/067.36D$067.���&D$���.#RV}7$5C<\�=�/#,06!`�1!$)��&0�#,!P�&��5/8$5C���r�/D$���$#%V}7$5/<��=�&#R06!`#R!`�&��5/+�-r01V��&D.��+ 0=�&#,01!`01V�/D$#,-r�/#,8�X

.���5z�A�1#R!uV}�\�=�/7$5/��-�01V��&D$#R-W�&5/�1!$-/#%�&#R06!��15C�K<\�18p�&7$5C��)U�P>�067$5�5C��-C7$2R�/-�#,!ZÁp7$�.-/��<(�&#R06! 9��P@nX¯�!T8"�15z�&#R<�7$2,�15�x�Q���06�.�&�1#,!T�=-���<�0p).#,+���!$-C#,06!K01!$�~8$D$��!$06+���!$06!T�&D$�=���&D.�B<���!P�&��5�01VS5/01�&�=�&#R06!360[��-��&0K#R!.�"!$#%��>`�=!$)��&D"���r�&D$�W2,#,+�#R�/#,!$3�+�01�&#R06!`#R-��/5&�1!$-C2]�=�/#,06!�Q�#R�/D`�"!$#%�&��!$01!$¹���5/0s-/8S����)�X�~D$�{L=�1!$#R-/D$#R!$3�<�7$5zL=�=�&7$5C��1!$)��&D.�{#,!.�"!.#R�&�`<�065C�y�=5/�����1-/#R2R>��=<�<�017$!P�&��):V}065K�P>�<�06+s'

�$#R!$#,!.3�017$5t5C��-C7$2R�/-BQ�#%�&D�&D$�4­O#,!$��+`�=�/#,<��&D.��065z>01V��n�.<�#R�&�1�$2,�4+���)$#,�.X�¯�!y�(�p<�#%�A�1�$2R��+ ��)$#]�.x#%�J#R-��=-/-/7.+ ��)M�&D"����Q���L1�`V}5/01!O�/-�8$5C068"�136�=�&��#,!Z�&D$� !$065/+ �12�)$#R5/��<��&#R06!w�/0y�/D$� V}5C06!P�JQ�#%�&D+ �136!$#%�&7$).��)$�(�&��5C+ #R!$��)��P>y�&D$�s<�7$5CL=�=�/7$5/�s01V��/D$�KV}5/06!P��X"�WVh�/��!��&D$��­[#R!$��+ �=�/#,<J�/D$��015C>u#R-7$-C��){�&0s).���&��5/+�#,!$�t�&D$��+�01�&#R06!�01V�Q��\L6��V}5/06!P�/-~36#RL1��!��&D.��#,5�<�7$5zL1���&7$5C�1X� "065�5C��2]���&#RL1����NO7$# '2R#,�$5C#]�.x"�&D.�K+ 0=�&#,01!?#,-t)$���/��5C+ #R!$��)��P>?�1!���2R��+���!P��#,!y�&D$���/D$5/���('*)$#,+���!$-C#,06!$�12���#R�K�12R36���$5/�� ¶T9�°6@��=!$)w#%��-/����+�-4V}5C7$#R�CV}7$2��&0y�18$8.2R>u�/D$�T­[#R!$��+ �=�/#,<K�&D.��065z>U#,!U5/�(L6��5C-/��� 5C��3P�=5/)$#R!$3�/D$�<�7$5zL1���&7$5C�i0=VW�&D.�Q��\L6�V}5/06!P�/-`�1-s).���&��5/+�#,!$��) �P>��/D$�+ 01�/#,06!�0=Vt�/D$�{V}5/06!P�&-�X:¯*� #R-!$0�Q �1!{�\�=-C>�­O#R!$��+ �=�&#R<('*-C��>[2,�W�15/367.+ ��!O���&0s-/�����&D"�=���&D$��)$5C#RVh���$#RV}7$5C<\�=�/#,06! #,!��/D$��+ 0=�&#,01!)$5C#RL1��-~�&D$��L=�1!$#R-/D$#R!$3T<�7$5zL=�=�&7$5C�4�1!$){�&D$��365C0�Q~�&Di01V��/D$��<�065C�1X

�t!pV}065C�/7$!"�=�/��2R>1x.067.5��&D$��065C>`�$5/���1­O-~)$0�Q�!06!��&D$�W01�&D$��5r-/#R)$��01V��/D$���$#%V}7$5/<��=�&#R06!`8S06#,!P��X�B!$)$��5t067$5W�1-/-C7$+ 8p�&#,01!$-�xSQ��K8.5/��).#,<��t�&D"���W�&D.��-/8.#,5&�=2�Q�#R2,2��S��36#R!y�&0`5/01�&�=�&�J-/2,0�Q�2%>#,!y�/D$�068.8�06-C#R�/�y)$#R5/��<��&#R06! �1!$)³D$��!$<��?�O>²�&D.�?­O#,!$��+`���&#,<{�/D$��065z>6xrQ��u06�.�&�1#,!¸�w5C��L6��5/-C�('*Q�067$!.)-C8$#,5/�12�x��=-s-/D$0�Q�!²#,!: �#R367$5/�{°pXM�~D$#R-s)$0[��-s!$01�s�18$8S�\�15K�/0�����Q�D"���T#,-s06�$-C��5zL6��)²#,!_�/D$�!O7$+���5C#,<\�=2�-/#R+K7$2]���&#,01!$-��1!.)w2R�\�1)$-�7.-4�/0i<�06!$<�2,7$)$�s�/D"�=�`9�< �P@W#,-�!$0=�J-/�=�&#R-C�"��)M�����&D$�T�$# 'V}7$5C<\�=�/#,06!�Xw¯�!:01�/D$��5�Q�065C)$-�x���<�06+�8$2,�(�&��).��-/<�5/#R8.�&#R06!�01V��&D$���/5&�1!.-/#R�/#,06!M+K7$-C�s�&�1­1�{#R!P�&0�1<�<�067.!O���/D$��!$06!p'*2,0[<\�12R#,¹���)�!"�=�/7$5/��01V��&D.�4-C8$#,5/�12��1!.)y5C���&5/�1<��/#,!$3sQ��\L6��-�X

� � <������ = ��#:4A � B�D�= <D� .�06!$-/#R)$��5��_+K7$2R�/#%'��15/+���) -/8$#R5&�12�Q�#R�/D����s-C8"�=�/#]�12t-C>[+ +����/5C>1x � °[X'<B>[8S01�&D$��-/#R-�9�< ñ @�#R-�!.0K2,06!.36��5�-&�=�/#,-z�"��){�=!$)�D$��!$<��W�/D$�W�(����<��/#RL6�W-C>[+ +����/5C>�365C067$8#R- !$0=� �/D$�yQ�D$012,�?0=V ¶s9�°6@nX Yt-`�n�.8.2]�1#R!$��)¸�=�`�/D$�?��!$)³01V4Á[��<��/#,06! °px�Q��u5/��8$2]�1<��i�/D$�365C067$8 ¶T9�°1@t�P>��_9����@ K���� µ G 1� 9�°6@(X��~D$�s)$5C#RVh�W�$#RV}7$5C<\�=�/#,06!.-��15C�K�&D$��!Z).���&��5/+�#,!$��)��P>�/D$�{5/��-/7$2%�&-s#,!²Á[��<��/#,06! �$XZ¯�!:8"�15z�&#,<�7$2]�=5�x��1-C-/7$+�#,!$3 <�>[8�01�/D$��-C#,-i9 <5�P@J�/0�����L=�12R#,)�x��/D$�<���!P�&��5�01V�5/01�&�=�&#R06!�#,-��.�p��)_�1!$)U�&D$��2,#R+ #%�&#,!.3`-C�&�=�&��#,-�-z�A�=�/#,06!"�=5C>6X�¯*�4�&D$��!wV}062R2,0�Q�-�V}5/06+�/D$�?5C��L6��5/-C�u­O#,!$��+`�=�/#,<y�15/317$+ ��!P� �/D"�=���&D$�iQr�\L6�yV}5/06!P�&- -C�/5&�1#R36DP�&��!¸067.�\x �C7$-C���1- V}065 �06!.�(' �=5/+���)u-C8$#,5/�12�X5<t0�Q��(L6��5�x�Q��s8.5/��).#,<��W�&D"�=�W#,!?�/D$�K<��1-/�s01V���+�7$2R�/#%' �=5/+���)-/8$#R5&�12�xS�/D$�<�065/�K5C��+ �1#,!.-�01V��"!$#%�&�K-C#,¹��K�1!$)u�&D.�s<���!P�/��5�01V��&D$��<�065C�s5/��+ �1#R!$-W-z�A�=�/#,06!"�=5C>i�&D$5C067$36D$017.��/D$���&5&�=!$-/#%�&#,01!�X�YtVh�/��5r�/D$���&5&�=!$-/#%�&#,01!�xp�/D$��-/8$#R5&�12�5C01�A���&��-�#R!�/D$��068$8S06-/#%�&��)$#R5/��<��&#R06!�XÁp#R!$<��%<�>[8�01�/D$��-C#,-�9 <5�P@�#,-�8.5/06�$2R��+ �=�&#R<1xO#R��#,-�7$!$<�2R�\�15�Q�D"�=�rQ�#R2,2"�&5/�1!$-C8$#,5C��#,!�8.5&�1<(�&#,<��

�=Vh�/��5��&D$� �$#RV}7.5/<\���&#,01!w8S06#,!P��X�<B0�Q��(L6��5�x�-/#,!.<�� �/D$�`<���!P�&��5K01V~5C01�A���&#,01!w#R-4�.�p��)�x��&D.�`<�015/�5C��+ �1#,!$-t�"!$#R�/���1-�2,06!.3y�=-�Q���5/��+`�1#R!�#,!U5/��2]�=�/#RL1�s��NO7$#,2R#,�$5C#,7$+iX�Ãy065/��0�L6��5�x�Q�#%�&DZ���"!$#R�/�<�065/�=xP#R��#R-�)$# ��<�7$2R���&0�-/����D$0�Q �/D$��5C�B<��1!s�S���W�&5&�=!$-/#%�&#,01!��&0�5C���&5/�1<��/#,!$3�Q��\L6��-�X�<t��!$<��=xO�/D$�<��1-/��01V���+�7$2R�/#%' �=5/+���)`-C8$#,5/�12�#R-~N[7.#R�&��)$#%����5/��!O��V}5C06+|�/D$��<\�1-C�J01V��s-/#R!$362,���15/+���)-/8.#,5&�=2�X�w�u!$01�/�y�&D$�=�`�/D$�?­O#,!.��+ �=�&#R<i�/D$��065z>³�=2,06!$�i)$0[��-�!.01��<�2,�\�=5/2R>:).#,-C�/#,!$317$#,-CD¸�S����Q�����!

ñ %

Page 18: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

 �#R367$5C�s°E BY�5/�(L6��5/-/�n'*Q�067$!$)w-/8$#R5&�12�X�¯�!U��)$5C#RVh���.#RV}7$5C<\�=�/#,06!�x®Q��s8$5/��)$#,<(���&D$��-/��NO7$��!$<���01V)$#,�1365/�1+ -�9��P@nx�9;�®@��1!$)M9;<\@�#R!y �#,367$5C� ñ X <B0�Q��(L6��5�x�#R!$-C�/�\�1)i01V�).#]�1365/�1+ 9})®@(x$Q���#R!.V}��5r�/D$��n�.#R-C�/��!$<��J01V��s5/�(L6��5C-/�n'*Q�067$!$)�-C8$#,5/�12�Q���L1���=-B-CD$0�Q�!?D$��5/�=X

+K7.2R�&# ' �15C+ ��):-/8$#R5&�12R-��1!$)¸06!$�('��15/+���)¸-/8$#R5&�12R-�xrQ�D$��5/�\�=-��&D$��-/�u<��1-/��-�15/�u<�2,���15/2%>:)$#,-z�&#,!['367.#,-/D.��)?9;#,!K�/��5C+ -�01VS�&D$��+�0�L6��+���!P��01VS�&D$�~<���!P�&��5�0=V�5C01�A�=�/#,06!"@�06!�365/067.!$)$-�01V�-C>[+ +����/5C>1X�~D$#R-`�=)$)$-�-C�&5C��!$3=�&D �/0w017$5`�=5/367$+���!P�TV}065��18$8.2R>[#,!$3��/D$�y­O#R!$��+ �=�&#R<��&D$��065C>²#R!²5C��L1��5/-C���7$-C#,!$3�-z>p+�+����&5z>K�&048$5C��)$#R<���+�01�&#R06!T�1!$)T�&D$��!`­O#,!.��+ �=�&#R<�-��/0J8$5C��)$#R<���<�7.5CL=�=�&7.5/��01VSV}5/06!P�&-�X

����� ��� � � ! ��������� � � �#����� ����������������� ��� � ��$ ���%��! � ��� �� ��� � ����� ���������������� �%�� � ���%��� ��� � �������%$ ����� ������������� �¯�!?Áp7$�$-C��<(�&#,01!_9}�®@(x.Q��4)$��+�06!$-z�&5&���&��)�&D$�=��+`�=!O>`V}�\�=�/7$5/��-B0=V��/D$��-/8$#R5&�12�Q��\L6�n'�5/�(�&5/�1<��/#,!$3Q��\L6���&5&�=!$-/#%�&#,01!K<�067.2,)T���~�n�p8$2]�1#R!$��)T#R!K�&��5C+ -�0=V���<�0[)$#R+ ��!$-/#R06!K06!$�~).5/#RVh���$#RV}7$5C<\�=�/#,06!�X�¯�!8"�=5C�&#R<�7$2,�15�xP�/D$#,-��(�p8$2,�1!"�=�/#,06!`�1<�<�067$!P�&-rV}065�8"�15z�&-�9��P@nx�9;�"@��1!$)�9;<�@�01V� �#R367$5/� ñ 9}7$8`�&0K�1!$)#R!$<�2R7$)$#,!.3��/D$�B�$#RV}7$5C<\�=�/#,06!T8S06#,!P�A@��.7.��!.01��8"�15C��9;)"@B9;�=Vh�&��5��/D$�B�$#RV}7$5C<\�=�/#,06!T8S06#,!P�A@(X�¯�!��&D$#R--C7$�$-/��<��/#,06!�x$Q��48$5/��-/��!P�W�1!y�12R�/��5/!$�=�&#%L6��-/<���!"�=5/#,0s�/D"�=��<�01+ 8$2R���/��2R>`5/��8$5/0[)$7$<���-t �#,367.5/� ñ X�w7$2R� ¢ ñ Â=¥�#,!P�/5/0[)$7$<���)y�/D$��-C8"�1<�� ������ 01V�7.!$#RV}065C+ 2%>�<�06!P�&#,!O7$017$-BV}7.!$<��/#,06!$-B06!iQ�D$#,<AD

¶T9�°6@~�1<��/-W�=-W��-C�&5C06!$362%>{<�01!O�/#,!O7$067.-W365C067$8�X��w�4-/7$8$8S06-C�J�&D$�=�t�/D$�4-/D"�18S� E98 #,!i�&D$�48$5/�n'L[#,017$-�-C��<(�&#,01!�2,#R��-�#,! ������ V}065��12,2$L=�12R7$��-�01V 4{�1!$)`-/2,0�Q�-�)$0�Q�!{�1-����(V}065/�W�1- 4{�18.8$5/0P�=<AD$��-¹���5/0.X��M�t-/7$8$8S06-C��#,!{�=)$)$#R�/#,06!T�&D$�=���/D$#,-�V;�1+�#,2R>�01V�5/��2]�=�/#RL1�t��N[7.#,2,#R�$5/#R7$+�<�06!$-/#R-C�/-r01V�-C#,!$­O-#R!$-/#R)$�T01V ������ V}015��12R2 4�X <t0�Q���L6��5�x�Q��`-C7$8$8S06-/���&D"�=�J�1-"4_8"�1-C-/��-J�&D$5C067$36DZ¹���5/0$x��&D$��5/�#R-���2,01-/-W0=V�-C�A�=�$#,2R#R��>w9}Q�#%�&D�¹���5/0{��#,36��!PL1�=2,7$�\@B#,!?)$#,5C��<��/#,06!.-W067.�/-/#R)$� ������ X��~DO7$-��&D$��5/�K#R-�y�/5&�1!.-/<�5C#R�/#,<\�=2��$#RV}7$5C<\�=�/#,06!w067.��01V ������ Xy��5&�=!$-/2,�=�&#R06!$-J�1<���<�06!P�&#R!O7$067$-C2R>w06!w�/D$�`Q�D$062R�01V ���� �� � �$7p�s5/01�&�=�&#R06!$-��1<��T<�06!P�&#,!O7$017$-/2%>M06!.2R>w06! �������� X <B��!$<����&D$�{�$#%V}7$5/<��=�&#R!$3u-z�A�=�/��-<��1!$!$01�B5C01�A�=�/�1x$�.7.�B36��!$��5/#R<\�12R2R>��&5&�=!$-/2,�=�&��Q�#%�&D!$06!$¹���5C0 -C8�����)�X�~D$��8$5/��)$#,<(�&#R06!w#R-��&D"�=���/D$��5C�`�15C� 7.!$-C�&�1�$2,�s�/5&�\L6��2,#,!.3y8$7.2,-/��-J�S��V}015/�T�&D$�T�$#%V}7$5/<��=�&#R06!

�1!.)_7$!$-z�A�1�$2R��5/0=�A�=�/#,!$3i-/8$#R5&�12R-K�=Vh�/��54�&D$���.#RV}7$5C<\�=�/#,06!�Xi�~D$��7.!$-C�&�1�$2,� -/8$#R5&�12R-K�15C�`-z�A�1�$2R�

ñ �

Page 19: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

Q�#%�&D$#R! �������� X�t!pV}065C�/7$!"�=�/��2R>1x1�&D.�r�(�p8S��5/#R+ ��!P�A�12p����D"�\Lp#R065��18.8����15/-��/0�����<�0[)$#,+���!$-C#,06!�06!$�1x=Q�D$��5C�\�1-

067.5�-/<���!"�15C#,0{D"�=-�<�0[)$#,+���!.-/#,01!?��Q�0.X4�w�K)$0{!$0=��­O!$0�Q�01V���+���<AD"�=!$#,-C+IQ�D$��5/���P>��.#RV}7$5 '<��=�&#R06!{067.�B01V ������ -CD$067$2R)i0[<�<�7$5�8$5/��<�#R-/��2%>�Q�D$��!y�&D.�4-C8�����)y01V�5C01�A���&#,01!{360p��-r�&0�¹���5/0$X�� � � � ��� �� � ��� ����� ��������������� � ����� � ��!�� ! � ����� � � ��� � � ! ��� ���#"���$ � !�w�U<�06!$-C#,)$��5i�²8S06-/-C#,�$2R��<�0[)$#,+���!.-/#,01! 01!$�U�$#RV}7$5C<\�=�/#,06!³V}5C06+ ��-C>[+�+ �(�&5C#,<U-C�&�=�&���&D$�=�<��17$-/��-��t�$#%V}7$5/<��=�&#R06!J�/0�36��!$��5C#,<�).5/#RVh��01V"�/D$���$#%V}7$5/<��=�&#R!$3W-z>[+ +����/5C>4�$5/01­1��!T-C062,7.�/#,06!.-�X� ®015�/D$#,-�x®Q���<�06!$-C#,)$��5t�(L6062R7.�&#R06!y01!u� -C8"�1<��JQ�D$��5/��5C01�A���&#,01!$-B�1<��t<�06!P�/#,!O7$067$-C2R>1xSV}065��n�$�=+ 8$2R�� # 9}´ # @nx � 8 9}´

# @�065~�&D.�4-C8"�1<�� ������ <�06!.-/#,).��5/��)?#R!�w7$2%�:¢ ñ Â=¥�XÁp7$8.8�06-C���&D"�=��Q���D"�\L6���rV;�1+�#,2R>B01V�9}2,0[<\�12R#,¹���)®@S5C���"��<��/#,06!�-C>[+�+ �(�&5C#,<�5C��2]���&#RL1����NO7$#R2,#R�$5/#,�

E98 9�4�@��&D"���r7$!$).��5/310s�J5C���"��<��&#R06!�-z>p+�+����&5z>��$5/���1­O#,!$3J-C�&���1).>P'�-z�A�=�/���$#%V}7$5/<��=�&#R06!`����4 G § X¯*�KV}062R2,0�Q�-JV}5C06+ ¢ °±¥��&D$�=���/D$�{8$7$2R-/��-�7$!$)$��5/360u�/5&�1!$-C2]�=�/#,06!w)$5/#%Vh�K8"�=5&�12R2,��2��/0u�&D$�{�±�.#R-

01V�5C���"��<��&#R06!�Q�#R�/D�36��!$��5/#R<\�12R2R>y!$06!$¹���5/0-C8�����)�XK¯�!U<�06!P�&5&�=-C�\x��/D$�s�$5&�=!$<AD$#,!.3y�=-C>[+ +����/5/#R<-z�A�=�/��-�36��!.��5/#R<\�12R2R> 5/01�&�=�&��Q�#%�&D!$06!$¹���5C0 -C8�����)�XÃy065C��#,!pV}065/+ �=�&#R06!Z06!_�&D$�`)$5/#%Vh�&#,!.3?01V�8$7.2,-/��-T�1!$)�-C8$#,5/�12,-J!$�\�15J�&D$���.#RV}7$5C<\�=�/#,06!w<\�1!

�S�K06�.�&�1#,!.��)��P>?8S��5zV}065/+�#,!.3���<���!P�&��5��$7.!$)$2,��5/��).7$<��/#,06!²¢ ñ �.x ��¥�XJ���(� � 2 & )$��!.01�&���/D$��/5&�1!$-C2]�=�/#,06!Z-/8S����)�01Vr�/D$�`8$7.2,-/��-s�=�4�&D$� �$#RV}7.5/<\���&#,01!w8S06#,!P��X ����!.��5/#R<\�12R2R>1x � �G § Xy¯*V~Q��<AD$0[06-C�s<�0[065/)$#R!"�=�/��-�x�-/0��/D"�=�W�/D$�s5/�(�"��<(�&#R06!u�.�p#,!$3 �&D$�K8.7$2,-C�s-C�A���&�s�1<(�&-�01! & �1-��� ���x�/D$��! � 2 ´JX���� ��������������� �� C�� �"b(a&b�f,�4d�aAb/º1k"¼(e;f����?e�� d1�`¶T9�°6@��/b/j�k[fhg�d1anf;d1�"e�g1bA¼(e���a$�rb(c%º{���udB»\��kpa �º1fho`b(�.�(f����Sd1c�¼Ab(�"e b(a4m�k[�Sº.c,b�� G�� ! � & �?´�"�� �"b(a&b�e��"b�d[¼(e;f����w� »�¶T9�°1@�f,�t�1fhg1b(��m��

9�� � �p@ 9�� � � � � @ G 9����� � *�� � � � � @ � � 9�� � � � � @ G 9 � � � �� � � � @ �»\��a49�� � �p@ 2 ¶T9�°6@6" ��2��(! "�d1�Sº�9�� � � � � @ 2 � %�����-, Áp#,!.<����&D.��8$7$2,-C��-/062R7.�&#R06! E98 D"�1-~#R-/01�/5/068P> �(! x.�/D$��365/017$8{065/�.#R�~¶T9�°6@ E98 #R-r)$#R����0�'+�065/8.D$#,<��/0y¶s9�°6@ K � ! µ G ¶T9�°6@ µG � ! � & Xi�~D$��!$065/+ �12�L1��<(�&065��"��2R)U#,- �(! '���NO7$#%L=�15/#,�1!P��1!.)wD"�=-��06!$�n'�)$#R+ ��!$-/#R06!"�12�<���!P�/��5�+ �1!$#%V}062,)y´�X`Áp#,!.<��T�&D$�T-C�/�\�1)p>O'*-C�&�=�&� �$#RV}7$5C<\�=�/#,06!�#R-�1-C-/7$+���)�&0T�S��-C>[+ +����/5C>P'��.5/�\�=­[#R!$3$x.�/D$�4�1<��/#,06!01V �(! 06!{´�#R-~36#RL1��!i�O> � � � � X.���!P�/��5��$7$!.)$2,��5/��).7$<��/#,06!s2R�\�1)$-��&0��BV}067$5z'*)$#,+���!.-/#,01!"�12P<���!P�&��5��.7$!$)$2R��Q�#R�/DK�"�1-C�r-/8"�=<��� ! � & �1!.)`�"�S��5�´JX��~D$���1<(�&#R06!`01V �(! 06!`´¿�(�[�/��!$)$-r�/0s�1!{�=<��&#R06!�01V�¶s9�°6@�06!`´¨9}Q�D$��5/�$ �G � V}065 �/2 ¶s9�°6@��1!$) $ �G � � V}065 ��2 ¶T9�°6@ � ¶s9�°6@C@(X'<B��!$<��1x$#%��V}062R2,0�Q�-�V}5C06+I¢���¥�/D"�=�B�&D$�J<���!P�/��5��$7.!$)$2,�4#,-t���/5/#%Lp#,�12��$7$!.)$2,� � ! � & ��´JXtÃy065C��0�L6��5�x��/D$�K�=<��&#R06!?0=V�¶T9�°1@06!{´�#R-��1-�36#RL1��!�X�~D$�4�1<(�&#,01!i0=V ¶T9�°6@�06! � ! � & #,-~36#%L6��!i�P>{315/067$8i+K7$2%�&#R8$2,#R<\�=�/#,06!�X� �#,!"�12R2R>1xp06�.-/��5zL6�

�/D"�=� � 9�� � �S@ G 9 � � ��� �S@ ���G 9 � � � ��S@ �� X <t��!$<�� � 9�� � �S@ E98WG 9 � � � ��®@ E98 X��~D$#,-W36#RL1��-�/D$�4�1<��/#,06!{01V � ! 06! � ! � & Xñ Å

Page 20: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

���� ��������������� �� � � �"bsb/j�k$d1e;f����.�K���ue��"bs¼Ab(�"e�b(a�m�k[�Sº.c,b �.d1g1b�e��"b�»\��ano�� G � � 9 �

# � 4S@�� G *�� ���@! 9 � # � 4�@ ��� # 9 �

# � 4S@ ���G ��� 9 �

# � 4�@� �"b(a&b � ��4! �� # �� 1´ �?´ � ´�d1�Sº �4! 9 § � § @ G � %

�����-, �w5/#R�/�Z�/D$�ML1��<��/065u�"��2,)¡#R!¿�&D.�MV}065/+ 9 H � �AH�� �AH� @nX ¯*�uV}062R2,0�Q�-iV}5C06+ ¶s9�°6@*'��N[7.#RL=�15/#,�1!$<�� �&D$�=� H � GIH �[9 � @nx H�� 9 � @ G +*�� � 9 � @nx H� ?G�� 9 � @�9}�/D$#,-J#,-��/D$��-/�1+ �`<\�12 '<�7$2]�=�/#,06!U�=-4#R! ¢��1¥�015�¢��=¥]@(X� �#R!"�12R2R>6x��&D$���1<(�&#,01!Z0=V �(! V}015/<���- H ���=!$) � �&0i���T0[)$)U#,! � x�1!.)i#R!i�1)$)$#%�&#,01! � 9 � � @ G � 9 � @(X�w�4-C7$8$8S06-/�J�12R-/0K�&D$�=� �0 9 § � § @ � § �1!$) �

1 9 § � § @ � § x$�/DO7$-���!$-C7$5/#R!$3��/D"�=�~�/D$��8$7$2R-/�-z�A�=�/��#,-t�1-z>p+�8.�/01�&#R<\�12R2R>�-z�A�1�.2,�JV}015 4 � § �1!$)y�/D"�=�t�&D$��5/��#R-W� 2,06-C-t01V�-C�A�=�$#,2R#R��>�=� 4 G §5C��-/7.2R�&#R!$3s#,!i�s-/7.8���5/<�5C#R�/#,<\�=2�8$#R�/<AD.V}065C­��$#RV}7.5/<\���&#,01!{01V��=-C>[+ +����/5/#R<�-C�A���&��-�X�~D$�r!.06!P�&5/#%L[#]�12O¹���5/0[��-�0=V"�&D$� �� ��NO7"�=�&#R06!s�15C��36#%L6��!K�P> � 9�4�@ G ����� 4 ���9�4 ��� # @�Q�D$��5/�

� #R-r��8S06-C#R�&#%L6�t<�06!$-z�A�1!P��X�Á[7$�$-C�/#R�/7.�&#R!$3�#R!O�/0��&D.� ��i��N[7$�=�&#R06!�x$�=!$)�#,!P�/��365/�=�&#R!$3$xPQ���01�.�A�1#R!

��9 � @ G ��� � 9 § � § @ � 4 � ���9 4 ��� # @ 5 �#R!"�12R2R>6xOQ��4D$��L1�

�� G��@! 9 § � § @3�� * 6�� � 8 8 � � 0AF ���9�4�@ �-C0��/D"�=�

��9 � @ G ��� !� � 9 § � § @"� 4 �� * 6�� � 8 8 � � 0AF #��9�4�@ 5

¯*�`V}012,2,0�Q�-s�&D$�=�`�/D$�?5C01�A�=�/#,06!:V}5/��NO7$��!$<(>³01VW�&D$�y-/8$#R5&�12�-C�&�=�&�y)$��<�5/���1-/��-��&0 § �=� �/D$��$#%V}7$5/<��=�&#R06!²8�06#R!P���1!.) #,-�01V�065/).��5$� 4�X¿¯�!¬�1)$)$#%�&#R06!�x��/D$�u5/�1)$#,7.-`01V�5C01�A���&#,01!¸360[��-��&0#R!.�"!$#%��>6X�~D$���=!"�12R>[-C#,-��1��0�L1���(�p8$2,�1#,!$-�<\�12R<�7$2,�=�&#R06!$-�01V�Àr�=5/­O2,�(>`�=!$){¦���L[5/��­O#,)$#R-�¢��=¥��.7.�r-C7.����5/-

V}5C06+ �/D$��)$# ��<�7$2R��>1x$#,!{<�06+ +�06!�Q�#%�&DZ¢��=¥�xp�&D"�=�~�/D$��#,!P�/5/0[)$7$<��/#,06!{0=V�5C���"��<��/#,06!i-C>[+�+ �(�&5C>#R-��15z�&#%�"<�#,�12�9;-C#,!$<��t�&D.�W5/�(�&5/�1<��/#,!$34Qr�\L6��-��15/�t�1-z>p+�+����&5C#,<\@(X��w�W!$0=�&�t�/D"�=���&D$�t-/<���!"�15C#,0J#,!�/D$#,-�-C7$�$-C��<��/#,06!T2R�\�1)$-��/0�NO7$#R�/�~)$#R����5C��!P��8$5C��)$#R<��&#R06!$-��/0��&D$�r-C<���!"�15/#R06-�#,!K�/D$�~8$5C��L[#,067.-���Q�0-C7$�$-/��<��/#,06!$-�X�¯�!8"�=5C�&#R<�7$2,�15�xO�&D.�4-C8�����)i01V�5/01�&�=�&#R06!{-/<��12,��-��1-%� 4M9 �C7$-z�B�1-~#,!Z¢��=¥]@�Q�D$��5C�\�1-#R!ZÁp7$�$-C��<��/#,06!.-`9}�®@��1!$)¸9;<\@t�&D$�s-C8�����)w01V�5/01�&�=�&#R06!�-/<��12,��-�2,#,!.�\�15C2R>Q�#R�/DU�/D$�s�$#%V}7$5/<��=�&#R06!8"�=5&�1+����/��5�X ¯�!¿�=2,2W<��1-/��-�x��/D$��5&�=�/��01VJ365/0�Q~�&D 01V��&D.�Z<���!P�&��5y0=VJ5C01�A���&#,01! #,-{#,!PL1��5/-C��2%>8$5C068S065C�/#,06!"�=2��&0s�/D$��-/8S����)y01V�5/01�&�=�&#R06!�X

° §

Page 21: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

� C �+� ��� <D:4A�� �#:4� ��� �w�r�&D"�1!.­ �WQ�#,31DO��Àr�15/­O2R��>�V}015��$5/#R!$36#R!$3t�/D$�~-/8$#R5&�12pQr�\L6��5C���&5/�1<��z'#R!$3JQ��\L6�W�/5&�1!$-C#R�/#,06!T�&0K017$5����/�&��!P�&#,01!��1!$) V}065�+ �1!P>TD$��2R8.V}7$2S)$#,-C<�7$-C-/#R06!$-�X��~D.#,-�Q�065C­�Q��1--C7$8$8S065C�/��) #R!¬8"�15C��P> �WÁ.  ��5&�=!O����Ã?ÁO' Å % § �PÅ � § xWv 7�Á*G(. ��5&�=!O� � G �6Ãu°6°>�6Å6Å:�1!$)�/D$� �B7 ����2,)uV}017$!$)"�=�/#,06!�X��w�s�15C��365/�=�&�(V}7$2��&0 �/D$� �B!$#RL1��5/-C#R�/#,��-t01V <B067$-C�/06!�x�Á[7$5/5C��>?�1!$)�WÃy¯zÁp� V}065r�/D$��#R5~D$06-C8$#R�&�12,#%��> Q�D$#R2,�WQ�065C­[#R!$3�06!{�&D$#R-B8$�18���5�X

� $ � $��'$��� $ �

¢ ñ ¥ ��X"¯AXSYt5/!$012,)�X9��!i+`���&5/#R<���-~)$��8S��!$).#,!$3�06!i8"�15&�=+ �(�&��5C-�x���kP�A�(f;d1� �d1e��*% � k[ang1b��±� � 9 ñ Å % ñ @~°=Å�' � �pX�9��� �"b �[f �d1e %��d1k � � M9 ñ Å % ñ @ ñ�§Añ ' ñ�ñ �$X�@

¢¤°�¥�7�X1YW-CDPQ�#,!T�1!$)�¯AX6Ãy��2,�S067$5C!$�1X �t06!$<�06+�8"�1<���)$5/#%Vh��V}015�5C��2]���&#RL1����N[7.#,2,#R�$5/#,���1!$)K5C��2]���&#RL1�8S��5C#,0[)$#,<�015/�$#%�&-�X�J���"clfh��b/d1anfhe � C�� 9 ñ Å1Å %6@~£1ÅP£�'  ñ ÂpX

¢��=¥ �KX�Àr�15C­[2R��>i�1!.)u¯AX��sXS¦���L[5/��­[#R)$#,-�X�Y�).>[!"�1+�#,<��12�-C>[-C�/��+�-��18$8$5C0P�1<AD?�/0�-/8.#,5&�=2�Q��\L6�).>[!"�=+ #R<�-�X��B�.d[��� �:9 ñ Å6Å �P@ ñ ' �pX

¢ �1¥4ÀWXp �#R��)$2R��5�x[ÀWXpÁ.�=!$)$-C�/��)$�=x$Y�XpÁp<AD.����2��1!$) .WXO�w7$2R��X[À�#RV}7$5C<\�=�/#,06!sV}5C06+¨5/��2]�=�/#RL6�B��NO7$# '2R#,�$5C#]�K01V�!.06!$<�01+ 8"�=<��t365/067.8u�1<(�&#,01!$-� �-/­1�(Q 8$5/0[)$7$<(�&-�xS+��\�1!$).��5/-W�1!$)y)$5/#%Vh�&-�X�����¼(k �o`b(�"e�d Ud1e��*% C 9 ñ Å1Å6ÂP@ � %1ű'z£ § £[X

¢¤£�¥JÃwX1Ä.X� �#,��2,)�X\v�NO7$#%L=�15/#,�1!P��)p>p!$�1+ #R<\�12O-z>p-z�&��+ -�X � a/d1�.� % �Wo`b(a % Ud1e��*% � ��¼ % � ���{9 ñ Å � § @ñ �6£±'z° § £pX

¢ Â=¥JÃwX$Ä.X. �#,��2R)�XO��0p<��12S-C�&5C7$<��/7$5/�tV}065���NO7$#RL=�15C#]�1!P��).>[!"�1+�#,<�-�x.#R! � fh�[�1k[c%d1a(fhe � � �"bA��a��Td1�Sºfheh��� ���Sclf�¼/d1e;f����.� 7��15z��¯/¯Ax�9�ÃZX G�06�S��5C�/-�x�¯AX�Á[�/��Q��15C��x���)$-�X @(x�����<��&7.5/���B01�&��-W#,!uÃ?�=�/D�XC � ��xSÁ[8$5/#R!$36��5�x"À���5/2,#R!�x ñ Å1Å ñ x ñ �O°±' ñ Â6Â.X

¢&%�¥ �KX�ÃwX �4�=2,#,!�X ����5C-&�12�)$�(V}065/+ �=�&#R06!$-�01V~2R#,!$���15 <W�1+�#,2%�&06!.#]�1!u-z>[-C�&��+ -�x�� � � aCd1�.�(c %��� � C9C�� 9 ñ Å �6°6@ ñ ' ñ °pX�9 � ank$º � � b(o % ��b(e;aA��g����2% C 9 ñ Å %6£1@r ��'�% �$X�@

¢��=¥JÃwX ��062R7$�$#R�/-/­P>6x ��X �sX����\À�2,�1!$<��1!$)U¯AX�Ãy��2,�S067$5/!.�1X�Ãy���1!$)$��5/#R!$3y0=V��/D$�T-/8$#R5&�12��&#,8�x�1!y�12%�&��5C!"�=�/#RL6���=8$8$5/06�1<AD�X��*%�J���"clfh��% � ¼(fD%��U9 ñ Å6Å %6@~£6£ %±' £ �6Â.X

¢ Å=¥���X�Ä6�1D$!$­=�s�1!$)?Y�X®��XS�¬#R!.V}5/���1XSY -C7$5CL1��>y01V�-/8.#,5&�=2%'*Q��\L6�J����D"�\Lp#R065/-t#,!i�&D$�+��5C��360�'!"���&065~+�0p).��2�X '(�"e %��*%� �f »nkpa&¼/d1e;f�����%!�B�.d[��� C 9 ñ Å6Å ñ @ �O£�' �PÂ6ÂpX

¢ ñ�§ ¥JÃwX�¦�5C7$8"�.X�À�#RV}7.5/<\���&#,01!$-J0=Vt5C��2,�=�&#%L6�`��NO7$#,2R#,�$5C#]�.X � '"� �*% �d1e��*%!�W�Sd1c %�� C 9 ñ Å6Å § @ñ �P£ ��' ñ � �6Â.X

¢ ñ�ñ ¥�¯AX�Ãy��2,�S067$5C!$�1X ����5/-/�12�7$!.V}062R)$#,!.36-W01V���NO7$#%L=�15/#,�1!P��2,#R!$�\�15 <W�1+�#,2%�&06!$#,�1!L6��<(�&065��"��2,)$-�X �d1e��*% ��a&��¼ %#��d1o�m % � �[fhc,��� % � ��¼ % C9C ��9 ñ Å6Å �P@r£6£1ű'z£ % �pX

° ñ

Page 22: 12R-/0 Ãy#ROD 1#,2R0 L{ 1!$) - Warwick Insitehomepages.warwick.ac.uk/~maslaq/papers/db.pdf12R-/0 Ãy#R OD" 1#,2R0 L{ 1!$) >[ 10 Lw¢ ñ ¥ 1!.)yÀ 15/ O2, (> 1!$)y L[5/ O#,)$#R-4¢

¢ ñ °�¥�YJX.ÁSX.Ãi#,­OD"�1#R2,0�Ls�1!.) ��X.ÁSX ��>[­=0±LSX[¦�#,!$��+`���&#,<��12.�/D$��065z>T01V�-C8$#,5/�12$Q���L1��-�#,!��(�p<�#%�A�1�$2R�+���)$#,� .�06+�8"�15C#,-C06!{Q�#R�&D!O7$+���5C#,<\�=2�-/#R+K7$2]���&#,01!$-�X � � ���(f�¼/d ���-�_9 ñ Å6Å ñ @ � %1Å�' �1Å %pX

¢ ñ �=¥JÄ.X�7��=�&��5&�.x&.WX G�067$-C-/�\�=7 �=!$) �KX�Áp<AD$2R06+�#,7$­®X ����5/-/�12r)$�(V}065/+ �=�&#R06!$-J01VB��2,��+ ��!P�&-s01V5C�\�12�<�2]�1-C-/#,<��12���#,���=2,36���$5&�1-�X��*% � � �±�(f�¼A� � Ud1e��*% � b(��% C �M9 ñ Å �6°6@ ñ�§  ��' ñ�§ �6Â.X

¢ ñ �1¥4ÀWX�Á.�1!$)$-z�&��)$�1x�Y�X�Á[<AD$����2��=!$) .WX��M7.2R��X �W>[!"�1+�#,<�-W01V�-/8$#R5&�12�Q��\L6��-J#R!�7$!O��067.!$)$��))$01+`�1#R!$-~7$-C#,!$3T<���!P�&��5 '�+ �1!$#%V}062,){5C��)$7$<(�&#R06!$-�X��*%���f � % � j��.� % C � C 9 ñ Å6Å %6@ ñ °1°±' ñ �6Å.X

¢ ñ £�¥4ÀWX.Á.�1!.)$-C�/��)$�=x$Y�X.Áp<AD$����2��=!$)8.WXO�M7$2%��XOÀ�#RV}7$5C<\�=�/#,06! �1!$)�)p>p!$�1+ #R<�-�01V�-C8$#,5/�12"Qr�\L6��-�X�*%�4���"clfh��% � ¼(fD% �w9 ñ Å6Å �P@(X$��0��18$8S�\�15�X

¢ ñ Â=¥I.WX1�w7$2%��X � �"bA��a���� » Zb/d1�Sº[b(a(fh�[�Jd1�Sº ��anf »ne;fh�[� � �SfhaCd1c !id1g1bA�~fh� �Bb/d[¼(e;f���� � ��f ��kP�(f����� ���(e b(o��(X® "5C��#,� �t!$#%L6��5C-/#%����=�tÀ���5/2,#R!�x.�~D.��-/#R-�x ñ Å6Å1Â.X

°6°