%PDF-1.4
%
8 0 obj
<< /S /GoTo /D (Outline1) >>
endobj
11 0 obj
(Title)
endobj
12 0 obj
<< /S /GoTo /D (Outline2) >>
endobj
15 0 obj
(Central Part)
endobj
16 0 obj
<< /S /GoTo /D (Outline2.1) >>
endobj
19 0 obj
(Datalog)
endobj
20 0 obj
<< /S /GoTo /D (Outline2.1.1.6) >>
endobj
23 0 obj
(Syntax, semantics and queries)
endobj
24 0 obj
<< /S /GoTo /D (Outline2.1.2.11) >>
endobj
27 0 obj
(CHASE procedure and top-down evaluation)
endobj
28 0 obj
<< /S /GoTo /D (Outline2.2) >>
endobj
31 0 obj
(Magic-Sets)
endobj
32 0 obj
<< /S /GoTo /D (Outline2.2.1.35) >>
endobj
35 0 obj
(Example)
endobj
36 0 obj
<< /S /GoTo /D (Outline2.2.2.47) >>
endobj
39 0 obj
(Application to Shy and experiment)
endobj
40 0 obj
<< /S /GoTo /D (Outline3) >>
endobj
43 0 obj
(Conclusion)
endobj
44 0 obj
<< /S /GoTo /D [45 0 R /Fit ] >>
endobj
53 0 obj <<
/Length 1086
/Filter /FlateDecode
>>
stream
xWMo6W,?E6[hw{A^MwHJhىhy|f|Z-GLP+5#(
XMnGF/no`j5X¸mpw/ZR9XnCTq-5ڞ@G}TOd;nQ(::rJrT[}ӖM}>ЍK@pFYpB$-'2@8e~""2Jb&e+map=3ݏIP?-=J?"3g6\A
&0(tS3`܆à623;`t+ 1.bvNpy/av"Ã?D,@S'scn0ItBjN3S
WeW'pI|{
UK\TE=aQEN*'2''뜜*t2t1;JJ:vQrY 6@;7D<BW&55gOV"vl"cEcN8w{K7Q*F_6/+-C^x\guQoTa
endstream
endobj
45 0 obj <<
/Type /Page
/Contents 53 0 R
/Resources 52 0 R
/MediaBox [0 0 362.835 272.126]
/Trans << /S /R >>
/Parent 58 0 R
/Annots [ 51 0 R ]
>> endobj
46 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 362.835 3.985]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 59 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
59 0 obj <<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [0 0.0 0 3.9851] /Function << /FunctionType 2 /Domain [0 1] /C0 [1 1 1] /C1 [0.5 0.5 0.5] /N 1 >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>> endobj
49 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 8 8]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 60 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
60 0 obj <<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [4.00005 4.00005 0.0 4.00005 4.00005 4.00005] /Function << /FunctionType 2 /Domain [0 1] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>> endobj
50 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 16 16]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 61 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
61 0 obj <<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [8.00009 8.00009 0.0 8.00009 8.00009 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [1 1 1] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>> endobj
48 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 5669.291 8]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 62 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
62 0 obj <<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 8.00009] /Coords [0 0.0 0 8.00009] /Function << /FunctionType 3 /Domain [0.0 8.00009] /Functions [ << /FunctionType 2 /Domain [0.0 8.00009] /C0 [1 1 1] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 8.00009] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> ] /Bounds [ 4.00005] /Encode [0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>> endobj
51 0 obj <<
/Type /Annot
/Subtype /Link
/Border[0 0 0]/H/N/C[.5 .5 .5]
/Rect [188.925 1.191 323.283 8.91]
/A << /S /GoTo /D (Navigation64) >>
>> endobj
54 0 obj <<
/D [45 0 R /XYZ 28.346 251.575 null]
>> endobj
9 0 obj <<
/D [45 0 R /XYZ 28.346 251.575 null]
>> endobj
56 0 obj <<
/D [45 0 R /XYZ 334.488 0 null]
>> endobj
57 0 obj <<
/D [45 0 R /XYZ 334.488 0 null]
>> endobj
52 0 obj <<
/ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R
/Font << /F25 55 0 R >>
/XObject << /Fm1 46 0 R /Fm3 49 0 R /Fm4 50 0 R /Fm2 48 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
72 0 obj <<
/Length 1262
/Filter /FlateDecode
>>
stream
xXKs6W(MDZ$n2XV8#S, HlII rvzB#
EBsbBp¸FMn Gߠ
?&jQqFս+AvhqvYF$30
Hㅮzvyѐd(+<7ڜ!
&nQLoócb9!Ɖt;
/чz,jS03ZG(}0*s!$, S'6IGy@*K#}ެ)WoF8C0D7qE^>|͈VB]1wi@饕cn8<ֻaRj/\U=z_H>R(goĘK
aeX4jyw`Ce:ȵqfZ/E,q:],6uUF%<2lg(D)ʸā{t|2i`֔"K"DP`opaN7bI` @!X%05#
Dk[@A5aRמWM@w1^KJ
wuxyƍ1lVH("yS4nCDPtȰ{a$`L?Y6(!@v#Y*pib$5~6c7b(2
+6+R8z=%,q\8L"v>Ay̑jF˱Clr}M%L#bbsf^)99"!G@S/$T|% TP/g,d(WSSܯxⱊK*kAI5ZIѯ}/Dɧ&í9g9u(5z
pM#la[-Qa-p=6}tv01@壋sWdέh;:Y6Ilzqro]fD)7 -w@V!^j;mHXPIl|?|h SP8!<=F8=8tOQЭp7U
:߭(ִn?TE>^C~.7u9~_uѼg.,.TU;QM:5}7 'oOcPg}/Vߖpaw8Gr=Ui[rz6)i32}FR`
endstream
endobj
71 0 obj <<
/Type /Page
/Contents 72 0 R
/Resources 70 0 R
/MediaBox [0 0 362.835 272.126]
/Trans << /S /R >>
/Parent 58 0 R
/Annots [ 69 0 R ]
>> endobj
68 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 362.835 272.126]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 76 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
76 0 obj <<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0 1] /Coords [0.0 0 362.8394 0] /Function << /FunctionType 2 /Domain [0 1] /C0 [0.2 0.2 0.7] /C1 [0 0 0] /N 1 >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>> endobj
64 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 6.048 6.048]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 77 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
77 0 obj <<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 3.0239] /Coords [1.96873 4.31349 0.0 3.0239 3.0239 3.0239] /Function << /FunctionType 3 /Domain [0.0 3.0239] /Functions [ << /FunctionType 2 /Domain [0.0 3.0239] /C0 [0.88 0.88 0.955] /C1 [0.4 0.4 0.775] /N 1 >> << /FunctionType 2 /Domain [0.0 3.0239] /C0 [0.4 0.4 0.775] /C1 [0.14 0.14 0.49] /N 1 >> << /FunctionType 2 /Domain [0.0 3.0239] /C0 [0.14 0.14 0.49] /C1 [0.09999 0.09999 0.34999] /N 1 >> << /FunctionType 2 /Domain [0.0 3.0239] /C0 [0.09999 0.09999 0.34999] /C1 [1 1 1] /N 1 >> ] /Bounds [ 0.93788 1.87576 2.5792] /Encode [0 1 0 1 0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>> endobj
65 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 4.872 4.872]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 78 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
78 0 obj <<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 2.43625] /Coords [1.59213 3.47963 0.0 2.43625 2.43625 2.43625] /Function << /FunctionType 3 /Domain [0.0 2.43625] /Functions [ << /FunctionType 2 /Domain [0.0 2.43625] /C0 [0.88 0.88 0.955] /C1 [0.4 0.4 0.775] /N 1 >> << /FunctionType 2 /Domain [0.0 2.43625] /C0 [0.4 0.4 0.775] /C1 [0.14 0.14 0.49] /N 1 >> << /FunctionType 2 /Domain [0.0 2.43625] /C0 [0.14 0.14 0.49] /C1 [0.09999 0.09999 0.34999] /N 1 >> << /FunctionType 2 /Domain [0.0 2.43625] /C0 [0.09999 0.09999 0.34999] /C1 [1 1 1] /N 1 >> ] /Bounds [ 0.75026 1.50063 2.06337] /Encode [0 1 0 1 0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>> endobj
66 0 obj <<
/Type /XObject
/Subtype /Form
/BBox [0 0 5669.291 3.985]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 79 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
79 0 obj <<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 3.9851] /Coords [0 0.0 0 3.9851] /Function << /FunctionType 3 /Domain [0.0 3.9851] /Functions [ << /FunctionType 2 /Domain [0.0 3.9851] /C0 [0.915 0.915 0.9525] /C1 [0.915 0.915 0.9525] /N 1 >> << /FunctionType 2 /Domain [0.0 3.9851] /C0 [0.915 0.915 0.9525] /C1 [0.15 0.15 0.525] /N 1 >> ] /Bounds [ 1.99255] /Encode [0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>> endobj
67 0 obj <<
/Type /XObject
/Subtype /Form
/FormType 1
/PTEX.FileName (./fragments.pdf)
/PTEX.PageNumber 1
/PTEX.InfoDict 80 0 R
/BBox [0 0 210 62.28]
/Resources <<
/XObject <<
/Im0 81 0 R
>>/ProcSet [ /PDF /Text /ImageC ]
>>
/Length 33
>>
stream
q
210 0 0 62.28 0 0 cm
/Im0 Do
Q
endstream
endobj
80 0 obj
<<
/Title (fragments)
/CreationDate (D:20120821210609)
/ModDate (D:20120821210609)
/Producer (ImageMagick 6.6.9-7 2012-02-22 Q16 http://www.imagemagick.org)
>>
endobj
81 0 obj
<<
/Type /XObject
/Subtype /Image
/Name /Im0
/Filter [/FlateDecode]
/Width 1750
/Height 519
/ColorSpace 82 0 R
/BitsPerComponent 8
/SMask 83 0 R
/Length 84 0 R
>>
stream
x_ldyI4=㉨A|
fvff.$2`'M̷ጤ5"Ana`0!kC?L<lLLJZ:n(+b[:ӝNOO9sT[U]uw ;'od 9˃L Ւ[yi`2ё E=aН6 %|wQw T+wcLnMÄ McgP;yh![ 3N4x 0Lai= F6 IW1ƍo֛ bCU{hHg:=Hocˏ~d?? AR2[X\HjDoFݝ7@*lړsDo|_~?}G}ٳ~"ƯF8Q4k|~?oD|SO}k_sEРy$UQ\Uuw$pE)8I|r(