On Tractable Queries and Constraints

8 downloads 0 Views 300KB Size Report
In fact, Chandra and Merlin [7] proved that this problem is NP-complete. If Й is a conjunctive query, ..... S. Abiteboul, R. Hull, V. Vianu. Foundations of Databases ...
                                        

     



    ! "  #  $  % &  # $

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

  

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

 %) ! *0-              & 1              % &&                   ( )        & 2  ' '  *3+-                )    &&         4    (     5 !&   )   (             %& $    /      2  ' ' 6 #       !     &            %                                 2  ' ' 6   *77-&          % 5                %     5     % (

             

 *+0-   *8-    4    

    *++-& $     (                   %    9)0!    (                  %    :!&            (     (              ;

78- (                       %) & @( ( (   ?             

 (            (    (                & @ (              (          A     & 78- (               )             (      &        (                     = !& /      )    (            (      & $    :      (  

      (       )                 ( & C        ( (            (              (  &      

=                                & $     ( (         *7 +8-                ( 

         &                (    ? (           !&                                          !  & #   !             D                ;  !    !        ! ( >                     !   E  

        E                &&      !    &             

 !&                 !&              (              (           ?  (&       !      ;  !   )             !            7    !  &                    !            &!       

          

  !                &         5           7    !  E (         & . (    ?     (  

       / ! )    (      ) &&      F5  7 (!&   !"                #

                         $      %               &  "

      !   $      

  (

   !    !

  % # '    

      

     !       !    ! $         /          Æ   '& $      1  *0-        %) & $      ( ?      !   

 (&   ! D   ! (  D  !      

      !                       & C         ) )   &&  '  (

         !          

                 )     *70-!         /   & #                *  )  +   *, ++ 8 +,-      5   &   

#              *+       %!     D    ! (    ?         ?        D            ?     & F            ! (                       )             &        (                 !& #   %         ;           7       &       ( %                *&   ?     '      *+9-&! 1  ()'(        1         %&  5         

)   ,-. &&    (        D              ;   !        ' (              (  %&              5    &      D  !           D     ! (  D                      B  &&  D      "#$      "#$ "#$  "#$  &      %          & 

 %     D    ! (      D   ! (  D     D   !   D   !   (  !                 & . (           5 (       & 



        

                 ) 5        %     & $ (    4         #$         %     & # )     & %     !              &   D   !   &            D   !             !        

        %        %   &   &   &  

     B            &&          3   !       5        (    ! *3-& #   

'( !       (           (    5       (               '( !                '      '( !& $  (      (         !   '( !& . (                   & #          4      ; #        B       *9 3 +A-& #      %             ; 7& #        Æ  & 2  ' '    )  !         /      *3+-& +&            (   /           4             ( 5    =  *70-& FÆ       "   )/    "      *7:-&      )           5     )       *37- &&      5   B           & 3& #     Æ    4             Æ   & #   )           (  *+:-E          *70-& 9&    )/ !                     4              *3+-& ,& / )       %             *8 77-&     )              )       % (   ' ')  & $    Æ                                    )  )  (      '      4        (     5       ( !&      

   )               )    B (    ?    (                           %& #    )                  ½ )     #   "  #   "  $  '    ' 

 +,- &  &   "   

      $ ./0(

 & .                     (           )  &                 

    0)&    ?5  &           !     ? !        )(  &        %    (             )   &                   )  ?     ;  ; ! *+0-   *+, 70-!&     (        (     &  (  

   ()'(     ) '    -& C   (            )            4 & $      (  (  *+7-    4          (   ) ('     (          ? (      ( (     && #  

         ( ) * ( ( D +  !     )  *        (       5 ,  + (  ),!  !Ë  *,!    !& $ ( D +   !    ( ( ? )( ! D  ) !& .       +  (   ( !     (  ( !& 1   ,  + (     (   ,& 

#  

         ( ) *   (    ?   (    ; 7&     &    !  5  ,   ( !     &!  ),!E +&       %  !   ,   ( !  %  ),!  

  !   ( E 3&    ,   ( ! ),!  *,!!E 9&    ,   ( ! *,!!  )( !  ),!& #      ( ) *                &    !  5  ,   ( !     &!  ),!

 &  *,!&          ( ) *  -    *,!&  &  &!!        (     )     &            (     &!!          &   



$           )           )

   ?5              E *,! H I      ),!    &   1"   (        F5  7  +E  ! +)(         !  (    7&  

   









  

 

  1&"  '   " '     '  ' 2

½3

   (     ;         !E "  % %     !E    . !E  . !E % . !E /     . !E   . !E &%  . !E 0 '  %   % !         &         &! ! 1 7           (  7!&   + (  ) !           (  +   &! ! D +&   ,"

    













 

             

      





























 

        







 













  1&"  '   " '     '  ' ¿ $                       (  & .          ) )(   &!! &     *+>-  (   ) )(   Æ 

              (     Æ     !& $    : ( (     Æ    (    (

     )  (                  & # %      Æ      )  )         &     ( ?    %    (         (  4        4  &    5 ,        ( ? (     (              ),!           *,!&   (  (    ) '(        &    ( %               4 2 ! (     4  && D  !     (         & /         %  (     (           %     &    Æ           %                    &     !

    ) 2  ! D 2  !  3

2         

 

     3    

    "







      /       *+>-& !  "   # 

         (           ?  (;     (      Æ >      1 >    !      G Æ!&          %    (     

             &        !   5             !     !&          Æ   5               !       0 !  0 >& $                  %       &            & $    (           & 1      

 &&   J5         )  & .       )                  &                         &                      (&&&       &

  3 (           C1       & F          C1      )    $

    !  $

 (         )       (          ,&     ! 4               ) 



   4 ,3        #











$            5  3 " "3 5     

"       %         5       )  "







@   & 3                 B &     

        

    



   

  

Û£

 

  

 ,     # 4  $  "  %  " &      

$      (    (    '' ( (   

                (     !&     6 6         5   &  &!! 1 !& .           &    )       !         %  !& 

 * -)    %   5    &    !      %   &  !& # * -)  3    %     D        D %        ;   * -)          *>4)7-& #  5  !      * -)     %  5   * -)     % & # 6 7)     5   * -)   )      5   !  !&   * -)       ! D &    !  &   D &   D ( ) *      &   5  ( ( (       ) !& $     * -),    *) !-),  E   * -)     *) !-) E   &    " ! #       D ( ) *  )         84!     5    ( !           (     ; 7   5 !  *-),        )( ! D   ) !  )!!E + ) !   D  (    *-)         7E 3 * !!  )!  ) !&   # " ! 4    )  

              )  

        "                             5                &      ( (   )5              &   9 (    '' (&     &      )     (     (        (  +  +& F    +       ! (  )5       * -),  &   !                           )5  & $ (     5          '' (&           & $         !  +     

    * -),                           (  &         !  + ( ?    $"    !

 (& $ D   $"    ! D & F   D                   &        &     &       !             7  6 0 + &      $"    !     !   #$ !  &   !  &    ! F      !  +            + &     !      (  )5&      H ') I  * -),                





      4 '  '  5 2  3(     '   '   " '  







23  6    &(



 5 2      3 7 &" " "  '6  5    7  '    6

 !    

 75 2   3  2  3 7    8 "    .0 '  6  75 6  75 6

 " 2Ë3   9  75 2 ¾  ´ µ  23 3  236

 "  8   #  23  5  "   23 "  75   2  3 6 ""    2  3  2 3  6

 " 2  ¼ 3  (( ¼ ¼   ""    2  3  2  3  6

$!# !  ! ! 6  !   

  33 75    2  3  6  22  33 75     2  3         6 2: ;        23 "    #        &"  " :3 %" &      &"  "      9  5 2  3 #  &"  " (( 23 5 6 #   "  23 5  2  2 3 2  3 36 $& 2:   :3  23 5  !2     2 3 2  3 36  22

      

$!%" & ! ! 6    

 

 

   6   6  22 33 5  6

#    $&

"

¼¼   6 2  2  3 75 6     22   3 ¼ 36     ,    8

¼ 3 75 6

!

' , '  '   '  " '  

 !      2 7  "6 7  83   3  6

,

   &" ' " 2 ,   &  8

"  "    6

2"3 75  6 2"3 75  2 3 2  2 336

 " ' "  2  3      2  "36

! ! (

)  "          $"    !&                        * -),             &         !                !  + &    (      ! 9 ) (    )(  )       !   '     !! D     !!&    +    B          & F * -),             (      ! (       ()(         ! &&     !! D     !!& $%  .           ' ' (" /  )   . )3        !  + 3 (    !!    

 

  $"    !  &! $"    !!  3      "

         (         ! (     (     &!!    ( & #  5       9 )  (                             &!! &   , (      )  

(                  & $   )(           !  )                 )(  & $           

      & ' ' (   2   !   (                  &                   '' (&      2 ! )        )5 2! * -) & $ (         2 !   +  2  !   + & 1     +   2 !             +   2!       &              '' ( (       5       &        

            *78-    7

&   & ' ' (  " 





 '("

>?( 1( C?/ >B/(

( (( +  " )( H

" (  ' &      ! (

  237G?CGG >B( ?( ( +#( ,   <     A" &' (

$ "# 

 %   



  /?C/ >BB( ( 4( 9( + " " (        I"  " '       &"(

$ "     1?237/?/G >>(

G( (J( , " " (D( D ( F'  '     , ! -       A  # (





 $  #  &     $&'())

''(GGC> >GG( B( ,( ,%  " ( = ! ( , ! - ,    ="(



* #       !   & +,,) !&(,)- ! . - "# +,,) B1( G( H( H  # )( 9  " ;( >B(

 - (

B( H( H  # )( 9  " ;( BK1   #   ' (A+K>B111 

&    2   2     '7KK888( ( K K

1( H( H  # )( 9  " ;( >( '   D "(  '' 

11( D( H  (H( @   " A(( , ( A '         ' #   "  #  $( 1/( D(

H 

A  # ( 

"

@(

 " (

 %   

  7?GCB> >>(



A '  

D "  



, 

3   !   &     1 ''( B?11(   

)& E % )E >B( 1( ( @   A( ,  " D( H ( ,    '   ,  (

"

   237?1GC?B( 1?( ( H( J   " D( E(  "( , !- ,    " ,   <   (



* #  $  #  *    !   $ 

*'!$(,1

''(1?C1/ >B( 1( A( D  (

& &  2   !    =  D" , ' B( 1G( )( = #   " (A( B1( /( ()(  @( ; %  " ( D(H( ' (        ! 

* #  $.'!(,8 <  @  , >?(  * #   # #  6 9 !  5  69!5(1+ ''( B1C> ,( L   " ,( A # "(

$ ( 

/1( D( E  % %(       A  #  B(