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(