les bdd relationnelles et leurs sg

212
!" # ! $

Upload: kheireddine-tolba

Post on 22-Jul-2015

58 views

Category:

Documents


1 download

TRANSCRIPT

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

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

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

�������� �������� �!��"������

��#���� ����!������ ����$���

��������

%���� � &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&'��������������������� �� ������ ������������������������������������������������������������������������

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

� �!"����� �� ����#$% ���������������������������������������������������������������������������������������&�

��'�'�� �������� �� ���� ������������������������������������������������������������������������������((�

) �����"�����������������������������������������������������������������������������������������������������������(��

��� *�����������������������������������������������������������������������������������������������������������������(+�

� �,� ���� ������ �"������ ����������������������������������������������������������������������(-�

��"�"�� ."����� ����$%�����������������������������������������������������������������������������������(/�

����.�" ����$% �����������������������������������������������������������������������������������������������(0�

����������� ����&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&'(��� � ���"� ����������������������������������������������������������������������������������������������������������1�

����"���"�� ����$%� ����"��������������������������������������������������������������������������(�

%���"�� ����������������������������������������������������������������������������������������������������������������

�����"�� �����������������������������������������������������������������������������������������������������������������

���' "�������������������������������������������������������������������������������������������������������������������2�

34��,������������������������������������������������������������������������������������������������������������������&�

������������ �����&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&)*��� � ���"� ����������������������������������������������������������������������������������������������������������/�

��'�� �� ����"����� ��������������������������������������������������������������������������������������������0�

������� ����"����������������������������������������������������������������������������������������������������-1�

5�",����"�� ���.���� ������� ��������������������������������������������������������������������������--�

6������������������������������������������������������������������������������������������������������������������������-/�

+���� ���������"������� ����&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&*,��� � ���"� ���������������������������������������������������������������������������������������������������������-2�

�� ���"���"����"�"�������� �,� �����7���"��������������������������������������������-&�

�� ���"���"����"�"�������� �,� ���������".������ ����������������������������������������//�

� �, "����� ���� ����,��"�"� ��������������������������������������������������������������������������/&�

%����,��"�"�� �����!���� ����"������+��7� ���� ��������������������������������01�

-�&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&,)��� � ���"� ���������������������������������������������������������������������������������������������������������0+�

%�7""�"�� ��� ���� ����������������������������������������������������������������������������������������0-�

5�",����"�� ��� ���� �����������������������������������������������������������������������������������2(�

� �4 ��������������������������������������������������������������������������������������������������������������������&0�

6������������������������������������������������������������������������������������������������������������������������&2�

���� �����, �' ���������������������������������������������������������������������������������������(1(�

��� ��������� ��� &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&'.,�34, ���"�� ����"��' "��������������������������������������������������������������������������������������(12�

���� �"�� ����������������������������������������������������������������������������������������������������������(1&�

%�����!�� � �����������������������������������������������������������������������������������������������������((1�

+����� ���� &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&'')�8�9���"7�������:�� �������������������������������������������������������������������������������������������((+�

� �����"��,� �����.������������������������������������������������������������������������������������������((-�

��� "���"�� ������� "���"�������� ����������������������������������������������������������������((/�

/������ ����"������ &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&''(��� � ���"� �������������������������������������������������������������������������������������������������������(�1�

;"�!"� � ��������������������������������������������������������������������������������������������������������������(�(�

#���"�� �����,���� ������������������������������������������������������������������������������������������(���

3�!�'�� "����������" ����� ����������������������������������������������������������������������(�/�

� �4 ������������������������������������������������������������������������������������������������������������������(�&�

� � ���$<�����������������������������������������������������������������������������������������������������������(���

=��!�'������"��������������������������������������������������������������������������������������������������(++�

����� �����������0 ��&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&'**��� � ���"� �������������������������������������������������������������������������������������������������������(-/�

�������"�� ����,� ���� �� ����"���� ��������������������������������������������������������������(-0�

� � �� �� ��>�� ������������������������������������������������������������������������������������������������(/(�

� �, "����� ����,� ���� �� ����"���� ���������������������������������������������������������������(/��

�!�"4� ���,��� ��4����"� �����������������������������������������������������������������������������(/-�

%������� ���������"������, �9���"�����������������������������������������������������������������(//�

8 ��� ��9�"�� � ����������������������������������������������������������������������������������������������(0(�

���!� �!�� ����"���� �,��� ��4����"� �����������������������������������������������������������(0��

+���������� ��������&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&',)�����,�� ��� �����"����������������������������������������������������������������������������������������(0+�

� �, "����� ����� �����"� ������������������������������������������������������������������������������(0/�

� �������� ���?�������� ����������������������������������������������������������������������������(00�

34����"���� "��"���������������������������������������������������������������������������������������������(2��

���.� ��"���'����������������������������������������������������������������������������������������������������(2-�

6� ��"���'��?� ��4�,!������������������������������������������������������������������������������������(22�

��, "����, ���,�� �������������������������������������������������������������������������������������������(&/�

8��"���,�� ���� �, "�� �����������������������������������������������������������������������������������������(&0�

3�� �� ����� ��������������������������������������������������������������������������������������������������������11�

��, "���?�,� �" � ��9�� ������������������������������������������������������������������������������������1��

1���������"��&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&2.3�

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� (�

%���� ��

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� ��

-���� �����������������������4�

B���������������C$%����� �'�D��������������� �"7� ���"���� �!".���� ���

�������" ���������"�����?� ���� "���� ����.��� ��,� ���� ������ �"������ ���

".� �����,,�"���"���, �.����,�� ��������

��"�� >�� ����$%����� �� �' ��,� ����� �������������?�����,,�"���"�� ������

����E�

F� ��."�� ����� � � ������������"��!� ��������� �G� �"��7������������

�,, ��!���H����� ������� �"��� �,� �"��� ��� "77� ����7"�!"� ���������4"���

�� ����4I�

F� ��77 " � �����'�'��� ��!����".����,�� ���� �7""�"����������",����"�� ���

����I�

F� ��,� ��'� ����� ������� ��,���"�� ����"�"����� �I�

F� ����� *�� ���"��' "��I�������� "�����������7" ��"��"��� ��� ����I�

F� ����� � ���" �,� ������ ������ ������������� �"��������

���������� �� ���������'� ����,� � �����'"�"�����,��"��"�����,,�������� ��������

��� ��������������������C�#$%����� �'�D��

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� ��

����������56 �7 85�+�

3�(&0-�������"��������� �����������, �,�������� �!"����� ��?�� �"��".���4��"�

���� �.���������"���E�

�"���

�9 ����

�"���

�9 ����

�"���

����� ����

�"����

� ����

&&&� �"���

�9 ����

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� +�

�"�������� ����

�:���

�����!��������,������������ �, ������"�� ���� �� ������������� �,,� ������

$%��

8�������9������ ��

F� ��"���C�����9��D�E����,� ���I����". ���

F� , �, "����C������ "���D�E��"� �� ����". �I�� ����� ����,� �����

F� �����"��"��E�,� ��������� � ����". ���

F� �' �'���E����� ��������,����� ���� ������ ����� ��,�������

F� �������"��E����������� ��,� ����I�����"���� ��, ������

8�������9�������������� �����

F� (� ��'�� ��"��E�

�� �� ����!"� � �!"���C�5�� ��$5D�

�� �� ���� ������C%$)#��8%��J�D�

F� ���'�� ��"��E�

�� �� ���� ����"����

F� ���'�� ��"��E�

�� �� ����� "������9����

�� �� ������9���K� ����"����

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� -�

;9�������

��"�����$%����� ��������". ��� �����"��"��!���������� ������� ���8���,,����

�����". ������" ��"7"��,� ������������������� �,� ��������

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

��!����

Li vr e( Cot e: Chaî ne, Ti t r e: Chaî ne)

Aut eur ( Nom: Chaî ne, Cot e: Chaî ne)

Per sonne( Nom: Chaî ne, Pr énom: Chaî ne, Année_nai ssance: Ent i er )

�������

Li vr e

Cot e Ti t r e

BD/ 46 Les BD en BD

Per sonne

Nom Pr énom Année_nai ssance

Dupont Jean 1960

Dur and Pi er r e 1953

Aut eur

Nom Cot e

Dupont BD/ 46

Dur and BD/ 46

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� /�

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

��!����

cl asse Li vr e

at t r i but Cot e: Chaî ne

at t r i but Ti t r e: Chaî ne

at t r i but Aut eur s: l i s t e( Per sonne)

c l asse Per sonne

at t r i but Nom: Chaî ne

at t r i but Pr énom: Chaî ne

at t r i but Année_nai ssance: Ent i er

mét hode Age( ) : Ent i er

{ année_cour ant e - sel f - >Année_nai ssance}

l i vr es: ensembl e( Li vr e)

per sonnes: ensembl e( Per sonne)

��������

P1: { Nom = " Dupont " , Pr enom = " Jean" , Année_nai ssance = 1960}

P2: { Nom = " Dur and" , Pr enom = " Pi er r e" , Année_nai ssance = 1953}

L1: { Cot e = " BD/ 46" , Ti t r e = " Les BD en BD" , Aut eur s = [ P1, P2] }

l i vr es = { L1}

per sonnes = { P1, P2}

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� 0�

�"����9 ����

B���"����9 ���� �, ���������7�L�� �������"�"����� �7"��������, �' �����

��,,�"���"��.�"�����,� �"�� �����$%��"�������� ���

����4"������'�� ���,���"�� ���� ������4�� ���,�� �����>���$%��

�����!��������,����� ����$%�,����>� �����,��4���������!������4�� ��� ����

��4���"�"����� �����."�"��,�����"�,��� �������!�����

������!������4�� ���,� �����������"� ��, ���'� ����$%���� �� �����",����"���

"�� ��������������� "����I������!����� ��"��� �����?��� ��"����"�"����� ���

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� 2�

�"���� ����<����"������=�

�:���

�����!����"�� �� �� "����� '�"���"�� ��� �����������" ������ �" ��C�� �

"���D��

��� '�"���"���!�"�"�� �"��,� ���� ��E�

F� ����� � ����,���� �," �����,���"����?����������� �� �����.� "7"���

�� ��"����� "�"��I�

F� ��� �� I��� "7"� ������,, "�� � ��� ������.������ �� '�"���"���""��������

�����"�"���"���,�"����� �����,����� "�,�"�����

-��������������� ������������

F� �����"����I�

F� �!�G���C,�"��� �DI�

F� " �4����

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� &�

5��"� �� �������� %1��

5��"� �� ������ �������

�,,�"���"��

�#$%�

$%� $%� $%�

�,,�"���"�� �,,�"���"��

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� (1�

5��"� �� �������� 7���#����

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

���� �

�#$%�C,� �"����"��D�

�,,�"���"��

�#$%�C,� �"����"��D�

�,,�"���"��

�#$%�C,� �"���� .�� D�

$%� $%� $%�

���#����

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� ((�

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

���������� �.� �� �����'�'�� ��!����".�����,,����������������������������

������� ���"��������� ���"�I���"�� �'��"����������",����"�� ����$%�����,����

����������,������"�"������� ��������'�'������������

����M� � �����'�'�� ������� �� �������������"����,� ������������������0 ���

�"�������"�"���,�� ��,��"7"� ����� ����� ��!� �!�����

��� ����

F� %�7""�"�� ��� �����E���!��������,����I���!������4�� ��I��!��"�� �������

��4� ������

F� 5�",����"�� ��� �����E�

�� � ���"�I��� "7"���"�������,, ���"�I�

�� �"������,����� �" �4�,�� ������"� � ��������,�� �� �,���I�

�� "�� �'��"�I�

�� '���"�� ��� �"��� ������I�

N�

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

F� � ��� �������'�'��!*���C�����I��I�A�.�I�NDI�

F� �� ������

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� (��

;9�� ������������0 ��

� ������

���:���

8,�"�"���"��

��� *����

34����"��

�������

$%�

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� (��

!����� ����

��� ����#$%����"��� ��� �"������������� ����� �����

B��� �����"��������7 �'���� ��, �' ������"�7�"��,���� ����$%� ��������

��!� ���?������ ���������!� ��I�,� ������"��� ����"����������" ����

B��4��,��������"��� ��� �����"���������,� ��"���"�� ��7� ������������� ���

���,�������" ����?������,�������" ��$��

début t r ansact i on

sol de( A) = sol de( A) - S

sol de( B) = sol de( B) + S

f i n t r ansact i on

����������" �����������,� ��"���� �"��,���>� ��"�� ��,����� ����� ��"�� ����������

� � "�� ��$��

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� (+�

+� �:����

� ��� �

���� ���������O���� ������$%� �".��� ��,���� ����� ��"���� �� ��

��� �"���� "���� �� ��� ��B��#$%� �"������ � ����������� �"���� �"��' "���

���� ��,��������

+���������

3�'�� ���,���"�� ����"�"����� �����,� ��'�������>���$%������"�� ��� �����"���

,��.��� ������4����� ����>������,���B��#$%� �"������ � ���������.�������

��7�"����� ������� �����"������������,������$%� ��������"��!� ����

���� �

�, ������,��I����������"�� �� "'"����'"�"������������ "����I����#$%� �"��>� ��

��,����� �� ����� � ����$%� ������������!� ��I�����>���������,����, ��!�� ������"�

, ��� ������,����

+����� ���� �

B��#$%� �"��,� ���� �� �"�� " ��?��� ��"���,� ����� �� ���"�� ��� ��"���

�,� ��"����� ����,� �"������� ����������$%��

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� (-�

�������������7 ��� ��� ��

���������������7 ��� ��� ������" "�,�������,�� �,��.�" �7�" ���.���� �

7��"��������� '�"���"����'"������,!:�"��� ����$%�����"������ �!"����� ��

���� "����� ���#$%��"����'� ���

��" �,� ���� ������ �"�������,� �����"��������������"���E�

F� ���� "7"� ���� '�"���"��,!:�"���C,� ��4��,����9���� ���" �4�,�� ���������

,���� �," �D������� "7"� ������!��������,������������, �' ������

��,,�"���"��I�

F� ���� "7"� ������!��������,�����C,� ��4��,����9���� �����.�����:,�� ���"���

��� ������"��"�D������� "7"� �����, �' ������ ��,,�"���"����

8�,� �������"� ��������������������� �����������"��������

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� (/�

-���� ��#�� ��������1��4�

F� �������� �� ����C���,� ������������",�D�E�

� ��� �7""�������!��������,����� �����$%�������7�"���.���� ��

� ���7"4������,� ���� ��� ����� '�"���"��,!:�"��� ��7�L��?��,�"�"�� �����

,� 7� �������

� ���'� ������ �"��� ������������������"����� ������ "�����

F� �������������������������� ����E�

� ���� �7""����������!������4�� ���������� �"��������, �' �������"���"������

����4,��"�������$%���.��� ��,,�"���"���,� �"���"� ����

� ������"�"����,�� �����������'�'�� �������� �� ����� ���#$%I��.�����������

���,�����.�������'�'�� ��, �' �����"�������"�����

F� ����� ����� �����������E�

� �������� ���?����$%����� �.� �� ������"������� �"���,� �����, �' ����� ��

��,,�"���"������,�� �����,�����.� �"������ �.� �� ����'�'�� �� ��>�����

@A���������5�"� �� $����� �� ����� ����"���������#�� ��"���� (0�

+���#�������1��

�������� ��� ����$%���������,� ��"�� "77"�"����3���������"���������:���

�,, �7� "�� ���� �� �����"�"���� �������"�� ���7��� ����"�"����� ���

%������!� ��� ������,�"�� ��$%���� ������� �.���,,����E�B5�I�,� ��4��,����

�������!� ���������������� � ����� ���������,������ ��!����".���I�" �,� ����

����#$%�,� �"���"� �E�� "������9��I�,� ��4��,����

B��7�"�������!��������,����� ��!����".���������"I�"������� � �"������ ���� ��

�� ��������,����� ���#$%��!�"�"��

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� (&�

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

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� �1�

� ����� ���

� ���,� �3�;���� � ��$5���(&/&I������ ���� ����"������7�"������9��� ���' � �

��� �� ��� �.��4� �� ��!� �!���"I� �,�"����� ����� ��������21I���� �����!���� �

���, � �"�������� �"��4�E�

F� %$�� ��$5I�

F� 8 ����I�

F� �7� �"4I�

F� �:����I�

F� ���������������� .� � ��5"� ���7�I�

N�

���������� ���� ���� ����"�������� P�?�E�

F� ����������� �,�� �����"�"����� �E����$%�����.������������������� ��������I�

F� ���������� �� "��������E�����'�� �� ����"��������������'"��� ���, � "�����

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� �(�

+�� � � ��������1������ �������

B��1������ ���������������"�����,� �E�

F� ���������� �� ���"��I�

F� ���������� �� ����"��I�

F� ���������� ����� �"���� �"��' "����

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� ���

��������

B���������������������� ��.���� ������"�����

8� "��"'���E�

F� ���� ���"�����������E�

�� �!�G��� ���� ���� ��I�

�� ��"� �I�

�� ����I�

�� �������I��

�� ����

N�

F� ���� ���"���������E��

�� ���9 ����I�������?� " �������� �������.���� ����� ��4��,���E�

Coul eur = { " r ouge" , " ver t " , " bl eu" , " j aune" }

�� ��� ����I�������?� " ���� �������7� �������� �"��.� "7"� ��!����.���� I�

,� ��4��,���E�

Moi s = { m| m ∈ Ent i er et 1 � m � 12}

%��4� ���"������� "�������� �������"���� ��.���� �����������"������

���,� ��������� ��4��,��I����� ���"���E�

Tai l l e = { t | Réel t et t > 0}

Poi ds = { p | Réel p et p > 0}

������,������,��"������� � ������ ������ ���' ������������,������,� �������

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� ���

���� ����

B�� ����"����������������������� ��, � �"���� ���"�� ��� ���"���%(I�N�I�%�E�

� ��⊆�%(�×�N�×�%�

B�� ����"������ �7""��,� ������I�,� �����:,�����,� �����4���"���

!������������� ����

��� ������������� �����������4, ���"�� �����7� ���E�

� ��C�(E�%(I�NI��E�%D�

�H��!����%"������� ���"������!�����"������������� ���� ��"�" "������ *���

�� ���"��%"� ������ ����"����� ��4��,���E�

r el ( Nom: Chaî ne, Age: Ent i er , Mar i é: Bool éen)

��������:,�� ���� ����"������ �"����� ����� ���"����!�G�I�3�"� ����$���������

������, ��"� � �, ����������I�������� ���Q'��������� �"�"�������7�"�� �>� ��

�� "���������

;9 �������������� ���

���9 �������������� ��� ���:,�� ��C�(E�%(I�NI��E�%D��������������� ���

�,�����E�

� R�(�S�.(I�N�I���S�.T�

��������.(�∈�%(I�NI�.�∈�%��

���4���"�� ���� ����"������.� "����������� �� �����."�� ���������� �� ������

�� ��4��,���E�

{ { Nom = " Dupont " , Age = 36, Mar i é = Vr ai }

{ Nom = " Dur and" , Age = 22, Mar i é = Faux} }

��������4���"�� ����� ����"�� ���:,��E�

r el ( Nom: Chaî ne, Age: Ent i er , Mar i é: Bool éen)

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� �+�

�"������������ ���

������,,���� �����"������������ ������4, ���"��E�

� �C�(E�%(I�NI��E�%D�

�"� ��"'����� ����"�� ���������� ���:,�� ��C�(E�%(I�NI��E�%D���� ��4��,���E�

Per sonne( Nom: Chaî ne, Age: Ent i er , Mar i é: Bool éen)

�� ������" "���"�� ��� ���"��������,��� ��"��I�����!���� �� ����"��,�������

� �" ��?����4, ���"��E�

� �C�(I�NI��D�

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� �-�

���9�#��������������� ���

8���,,���� ������� ����"�� ����!����E�

Per sonne( Nom: Chaî ne, Age: Ent i er , Mar i é: Bool éen)

��� ��4���"��E�

{ { Nom = " Dupont " , Age = 36, Mar i é = Vr ai }

{ Nom = " Dur and" , Age = 22, Mar i é = Faux} }

$����� ���������

���4���"�� ���� ����"�� ����!�����C�(E�%(I�NI��E�%D�,����>� ��.������������

������ �������,���� �������������������(I�NI������ ����!�����"'��

�, ����������,���� ���������4���"����� ��4��,���E�

Per sonne

Nom Age Mar i é

Dupont 36 Vr ai

Dur and 22 Faux

$���������� �������

�������� ����"�� ����!�����C�(E�%(I�NI��E�%D�"�����������"����, � "�������������

������ �"����������. �"���"������,�������,,� �"���?����4���"�� �������7�������"���

�� ��4��,��I������� �"��E�

Per sonne { Nom = " Dupont " , Age = 36, Mar i é = Vr ai }

����. �"���

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� �/�

$�������������

���,����� ".� ������ ��"���"7� ���"�����"���"�����������,� �"�������� �

�4��,��I������7� ���� ������ ���������,������ ��7"4�������"�������� �� ��

������ ��,�� ����� ���" ����������

��� � �, ����� ����������������� �"7� ���"������"�"������.���� �,� �"���"� ��E����

#��������������������� ���Nul l e��

�� ��4��,���E�

{ Ti t r e = " L' aveni r des bases de données" ,

Conf ér enci er = " Paul Dur and" ,

Dat e = Nul l e}

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� �0�

+���

+�� � �� ��

8��,,�������� � �� � ���� ����"����������������I��.�����������." �I� ���

��� "����� �������� ����"����� ��4��,���{ Nom, Age} �����������"����� ����� ����"��

Per sonne���

B�����"����� � �"��?����������� "�������� ������" "7� ������R�T�������

+��������� ���� �������������

B�����"�����U����������������� �� ���� ����"�����"�E�

F� ,�� ��!������,���� ���I����.���� � ��U�" ��"7"�� ��7�L���"��������,���I�

F� �������� "���� ��U���,����>� ����,, "������� �� �" �����, �, "����, ��� �����

B�� ����"��,�����.�" �������,���"�� ��������� " �����E�����������!�"�"��������

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

��"��,� ��4��,��I���� ����"��E�

Per sonne( Nom, Pr énom, NumSS, Pays)

�"�������,,���������,� ��������" ��"7"���,� �������������, ��������"��

,� ������� �� ������ "������"��������������� " ���������{ Nom, Pr énom} ����

NumSS�������� � "� ��,�� ��>� ���!�"�"������������, "��" ���

�� ���.��"��������"'��������� "����� ���������, "��" ����� ��4��,���E�

Per sonne( Nom, Pr énom, NumSS, Pays)

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� �2�

+��� ��������

B�����"�����J� ���� ����"���(�������������� �'� �� ���(���"���4"������� ����"��

���,���� ����������, "��" ��U�������J���,�� � ���"������������ ���.���� �� ��

U��8� "�����J���������� ����"������

��"��,� ��4��,������ ����"��E�

Per sonne( Nom, Pr énom, Age)

Li vr e( Cot e, Ti t r e, Nom_Aut eur , Pr énom_Aut eur )

��� �" "�� ����������� � ����". ���������,� ���I��� ���� ������������"�����

{ Nom_Aut eur , Pr énom_Aut eur } �������������� �'� �� ����� ����"��Li vr e��3����

�7� ����� ����"��Per sonne��

���' "���

������� �"���� �"��' "��� ����$%� ����"������,��.������4, "�� �,� �E�

F� ���,,� ������ ���.���� �� ���� "�����?� ��� ���"��I�

F� ��� �7""�"�� �������I�

F� ���� ���"���"�� ��� ����"��I�

F� ���������� ����� �"��I�

F� ����� "�"��������"������4��,� ��"��� ���"���?�9�� ��

���� �����������I� ��4�7� ���� �"��' "���9������� *���"�,� ����E�

F� ��� ��� ���� � ��"�����.� "7"����"�����.���� �� ������ "����� ���������, "��" ��

������,����������

F� ��� ��� ����� �������"�����.� "7"����"��!����.���� � ���������� �'� ��J�E�

�� ��"���4"����������.���� � ���������, "��" �� �����,���� ����� ����"�����J�

�7� �I�

�� ��"������������

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� �&�

;9������

������$%����� ������, ��"� ��������"����� ���������� ��,���� ��2111����3����

����������V�����2111W��

8�.���� �, ����� �����7�"�����".����E�

F� ��������������"�� �� ���!������������B������������" ��"7"��,� ��������

F� ��������"���"�� ���������I�������?� " �������� ����� ���,�:�� ���������"�����

� ��.���B��������,�������� ��.� � ���,���"�� ��,�:���� �"���,,� �"���?����

7 ��"� �� ���!���� ������,�:���

F� ���, ��"� �������"�� ����7������� ����� >��� ������������������� ��������

�����"���B��, ��"� ������" ��"7"���,� �����������������7����' �."���

F� ����' "�,�� ���:�������"�������������� �� ����, ��"� ��E�����' "�,�� ������

" ��"7"���,� ���� �����

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� �1�

��������

Nom_de_sommet =

{ " Ever est " , " K2" , " Kangchenj unga" , " Lhot se" , " Makal u" ,

" Cho Oyu" , " Dhaul agi r i " , " Manasl u" , " Nanga Par bat " ,

" Annapur na" , " Hi dden Peak" , " Br oad Peak" ,

" Gasher br um I I " , " Shi sha Pangma" }

Al t i t ude_de_sommet = { a | Ent i er a et a > 8000}

� C����"�� �������4��������� ��,���� ��2111��D�

Or i ent at i on = { " N" , " S" , " O" , " E" , " NO" , " SO" , " NE" , " SE" }

Année_d_ascensi on = { a | Ent i er a et a � 1950}

� C���, ��"� �2111����������"����(&-1D�

Nom_de_pays = { " Népal " , " Chi ne" , " I nde" , " Paki st an" }

���� ����

Sommet ( Nom_Sommet : Nom_de_sommet , Al t i t ude: Al t i t ude_de_sommet )

Local i sat i on( Nom_Sommet : Nom_de_sommet , Pays: Nom_de_pays)

Pr emi èr e( Nom_Sommet : Nom_de_sommet ,

Face: Or i ent at i on,

Année: Année_d_ascensi on)

Conquêt e( Gr i mpeur : Chaî ne,

Nom_Sommet : Nom_de_sommet ,

Face: Or i ent at i on)

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� �(�

+���

F� B����������������������������"�� ���������� ����� ����"��Sommet ����� ������

����"�����Nom_Sommet ��

F� B��������,�������� ��.� ��� ����7 ��"� �� ��,���"�� ��,�:���������� ����� ����"��

Local i sat i on����� ���7� ���� ������ ��4���� "�����{ Nom_Sommet , Pays} �����

�����"���"�� �"������ � ���������� �����$%���������"�����Nom_Sommet � �����

����"��Local i sat i on����� ������������ �'� ���"� �7� ����� ����"��Sommet ��

F� B��, ��"� ������" ��"7"���,� �����������������7����' �."����������"�����

CNom_Sommet I�FaceD����� ����������, "��" �� ����� ����"��Pr emi èr e��

� ����������' �."��� �� ����, ��"� �� �"��>� ����������� �� "�� ������$%�����

����"�����Nom_Sommet ����� ������������ �'� �� ����� ����"��Pr emi èr e��"�

�7� ����� ����"��Sommet ��

F� B�, ��"� ��,�����.�" ����� ���"����,� �,���"�� ��' "�,�� ���������� ����� ����"��

Conquêt e����� ���7� ���� ������� �"����� "������

{ Gr i mpeur , Nom_Sommet , Face} ������������������7�������"�� �".���>� ��

���� ���������, ��"� ����������"�����RNom_Sommet I�FaceT����� ����������

�� �'� �� ����� ����"��Conquêt e��"� �7� ����� ����"��Pr emi èr e��

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� ���

$����� ����������

Sommet Local i sat i on

Nom_Sommet Al t i t ude Nom_Sommet Pays

Ever est 8848 Ever est Népal

Manasl u 8163 Ever est Chi ne

Hi dden Peak 8068 Manasl u Népal

Hi dden- Peak Chi ne

Hi dden- Peak Paki st an

Pr emi èr e

Nom_Sommet Face Année

Ever est S 1953

Manasl u S 1972

Hi dden- Peak NO 1975

Ever est SO 1975

Manasl u O 1981

Conquêt e

Gr i mpeur Nom_Sommet Face

Hi l l ar y Ever est S

Tensi ng Ever est S

Messner Manasl u S

Messner Ever est SO

Habel er Ever est SO

Habel er Hi dden Peak NO

Messner Hi dden Peak NO

Béghi n Manasl u O

@A���������5�"� �� $����� �� ����� ����"���������5� ���� ����"���� ���

$���������� �������

F� ���4���"�� ����� ����"��Sommet �����7� ���� ������������ ��� ��������

RNom_Sommet �S��I�Al t i t ude�S��T��4, "�������7�"��������������� �������

,���� �������"�� �����

F� ���4���"�� ����� ����"��Local i sat i on�����7� ���� ������������ ��� ��������

RNom_Sommet �S��I�Pays �S�,T��4, "�������7�"��������������� ����������� ��.��

������,�:�� �����,��

F� ���4���"�� ����� ����"��Pr emi èr e�����7� ���� ������������ ���� ",�����

RNom_Sommet �S��I�Face�S�7I�Année�S��T��4, "�������7�"��������, ��"� ��

�����"�� �����7����7� ��������� ��������������77����������������

F� ���4���"�� ����� ����"��Conquêt e�����7� ���� ������������ ���� ",�����

RGr i mpeur �S�'I�Nom_Sommet �S��I�Face�S�7T��4, "�������7�"��������' "�,�� � ��

���'���' �."����������� ��������� �� �����, ��"� �������"�� �����7����7��

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� �-�

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

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� �/�

� ����� ���

8� "��"'��� ��4��:,��� ����'�'��� ����"�����E�

(D�������������������������������� �����'�� �� ����"������E����4,��"������."�"��

������"���� ����$%� ����"�������

�D������������������� ������������ ����������� ����"����E����4,��"������."�"��

���� �"������ ����$%� ����"�������

������� ���� ��������� ��4��:,��� ����'�'����������>���,�"�������

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� �0�

5����������� �������

�������������� ��������������������� ��,� ���� ���"���",����� ����4���"���

�� ����"��I�������?� " �� ������������ ����,������

)�����,� ���� � ������'�� �� ����"���������,,�"���?�������,���"�� �� ����"������

, � �"����� ����"����

�� �"������,� ���� ���� "��"'���E�

F� ����,� ���� ��������"����������"����E��"�I�"�� ����"�I� "77� ���I�, � �"��

�� ���"�I������

F� ����,� ���� ���,��"7"������4������� �� ����E�������"�I�, �9���"�I�9�"�� �I�

������

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� �2�

�������

F� �������� ���E�

�� �I��I��� ����4, ���"����:���,�� �.���� ���� ����"�I�

�� �I�$I��� ������� ���� "����I�

�� UI�JI�X� �������"�����I�

�� ������.���� � ������� "������ ��������,���� I�

�� ��� "����CUD����������� ������� ������ "����� ������"�����UI�

�� �(I�NI���E������7�"����������4, ���"����(I�NI������� ���:,�����

�� ��S�.����7�"��������4, ���"���������.���� �.��

F� �"�U�S�R�(I�NI��T�����������"��������������� ���"��� ��,���"7�� ���(I�NI���

����%(I�NI�%���� �������� "�� ����� �'������".������� �����"�"�����E��

�� UE�%�,�� ��(E�%(I�NI��E�%�

�� �U�,�� �R�(�S� ��(I�NI���S� ��T�

F� �"������������ ���� ����"������� �����������4, ���"���"���,�� ��:,������:,��

�������,�� �.���� ����4���"�� �����

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� �&�

/��� ������������� ��������������

���>�� ����� ���� ����������

��"��E�

� �I���E� ��CUE�%D�

����E�

� ���C�I��D�E� ��CUE�%D�

� ���C�I��D�S�R �Y� �∈������ �∈��T�

� � ��C�I��D�E� ��CUE�%D�

� � ��C�I��D�S�R �Y� �∈������ �∈��T�

� ����C�I��D�E� ��CUE�%D�

� ����C�I��D�S�R �Y� �∈������ �∉��T�

�� ��4��,���E�

minus(

Sommet Altitude

Hidden Peak 8086

Everest 8848

Manaslu 8163

,

Sommet Altitude

Everest 8848

Manaslu 8163

) =

Sommet Altitude

Hidden Peak 8086

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� +1�

8����� ���� ����

��"��E�

� ��E� ��CUE�%UD�

� ��E� ��CJE�%JD�

� ��� "����CUD�∩���� "����CJD�S�∅�

����E�

� ��C�I��D�E� ��CUE�%UI�JE�%JD�

� ��C�I��D�S�R,�∪��Y�,�∈��I��∈��T�

�� ��4��,���E�

pc( Sommet1 Altitude

Everest 8848 ,

Sommet2 Pays

Everest Népal

Everest Chine

) =

Sommet1 Altitude Sommet2 Pays

Everest 8848 Everest Népal

Everest 8848 Everest Chine

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� +(�

��� ���

���,� ���� � ������ ����4� �"������������ �����,����� ���� ����"���"�.� "7"���

����� "�"�� �����

��"��E�

� ��E� ��CUE�%D�

� 7�E�RUE�%T�−>�$������

����E�

� ���C�I�7D�E� ��CUE�%D�

� ���C�I�7D�S�R �Y� �∈������7C D�S�6 �"T�

%����������7 ������H����7���"��7����������,� ���� � ��.���� � ���� "������

� �,�� ������ "�� ���"�,�"7"�����".����E�

� ���C�I���θ�.D�≡����C�I�7�� � ���θ�.D�

�� ��4��,���E�

sel(

Sommet Altitude

Everest 8848

Manaslu 8163

Hidden �Peak 8086

, Altitude > 8500) =

Sommet Altitude

Everest 8848

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� +��

8��?�� ���

���,� ���� � �����?�� ����4� �"������������ ���.���� �� �������"����� ����

����"���

��"��E�

� ��E� ��CUE�%UI�JE�%JD�

����E�

� ���?C�I�UD�E� ��CUE�%UD�

� ���?C�I�UD�S�R �U�Y� �∈��T�

�� ��4��,���E�

proj(

Grimpeur Sommet Face

Hillary Everest S

Tensing Everest S

Messner Manaslu S

Habeler Hidden Peak NO

Messner Hidden Peak NO

Beghin Manaslu O

, {Sommet, Face}) =

Sommet Face

Hidden Peak NO

Manaslu S

Everest S

Manaslu O

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� +��

��� ����

���,� ���� � ��9�"�� ��7��"��� ��4� ����"�����, � �"����������������"��� ��

��� ����,����� ��,���"7���"�.� "7"������� ��"�� "�� ���

��"��E�

� ��E� ��CUE�%UD�

� ��E� ��CJE�%JD�

� ��� "����CUD�∩���� "����CJD�S�∅ � 7�E�RUE�%UI�JE�%JT�−>�$������

����E�

� ?��C�I��I�7D�E� ��CUE�%UI�JE�%JD�

� ?��C�I��I�7D�S�R,�∪��Y�,�∈��I��∈��I�7C,�∪�D�S�6 �"T�

�������"�� ������ ��� �"�� �����������,� ��"���,��"7"��������7?�� ����,�� �

������������ "�� ���������'��"��� �� ��4�����"�������

8���E�

� ����@?��C�I��I�U�S�JD�≡�?��C�I��I�7�C9D�9�U�S�9�JD�

�H�U����J����� �������"������ ��,���"7�� ��������� �� ���"������,��"������

�� ��4��,���E�

equi_join(

Sommet1 Face

Everest N

Manaslu S

Hidden Peak NO

Manaslu O

,

Sommet2 Altitude

Everest 8848

Manaslu 8163

,

Sommet1 = Sommet2) =

Sommet1 Face Sommet2 Altitude

Everest N Everest 8848

Manaslu S Manaslu 8163

Manaslu O Manaslu 8163�

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� ++�

��� �����9 ����

���,����>� ����"��� ������ .� � ������ �������� ����9�"�� �I�������,����� ���!�����

��� ��4� ����"����"���,��.���>� ��9�"�������"�,����>� ��������,� ����,� ��"�� ��

?�� �����9 �����

��"��E�

� ��E� ��CUE�%UD�

� ��E� ��CJE�%JD�

� ��� "����CUD�∩���� "����CJD�S�∅

� U�S�RU(I�NI�U�T�

� J�S�RJ(I�NI�JT�

����E�

� �9 @?��C�I��I�7D�E� ��CUE�%UI�JE�%JD�

� �9 @?��C�I��I�7D�S����C��4�I�AI���4�D�

�H�E�

� A�S�?��C�I��I�7D�

� ��4��S���C����C�I�, �9CAI�UDDI�RRJ(�S�Nul l eI�NI�J�S�Nul l eTTD�

� ��4��S���CRRU(�S�Nul l eI�NI�U��S�Nul l eTTI�����C�I����?CAI�JDDD�

�� ��4��,���E�

ext_equi_join(

Sommet1 Altitude

Manaslu 8163

Everest 8848

,

Sommet2 Face

Everest S

Annapurna N

,

Sommet1 = Sommet2) =

Sommet1 Altitude Sommet2 Face

Manaslu 8163 Nulle Nulle

Everest 8847 Everest S

Nulle Nulle Annapurna N�

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� +-�

���7?�� ����

���,� ���� � �����"�9�"�� ���4� �"������������ �����,����� ���� ����"�� ���

���"���.������������"�� �����,����� �������� �� ����"��.� "7"������ ��"�

� "�� �������4, "���������"7"���"���4"����"������

��"��E�

� ��E� ��CUE�%UD�

� ��E� ��CJE�%JD�

� ��� "����CUD�∩���� "����CJD�S�∅ � 7�E�RUE�%UI�JE�%JT�−>�$������

����E�

� ����@?��C�I��I�7D�E� ��CUE�%UD�

� ����@?��C�I��I�7D�S�R,�Y�,�∈������∃�∈��I�7C,�∪�D�S�6 �"T�

�� ��4��,���E�

equi_semi_join(

Sommet1 Face

Everest N

Manaslu S

Hidden Peak NO

Manaslu O

K2 NE

Annapurna N

,

Sommet2

Annapurna

Manaslu

,

Sommet1 = Sommet2) =

Sommet1 Face

Annapurna N

Manaslu S

Manaslu O�

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� +/�

��#�����

���,� ���� � �� "."�"���4, "���������"7"���"���".� �������

��"��E�

� ��E� ��CUE�%UI�JE�%JD�

� ��E� ��CXE�%JD�

� ��� "����CJD�∩���� "����CXD�S�∅

� 7�E�RUE�%UI�JE�%JI�XE�%JT�−>�$������

����E�

� ".C�I��I�7D�E� ��CUE�%UD�

� ".C�I��I�7D�S��

R4�Y�4�∈�, �9C�I�UD����C∀�∈��I�∃,�∈��I�,�U�S�4����7C,�∪�D�S6 �"DT�

�� ��4��,���E�

equi_div(

Sommet Face1

Everest S

Manaslu S

Everest N

Everest O

Manaslu O

Everest E

,

Face2

N

E

S

O

, Face1 = Face2) = Sommet

Everest�

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� +0�

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

�������������.���.�I������,� ���� ���"�" ��� ������'�� �� ����"������"�,�����

������ �"������ ��������� ���� "����� ����,� � ���C�������� ������� "�9�"���

���" ��"���D�����,���� ���>� ��������" �� �� ����� ��� ��"����� "������.���

��,,�"�� ������,� ���� ��E���������� *��� �����,� ���� ��������

��"��E�

� ��E� ��CNI��E�%I�ND�

����E�

�����C�I��I�$D�E� ��CNI�$E�%I�ND�

�����C�I��I�$D�S�

����"�� ���>����:,����� ���>����4���"������I�

�4��,������ �����'�� ������� "������,� �$��

�� ��4��,���E�

rename(

Nom Altitude

Everest 8848

Manaslu 8163

Hidden Peak 8086

, Nom , Nom_Sommet) =

Nom_Sommet Altitude

Everest 8848

Manaslu 8163

Hidden Peak 8086

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� +2�

;9�������

8� ������Nom_Sommet _Conqui s ������ "����Nom_Sommet � ����� ����"��Conquêt e�E�

Conquêt e : = r ename( Conquêt e, Nom_Sommet , Nom_Sommet _Conqui s)

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

C : = sel ( Conquêt e, Gr i mpeur = " Messner " )

SC : = equi _j oi n( Sommet , C, Nom_Sommet = Nom_Sommet _Conqui s)

Réponse : = pr oj ( SC, { Nom_Sommet , Face, Al t i t ude} )

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

L : = sel ( Local i sat i on, Pays = " Paki st an" )

V : = equi _semi _j oi n( Conquêt e,

L,

Nom_Sommet _Conqui s = Nom_Sommet ) ;

Réponse = pr oj ( V, Gr i mpeur )

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

C = pr oj ( Conquêt e, { Gr i mpeur , Nom_Sommet _Conqui s} )

S = pr oj ( Sommet , Nom_Sommet )

Réponse = equi _di v( C, S, Nom_Sommet _Conqui s = Nom_Sommet )

��������������������������!"##���������� ����� �������������������������

�$���������

S = sel ( Sommet , f un( s) s. Al t i t ude > 8500) ;

L1 = sel ( Local i sat i on, Pays = " Népal " )

L2 = sel ( Local i sat i on, Pays = " Chi ne" )

Réponse = i nt er ( pr oj ( S, Nom_Sommet ) ,

mi nus( pr oj ( L1, Nom_Sommet ) ,

pr oj ( L2, Nom_Sommet ) ) )

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� +&�

������ � �������"�����

��

���C�I�7D 7�

7�

�� ��

?��C�I��I�7D�

��

U����?C�I�UD�

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� -1�

+���������� �����

����4"���� ��4��:,��� ������������� ���������������� �, �����������.� "������E�

F� �������������� ��������7���� ��E����.� "����� ��"'������,����C�������"'��

�������D��

F� �������������� ����������������E����.� "����� ��"'�����.���� � �� ���"��

C��������� ��������� ���������D��

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� -(�

+���������� ��������7���� ��

B��7� ����� ��������� ����"���� ����,��������� �7""��,� ����� �'������".�����E�

F� �!����.� "��������������"���?���� ����"��������� ��"'������,���� ���������"�Z�

F� �"�4��������.� "����I�������4������.���� � ������� "������ ����,����4�Z�

F� ��4��������� ����"�����. �"��"�4���������,���� ����� ����"����Z�

F� ������C�H�������������������"��� ���D�����(��(����������� ����� �����"�����

. �"���"����, � "���� �����,� �"���θ�C[�S��\�]D�����.� "7"�I�7��4��"��Z�

F� ���� ����������7� �����Z�

F� �"�7��������7� �������� ��C7D������7����� ���7� ������Z�

F� �"�7����'����� ���7� ��������� ��7����'I�7����'I�7���'����� ���7� ������Z�

F� �"�7��������7� ����� �����������4��������.� "������"� ����� ��∃4�7����∀4�7����� ���

7� ������ �������������4������"����������.� "�������"� ��� ��7���� �������� ������

�"� ���Z�

F� ������������������ �'�����"�,� ������� ������ �" �� ���7� �������

B���4, ���"�� ��������� ����"���� ����,��������� �����7� ���E�

� RR$(�S�4(��(I�NI�$�S�4��T�Y�7T�

�H�7��������7� ����� ��������� ����"���� ����,����I�$(I�NI�$����� �������

���� "��������4(I�NI�4����� ���.� "�������"� ��� ���7��

3��������"��E� �̂������� ����������� �����,�����R$(�S��(��(I�NI�$�S����T���������7�

����. �"�,�� �4(�S��(I�NI�4�S����

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� -��

;9�������

����������������������������������!%##����

{ { S = s. Nom_Sommet , A = s. Al t i t ude} | Sommet s et

s. Al t i t ude > 8100}

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

{ { S = c. Nom_Sommet , F = c. Face, A = s. Al t i t ude} | Conquêt e c et

Sommet s et c. Nom_Sommet = s. Nom et c. Gr i mpeur = " Messner " }

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

{ { G = c. Gr i mpeur } | Conquêt e c et ∃l ( Local i sat i on l et

l . Pays = " Paki st an" et l . Nom_Sommet = c. Nom_Sommet ) }

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

{ { G = c. Gr i mpeur } | Conquêt e c et ∀s ( Sommet s �

∃c' ( Conquêt e c ' et c ' . Nom_Sommet = s. Nom_Sommet et

c ' . Gr i mpeur = c. Gr i mpeur ) ) }

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� -��

+���������� ����������������

B��7� ����� ��������� ����"���� �� ���"������� �7""��,� ����� �'������".�����E�

F� �!����.� "��������������"���?��� ���"����� ��"'�����.���� � ������"��"�Z�

F� �C�(�S�.(I�N�I���S�.D���H�.(I�NI�.����� �������������"��� �������� ���

.� "�����I��������� ����"�����. �"���"���4"��������,���� ����� ����"�����:���.(�

,�� �.���� � ������� "�����(I�NI�.�,�� �.���� � ������� "������Z�

F� .(�θ�.����H�.(����.������ �������������"��� �������� ���.� "�����I��������� ����"�

����. �"��"����, � "���� �����,� �"���θ�C[�S��\�]�D�����.� "7"�����7��4��"��Z�

F� ���� �'�������� �������7� ���������������>�������,�� ����������� ����,�����Z�

F� ������������������ �'�����"�,� ������� ������ �" �� ���7� �������

B���4, ���"�� ��������� ����"���� �� ���"������� �����7� ���E�

RR�(�S�4(I�NI���S�4T�Y�7T�

�H�7��������7� ����� ��������� ����"���� �� ���"��I��(I�NI������� �������

���� "��������.(I�NI�.����� ���.� "�������"� ��� ���7��

3��������"��E� �̂������� ����������� �����,�����R�(�S�.(I�NI���S�.T���������7�����

. �"��,�� �4(�S�.(I�NI�4�S�.�_��

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� -+�

34��,����

����������������������������������!%##����

{ { S = s, A = a} | Sommet ( Nom_Sommet = s, Al t i t ude = a) et

a > 8100}

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

{ { S = s, F = f , A = a} |

Conquêt e( Gr i mpeur = " Messner " , Nom_Sommet = s, Face = f )

et Sommet ( Nom_Sommet = s, Al t i t ude = a) }

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

{ { G = g} | ∃s ( Conquêt e( Gr i mpeur = g, Nom_Sommet = s) et

Local i sat i on( Nom_Sommet = s, Pays = " Paki st an" ) }

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

{ { G = g} | ∀s ( Sommet ( Nom_Sommet = s) �

Conquêt e( Gr i mpeur = g, Nom_Sommet = s) }

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� --�

������� �������#�������������

���, �������.�������� ��.���� �������� ���������,�����"�,�"���� �� �7"" � ���

�'����,�� ���� ���",����"���

�������������" ���������� �"� � �" ������ �"�"����.���� � ��.� "����������

��� ���I ndéf i ni ��

���� �'��������������".�����E�

F� ��� �������� ������������������ �����.���� �Nul l e������������� ��.���� �:�

���, "��Nul l e���,�� �.���� �I ndéf i ni ��

F� ���� ���������#�� � ���� �"��������� ����'"���������� "7"���� �����7�L��

��".����E�

� Vr ai Faux I ndéf i ni

Vr ai Vr ai Faux I ndéf i ni

Faux Faux Faux Faux

I ndéf i ni I ndéf i ni Faux I ndéf i ni

�� Vr ai Faux I ndéf i ni

Vr ai Vr ai Vr ai Vr ai

Faux Vr ai Faux I ndéf i ni

I ndéf i ni Vr ai I ndéf i ni I ndéf i ni

Vr ai Faux

Faux Vr ai

I ndéf i ni I ndéf i ni

@A���������5�"� �� $����� �� ����� ����"�����������'�'��� ����"����� -/�

$����

B��#���������� ����"��." ������I��4, "�������� ���� �����'�'�� ����"�����

����.����,� ������� �� �7"" ������� ������4�� ����

��,,����I�,� ��4��,��I��������� �.�"�������.����� �����, ��"� ����� ����������

����,����8�,�� �� �7"" ����.�����".���E�

Pr emi èr e_au_Népal ( Nom_Sommet , Face, Al t i t ude, Année) =

{ { Nom_Sommet = s, Face = f , Al t i t ude = h, Année = a} |

Pr emi èr e( Nom_Sommet = s, Face = f , Année = a)

et Sommet ( Nom_Sommet = s, Al t i t ude = h)

et Local i sat i on( Nom_Sommet = s, Pays = " Népal " ) }

�"�,�� ��>� �����"�����",������������"���������"����� ����"�� �7""����

�4���"���

�� ��4��,����������� ������������,���"�� ��,���� ��2-11��' �."����(&-+�

,�� ���>� ���������,� ���� ��>���E�

{ { S = s} | Pr emi èr e_au_Népal ( Nom_Sommet = s, Al t i t ude = h,

Année = 1954) et h > 8500}

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� -0�

+���� ���������"������� �����

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� -2�

� ����� ���

B���>���$%�,����>� �� �, �������,� � "77� ������������� �� ����"������������

�, ������"���!�"�"�I��� ��"��, ��������,��.������,��� ��� �� ������"���?�9�� � ��

���$%�����" � ���,� ��4��,������ ����"��E�

Nom_Sommet Face Al t i t ude Année

Ever est S 8848 1953

Manasl u S 8125 1972

Hi dden- Peak NO 8068 1975

Ever est SO 8848 1975

����"���?�9�� � �������� ����"��,��������, ����������".����E�

�� ���� ���E������������,����>� ��"�� ������"����, ��"� ��������"����� ����

��������

�� �������� ���E��"������"�� �� ����3.� ���������� "7"���"��7��������� "7"� � ����������

����, ��"� ����� ������������

�� �����������E��"����"���, ��"� ���� ����������������,, "������"7� ���"���

���� ���������"�� ������,� ����

��������"��?�����, �����������"����?����������������!���� �����$%���

����,������� ��"��� ����"�����

������ ����,��"�"�����,,�"���� ���������������"��4"������� ����������"������

���� ����"����� ��4��,��I���� �,� ������ �������� �������������������"�� ��

����"���� �������� �����������������,�:�� �����������"������ ��.���

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� -&�

6�������� ���� ����� ����������������� ��������

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

���:����������������� ��������� ��������"�����U����������"�����J�

���� ����"�����"�,�� ��������4���"�� ���I�?��!����.���� � ��U�"���� ��,� �

���9�� ������>���.���� � ��J��8� "�����U�� ��������� �������� �J��������

����E�

� U�−>�J�

B�� �,� ����7���"������U��\�J����� "��� ��#������"�J�����." ������"��������

������������� ��U���� ��4��,��I����� �,� �����E�

{ Nom_Sommet , Face} - > Face

{ Nom_Sommet , Pays} - > { }

����� "."������

%������$%�V�����2111W��������� �,� �����7���"���������� "."�������".�����E�

Nom_Sommet −> Al t i t ude

{ Nom_Sommet , Face} −> Année

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� /1�

8����� ������������������ ��������

��,� �" � ����������� �� �,� �����7���"������I���,������ � �" �� ���� ����

�� ��4��,��I�?�,� �" � ��� �,� �����Gr i mpeur �\ Vi l l e�C."���� ���"�����D����

Vi l l e �\ Pays ���,���� � �" ����� �,� ����Gr i mpeur �\ Pays �C,�:�� ��

�"�����D��

3���� ������������� �� �,� �����;����� �"���� ������������� ������ "�����

���� ����"�I�����������;<�C����� ���� ��;D� ������������� �,� �����

7���"���������'"������"�,�"�����,� �;�,����>� ����������?�,� �" � ���� �"�� �'����

��".�����C�4"����� �� ��� �'D�E�

C����9�#� D��"�J�⊆�U�⊆������ ��U��\�J�

C����� � ��D��"�U��\�J����X�⊆������ ��U�∪�X��\�J�∪�X�

C ���� �#� D��"�U��\�J����J��\�X���� ��U��\�X�

%����4"����� �� ��� �'���,���� � �" �� ��4� �'����,����, ��"����,�� �������� �

;<�E�

C���D��"�U��\�J����U��\�X���� ��U��\�J�∪�X��

C�������� ��D��"�U��\�J�∪�X���� ��U��\�J����U��\�X��

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� /(�

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

8�,���� �7"" �������� ���� ����"����������������������� ��������� "������"�

��� �"�������������� ����

B�����"�����U� ���� ����"���C�(I�NI��D������������ �������� ����"���"����

����������"�E�

F� U��\�R�(I�NI��TI�

F� "����4"����,��� ������"�����J�"����� ���U��������J��\�R�(I�NI��T��

3���� �������� ����"���������� ����������I����,,������ ���� ��������� "�����"�

�,,� �"���?��������������� ���� �����I������ "�����"��:��,,� �"���,����

8��,,����������7���������"������"�"�������������

�� ��4��,��� ������ ����"��Pr emi er e( Nom_Sommet , Face, Année) � ������

{ Nom_Sommet , Face} �E�

F� { Nom_Sommet , Face} �������������� �{ Nom_Sommet , Face} �\ Année����,� �

��'�����"��{ Nom_Sommet , Face} �\ { Nom_Sommet , Face, Année} I�

F� Nom_Sommet ����Face����� ������ "����������,�� ����������I�

F� Année���������� "����������,�� ������������

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� /��

'�����������������

B�� ����"��������'������������������"������������� "�����������.���� �����"����

���7�"����� �������� ���� ����"�������� ���"�����"�������"����"�,�"������

����������� ����"���������(� ��7� ���� ������

�� ��4��,��I���� ����"����".���������,�����(� ��7� ���� ������� ������ "����Pays �

,���� �� ���.���� ��������"�����

Nom_Sommet Pays

Ever est Chi ne, Népal

K2 Chi ne, Paki st an

����"��������7� ���� ����������"���!�����������?��!���� ���,�:��������"��

�,,� �"����

Nom_Sommet Pays

Ever est Chi ne

Ever est Népal

K2 Chi ne

K2 Paki st an

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� /��

2���������������

B�� ����"��������2����������������"������������(

� ��7� ���� ���������"��!����

��� "���������� �,� ����������������,� �"�������� ���������, "��" ���

�� ��4��,��I���� ����"����".����E�

Nom_Sommet Face Al t i t ude Année

Ever est S 8848 1953

Manasl u S 8125 1972

Hi dden- Peak NO 8068 1975

Ever est SO 8848 1975

�����,��������7� ���� ������� ������ ������ �,� �����

Nom_Sommet ��\�Al t i t ude ����� "����Al t i t ude��� �,� ���� ������� "����

Nom_Sommet � ���������, "��" ���

3����,����>� �� ����,������� ��4� ����"���E�

Nom_Sommet Face Année Nom_Sommet Al t i t ude

Ever est S 1953 Ever est 8848

Manasl u S 1972 Manasl u 8125

Hi dden- Peak NO 1975 Hi dden- Peak 8068

Ever est SO 1975

�"����������7� ���� ��������, ��� .������� �,� �����7���"��������

8� ��� �� ������� ����"���"����������, "��" ��������� "�������������7� ���

� ������

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� /+�

)���������������

B�� ����"��������)����������������"�������������

��7� ���� ���������"�,�� �

�!���������� " ����"����4"����,��� �� �,� ������� ��������� "�������,,� �����

,���?������������

�� ��4��,��I��"�������,,�������� �,� �����7���"�������Gr i mpeur �\ Vi l l e ���

Vi l l e �\ Pays ���� ����"����".����E�

Gr i mpeur Vi l l e Pays

Compagnoni Cor t i na I t al i e

Lacedel l i Cor t i na I t al i e

Buhl I nnsbr uck Aut r i che

�����,��������7� ���� ������� ���������� �,� ������ ��Vi l l e����Pays ��"�

��,,� �"����,���?���������

3����,����>� �� ����,������� ��4� ����"���E�

Gr i mpeur Vi l l e Vi l l e Pays

Compagnoni Cor t i na Cor t i na I t al i e

Lacedel l i Cor t i na I nnsbr uck Aut r i che

Buhl I nnsbr uck

�"����������7� ���� ��������, ��� .������� �,� �����7���"��������

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� /-�

����������������1����7+����

B�� ����"��������������������������1����7+����C1+6�D��"�,�� ��!����

�,� ����7���"��������� "."����U��\�JI�U����������,� ����� �����

���7� ���� ����� ��$�:����� �"�,�"���������7� ���� ������

������7� ���� �����������"� � �"���,�� ���" ����,��� ��� �,� ������� ��,� �"���

��������� ��� �,� ������� ������� "����������������,� �"�� ����������

�� ��4��,��I���� ����"���

Adr esse( Rue, Vi l l e, Code_post al )

�.������� �,� �����7���"�������{ Rue, Vi l l e} �\ Code_post al ����

Code_post al �\ Vi l l eI��� ��4�������� " �����{ Rue, Vi l l e} ����

{ Rue, Code_post al } ��

3���������,�����$��;��� � ������ �,� �����

{ Rue, Code_post al } �\ Vi l l eI�Code_post al ������,��������,� ������

3����,����>� �� ����,������� ��4� ����"���E�

RC( Rue, Code_post al )

CV( Code_post al , Vi l l e)

�"�������7� ���� ����� ��$�:����� ������ ������,� ������������

����,��"�"����, ��� .��,������ �,� ����7���"�������

{ Rue, Vi l l e} �\ { Code_post al } . �

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� //�

6�������� ���� ����� ����������������� �#������

����������� �#�����

8� "����"��:����������������� �#������� ��������"�����U������

����"�����J� ���� ����"���CUI�JI�XD��"�,�� ��������4���"�� ���I�?��!����.���� �

��U�"���� ��,� ����9�� ������>����������� ��.���� �� ��J�������������������

��.���� ���� �,� �,��� ���.���� �� ��X��8� "�����U���� �� ������J��������

����E�

� U��\\�J�

%������ ����"��Local i sat i on�������� �,� ��������".������E�

Nom_Sommet - >> Pays

��� ������ ����"��Conquêt e�E�

{ Nom_Sommet , Face} - >> Gr i mpeur

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� /0�

8����� ������������������ ��������� ���� �#������

3���� ������������� �� �,� �����%I�7���"��������������".������I�

���� �"���� ������������� ������ "����� ���� ����"�I����7� ���� ��%<� �������������

�,� �������'"������"�,�"�����,� �%�,����>� �����������?�,� �" � ����4"�����

�� ��� �'���� ���-� �'������".�����E�

C������� � ��D��"�U��\\�J���� ��U��\\�����U���J�

C����� � ������ �#����D��"�U��\\�J����6�⊆������` �⊆�6���� ���

6�∪�U��\\�` �∪�J��

C ���� �#� ���� �#����D��"�U��\\�J����J��\\�X���� ��U��\\�X���J��

C������ ��D� �"�U��\�J���� ��U��\\�J��

C�����D� �"�U��\\�J����X�⊆�J�����"�"���4"����` �⊆������ "�9�"�� ��J���������

` ��\�XI���� ��U��\�X��

%������2� �'������,���� � �" ���� �'����,�����"�,����,�� �������� �%<�E�

C������� �#����D��"�U��\\�J����U��\\�X���� ��U��\\�J�∪�X�

C� ����� ��D��"�U��\\�J����U��\\�X���� ��U��\\�J�∩�X�

C��������D��"�U��\\�J����U��\\�X���� ��U��\\�J�−�X����U��\\�X���J��

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� /2�

A���������������

B�� ����"����������+��7� ���� ����I��"�,�� ��!���� �,� ��������".��������

� "."����U��\\�J����������U�∪�J��"�����,��������������� "����� ���I�U����������,� �

���� �����

���+��7� ���� �����"�,�"������7� ���� ����� ��$�:����� �,�"������

�,� ����7���"����������������,� �"���"� � �� �,� ��������".�������

�� ��4��,��I���� ����"����".�����

Gr i mpeur Nom_Sommet Pays Face

Hi l l ar y Ever est Népal S

Hi l l ar y Ever est Chi ne S

Tensi ng Ever est Népal S

Tensi ng Ever est Chi ne S

�����,�����+��7� ���� ������� ���� �,� ��������".������Nom_Sommet ��\\�Pays �

�"������,��������,� ����I��"�����,��������������� "������

3����,����>� �� ����,������� ��4� ����"���E�

Nom_Sommet Face Gr i mpeur Nom_Sommet Pays

Ever est S Hi l l ar y Ever est Népal

Ever est S Tensi ng Ever est Chi ne

�"�������+��7� ���� ������� ���� �,� �����

{ Nom_Sommet , Face} - >> Gr i mpeur "����������������� "����� �����, ��"� ��

����"�������� �,� ����Nom_Sommet ��\\�Pays �"����������������� "����� �����

��4"���� ����"���

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� /&�

8����� ��������������� ���

��"��������!���� �� ����"������(I�NI������� ����"���"������ ���� ����,��"�"��%�

����E�

F� %������������ ���"���� ����"����,����>� �� ����,�����,� �9�"�� ��� ��� ����"���

�(I�NI����

F� %������#������������������ ���������"����� �,� �����7���"������� ��

������"�,�"�����,� ����� �,� �����7���"������� ���(I�NI����

������� ���� �����E�

F� )����� ����"���������"����� ����,��"�"�������7� ���� ������"�, ��� .������

�,� �����7���"�����������"���������,� ����

F� )����� ����"���������"����� ����,��"�"����+��7� ���� ������"���������

,� �����"���"�,������,���, ��� .� ����� �,� �����7���"��������

� ��������������������� ����� ����"���

Adr esse( Rue, Vi l l e, Code_post al )

� ��� "����"� �������

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� 01�

�������� ���������"������� �������A��

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

��� ����,��"�"�� �����!���� ����"������+��7� ���� ����I������$��;���"���:�

��,��� �� �,� ���������".������I�,����>� ���������,� �����'� "�!�����".���E�

(D�8�,� �� �����!����������"���� ���������� ����"���I� "�����#�������I�

���,����� �������������� "�������� ������������%� ��� �,� ������� ������

��� "����� ��B���

�D�)�����"���4"���� �������� ����"�����"������,�����+��7� ���� ����I���

�!� �!�� ���%<���� �,� ����U��\\�J�����������CUI�JI�XD����U������,������

���� ����������� ��,������� �����,� ����� ��4� ����"����(CUI�JD������CUI�XD��

�D�8���"�"������ � � ������� ��,��������������,��� �� ����"����CUD�����CJD�

,� ��CUD��"�U�⊂�J��

��� �����" ���� ����,��"�"���"�, ��� .������ �,� �����7���"������� ��%I��"��

��7�����77����� I�?������,���I���� ��� ����,��"�"����"�, ��� .�������

�,� ������

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� 0(�

;9������'�

S = { R( Nom_Sommet , Al t i t ude, Pays, Face, Année, Gr i mpeur ) }

D = { Nom_Sommet - > Al t i t ude,

Nom_Sommet - >> Pays,

{ Nom_Sommet , Face} - > Année,

{ Nom_Sommet , Face} - >> Gr i mpeur }

_____

S = { R1( Nom_Sommet , Al t i t ude) ,

R2( Nom_Sommet , Pays, Face, Année, Gr i mpeur ) }

_____

S = { R1( Nom_Sommet , Al t i t ude) ,

R3( Nom_Sommet , Pays) ,

R4( Nom_Sommet , Face, Année, Gr i mpeur ) }

_____

S = { R1( Nom_Sommet , Al t i t ude) ,

R3( Nom_Sommet , Pays) ,

R5( Nom_Sommet , Face, Année) ,

R6( Nom_Sommet , Face, Gr i mpeur ) }

�����!������������+��7� ���� �����C��� ������

��7� ���� ����D��������

�,� ���������, ��� .�����

@A���������5�"� �� $����� �� ����� ����"�������������,�"�� �����!���� ����"���� 0��

;9������2�

S = { R( NCom, NLi g, COpt , CVoi t , PCat , PFac) }

D = { { NCom, NLi g} - > CVoi t ,

{ NCom, NLi g, COpt } - > PFac,

{ CVoi t , COpt } - > PCat }

�������� ����#��������#� ����������������

S = { R1( CVoi t , COpt , PCat ) ,

R2( NCom, NLi g, COpt , CVoi t , PFac) }

_____

S = { R1( CVoi t , COpt , PCat ) ,

R21( NCom, NLi g, CVoi t ) ,

R22( NCom, NLi g, COpt , PFac) }

�����!������������$��;�C��� ��������7� ���� ����D�������� �,� �����

7���"�����������, ��� .�����

�������� ������������#� ����������������

S = { R1( NCom, NLi g, CVoi t ) ,

R2( NCom, NLi g, COpt , PCat , PFac) }

�����!������������$��;�C��� ��������7� ���� ����D���"����� �,� ����

7���"������{ CVoi t , COpt } �\ PCat �����,� ����

@A���������5�"� �� $����� �� ����� ����"������������� 0��

-��

@A���������5�"� �� $����� �� ����� ����"������������� 0+�

� ����� ���

�����'�'�������������.� �"������� �"��"���� ����'�'���3�B3�� ��, ����:,��

�:������� �.���,,��?��$5����A����?�,� �" � ��(&0-��

����� �,�"��7�"������9��� ��,���"�� ��� ���� ������,���� �������������������"��������

� �,���,� ����,��,� �� ����#$%� ����"����� ���� �!���

�����'�'���������������?����7�"���� �����'�� �� ����"������������������� ����"����

����,������

�����'�'�� �� "�� �������!�,"� ��������7� ���?����� ���������

%������� �'���� ��' ����" �����������:���������".������ �����"�"����E�

Y�� � � "�9���"��

ab� � � �,�"���"���

�"���� ��&��� ≡�&�aI�NI�&b�

@A���������5�"� �� $����� �� ����� ����"������������� 0-�

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

+�� ��������������

CREATE DOMAI N������ �������'��'�������Z�

� �������'��'�������EES�

� ����

� DEFAULT�(����'��'� ���

� aCONSTRAI NT����b�CHECK�( ��������) �

����EES�

� CHAR�a( ��������) b�

� Y�VARCHAR�a( ��������) b�

� Y�I NTEGER�

� Y�FLOAT�

� Y�DATE�

� N�

(����'��'� ���EES�

� �������

� Y�USER�

� Y�NULL�

� Y�CURRENT_DATE�

� B�

@A���������5�"� �� $����� �� ����� ����"������������� 0/�

;9�������

CREATE DOMAI N NOM_DE_SOMMET

CHAR( 20) ;

CREATE DOMAI N ORI ENTATI ON

CHAR( 2)

CHECK ( VALUE I N ( ' N' , ' S' , ' O' , ' E' , ' NO' , ' SO' , ' NE' , ' SE' ) )

NOT DEFERRABLE;

CREATE DOMAI N NOM_DE_PAYS

CHAR( 10)

CHECK ( VALUE I N ( ' Paki st an' , ' Chi ne' , ' Nepal ' , ' I nde' ) )

NOT DEFERRABLE;

@A���������5�"� �� $����� �� ����� ����"������������� 00�

+�� �������� �����

CREATE TABLE�����

� (�"���� ��� �������'��'�������� �

� a�"���� ���������'��'���b) ; �

� �������'��'��������EES� �

� ����

C���'��'�������Y����D�

� a�"���� ���������'��'�������b�

� aDEFAULT�(����'��'� ��b�

�������'��'��������EES�

� aCONSTRAI NT����b�

� ���'��'�������'��'��������

� ����'��'��������

���'��'�������'��'��������EES�

� PRI MARY KEY�

� Y�NOT NULL�

� Y�UNI QUE�

� Y�CHECK�( ��������'���'(����) �

� Y�REFERENCES����'��'���( ���'��'�������) �

����'��'��������EES�

� aNOTb�DEFERRABLE�

@A���������5�"� �� $����� �� ����� ����"������������� 02�

�������'��'����EES�

� aCONSTRAI NT����b�

� ���'��'�������'��'����

� ����'��'��������

����������������������EES�

� PRI MARY KEY�(�"���� �����'��'�������) �

� Y�NOT NULL�(�"���� �����'��'�������) �

� Y�UNI QUE�(�"���� �����'��'�������) �

� Y�CHECK�( ��������'���'�����) �

� Y�FOREI GN KEY��"���� �����'��'��������REFERENCES�

����������(�"���� �����'��'�������) �

@A���������5�"� �� $����� �� ����� ����"������������� 0&�

;9�������

CREATE TABLE SOMMET

( NOM_SOMMET NOM_DE_SOMMET PRI MARY KEY,

ALTI TUDE I NTEGER CHECK ( ALTI TUDE > 8000) ) ;

CREATE TABLE LOCALI SATI ON

( NOM_SOMMET NOM_DE_SOMMET REFERENCES SOMMET( NOM) ,

PAYS NOM_DE_PAYS) ;

CREATE TABLE PREMI ERE

( NOM_SOMMET NOM_DE_SOMMET,

FACE ORI ENTATI ON,

ANNEE I NTEGER NOT NULL CHECK ( ANNEE > 1950) ,

PRI MARY KEY ( NOM_SOMMET, FACE)

FOREI GN KEY ( NOM_SOMMET) REFERENCES SOMMET( NOM_SOMMET) ) ;

CREATE TABLE CONQUETE

( GRI MPEUR CHAR( 20) NOT NULL,

NOM_SOMMET NOM_DE_SOMMET,

FACE ORI ENTATI ON,

FOREI GN KEY ( NOM_SOMMET, FACE)

REFERENCES PREMI ERE( NOM_SOMMET, FACE) ) ;

@A���������5�"� �� $����� �� ����� ����"������������� 21�

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

3���������� "7"���"������ ���"����,� ��������� ��ALTER���������,, ���"��,� ����

����� ��DROP��

ALTER DOMAI N����'��'�������� �������'��'�������Z�

ALTER TABLE����'��'��������������'��'����Z�

����������'��'����EES�

� ADD COLUMN�� �������'��'��������

� ADD CONSTRAI NT��������'��'����

� DROP COLUMN����'��'��������

� DROP CONSTRAI NT����'��'��������

DROP DOMAI N����'��'�������aRESTRI CT�Y�CASCADEb�Z�

DROP TABLE����'��'����aRESTRI CT�Y�CASCADEb�Z�

;9�������

)�������*������$����*�+� ������,���������-�.-�-�

ALTER TABLE PREMI ERE

ADD COLUMN CHEF_D_EXPEDI TI ON CHAR( 30) ;

/���������������01�23-&-�

DROP TABLE CONQUETE;

@A���������5�"� �� $����� �� ����� ����"������������� 2(�

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

� ������ ���

����:��4��C�"�,�"7"��D� ���� ��>����������� �7""��,� ����� �'������".��������

��".����E�

�������EES�

� SELECT�aDI STI NCTb�����������

� FROM��"���� ��C���'��'����aaASb����bD�Y�C�������������D�

� WHERE����������

� aGROUP BY��"���� �����'��'��������

� aHAVI NG���������b�

� aORDER BY��"���� ��CC���'��'��������Y�����'��'�������D�CASC�Y�DESCDb;

�������EES��������CUNI ON�Y�I NTERSECT�Y�EXCEPTD��������

�������EES�( ������)

���,� ���� �SELECTNFROMNWHERE����� �"�����������?�,� �" � �����������,��"7"����

,� �����������FROM�������������,��.���>� �� ���������� �����������"����� �������� ��

��>�����B�������� �������,����>� �� ��������B�������� �������� ���� ��>���

�"��>� �������������������� ��������������� �"���,� ����,� ���� �

SELECTNFROMNWHERE ,��.���>� ����������B���� ����������� ������������

��� "����,� �����������AS��

@A���������5�"� �� $����� �� ����� ����"������������� 2��

����������EES�

� * ��

� Y�����'��'���. * ��

� Y���"���� ��C����'��'����������aAS����bD�

����'��'����������EES�

� �+���������

Y���������

�+���������EES�

� (�����

Y����'��'��������

� Y��+��������'��$� �����

� N�

(�����EES��������Y��$4��'��'��������

���'��'��������EES�a���'��'���. b����

�� �����EES�

� COUNT( * ) �

� �� ����'�*�� ����( aDI STI NCTb��+��������) �

�� ����'�*�� �����EES�

� CCOUNT�Y�SUM�Y�AVG�Y�MAX�Y�MI ND

@A���������5�"� �� $����� �� ����� ����"������������� 2��

���������EES�

� ��������' � �������

� Y�NOT����������

� Y����������CAND�Y�ORD����������

� Y�( ��������) �

��������' � �������EES�

� ������������'��'�������

� Y���'��'(����'������

� Y�����������

� Y���������','��'����(����

Y���������','��'���������

� Y���'�*��������'(����

������������'��'�������EES��+���������aNOTb�LI KE�������'��'�$4���

��'��'(����'������EES����'��'(�����I S�aNOTb�NULL�

����������EES��

����'��'�����������C=�Y�<>�Y�>�Y�<�Y�<=�Y�>=D�����'��'����������

� Y��+���������C=�Y�<>�Y�>�Y�<�Y�<=�Y�>=D�CALL�Y�SOMED�������'����'��������

����'��'����������EES��+���������Y��������

��������','��'����(����EES�

� �+���������BETWEEN��+���������AND��+���������

��������','��'���������EES�

�+����������CI N�Y�NOTI ND�( ��������'��'(�����)

� Y�(�"���� ���+��������) ��CI N�Y�NOTI ND�( ������)

� Y���������CI N�Y�NOTI ND�( ������)

��������'��'(������ES�

(�"���� ��(����) Y�������'����'��������

��'�*��������'(����EES�EXI STS�( ������) �

@A���������5�"� �� $����� �� ����� ����"������������� 2+�

�� ������������ ��� ��� �C �

��� �,����?���� ��>����

� SELECT�N�FROM�N�WHERE�N�GROUP BY�N�HAVI NG�N�ORDER BY�N��

�������������)/����� �"��� �����7�L����".����E�

(��8� ���"������, � �"���� ���"�� �����������"����� �������������FROM��8����"���

���������)(��

���8� ��� �"��)(���4��"'����"�.� "7"�������� "�"�� ������������WHERE��8����"���

���������)���

���8� �' ��,�������"'��� ��)������������ "�� ����(I�NI��O� ������������GROUP BY��8�

���"������������)�� ����!�����"'������ �����7� ���[.(I�NI�.OI�'\��H�'��������

�������������C���' ��,�D� ����"'��� ��)���"�������.���� �.(I�NI�.O�,�� �����

� "�� ����(I�NI��O��

+��8� ��� �"���!����' ��,�� ��)����4��"'����"�.� "7"�������� "�"�� ������������

HAVI NG��8����"������������)+��

-��8�, �9�����)+��� ������������ �7""��� �������������SELECT����� ��!�����"'�I�

�����,� ��"��� ��' �'��"�����,,�"�������' ��,��'����������� ����,� ��"�������

�,����[.(I�NI�.O\��8����"������������)-��

/��8�� "��)-����������� "�� ��� ������������SORT BY��8����"������������)/� �,����?�

��� ��>����

@A���������5�"� �� $����� �� ����� ����"������������� 2-�

;9�������

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

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

SELECT NOM_SOMMET

FROM SOMMET;

����������� ��� ������%5"6�����������������������������������

SELECT *

FROM PREMI ERE

WHERE ANNEE = 1953

AND ( FACE = ' S' OR FACE = ' N' ) ;

����"��

SELECT *

FROM PREMI ERE

WHERE ANNEE = 1953

AND FACE I N ( ' S' , ' N' ) ;

��������������������������������������������������������7�� 8���

SELECT NOM_SOMMET, 3. 29 * ALTI TUDE

FROM SOMMET

WHERE NOM_SOMMET LI KE ' %Peak%' ;

����������������������������*�����������������������!%##�����!"##�����

SELECT NOM_SOMMET, ALTI TUDE

FROM SOMMET

WHERE ALTI TUDE BETWEEN 8100 AND 8500;

@A���������5�"� �� $����� �� ����� ����"������������� 2/�

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

9������������$�������������������������������������!%##��������������*������

�������������������(�����

SELECT SOMMET. NOM_SOMMET, SOMMET. ALTI TUDE, PREMI ERE. FACE

FROM PREMI ERE, SOMMET

WHERE PREMI ERE. NOM_SOMMET = SOMMET. NOM_SOMMET

AND SOMMET. ALTI TUDE > 8100;

����"���� ��"'��������������PREMI ERE����SOMMET�,� ������:�:����P����S��

SELECT S. NOM_SOMMET, S. ALTI TUDE, P. FACE

FROM PREMI ERE P, SOMMET S

WHERE P. NOM_SOMMET = S. NOM_SOMMET

AND S. ALTI TUDE > 8100;

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

��������������������������������������������*���������������

SELECT DI STI NCT GRI MPEUR

FROM CONQUETE;

������������������������ �����$��������

SELECT DI STI NCT P. NOM_SOMMET, P. FACE

FROM PREMI ERE P, LOCALI SATI ON L

WHERE P. NOM_SOMMET = L. NOM_SOMMET

AND L. PAYS I N ( ' Nepal ' , ' Chi ne' ) ;

@A���������5�"� �� $����� �� ����� ����"������������� 20�

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

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

SELECT COUNT( * )

FROM SOMMET;

����"��?�,� �" � �����������LOCALI SATI ON�

SELECT COUNT( DI STI NCT NOM_SOMMET)

FROM LOCALI SATI ON;

)���������������������������+������������������

SELECT MI N( ALTI TUDE) , AVG( ALTI TUDE) , MAX( ALTI TUDE)

FROM SOMMET;

:�����������������������������������������

SELECT SUM( S. ALTI TUDE)

FROM SOMMET S, CONQUETE C

WHERE C. GRI MPEUR = ' Messner '

AND C. NOM_SOMMET = S. NOM_SOMMET;

CB���������������,��������� ��7�"����"�����������"�D��

@A���������5�"� �� $����� �� ����� ����"������������� 22�

���,���������"-+����������������������.��������������� ���

����������� ��� ������������ ��������������������������/1�����*-(�������

SELECT *

FROM PREMI ERE

WHERE ANNEE = ( SELECT ANNEE

FROM PREMI ERE

WHERE NOM_SOMMET = ' Ever est '

AND FACE = ' SO' ) ;

��������������������*������������ �������,�����������������������������

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

SELECT NOM_SOMMET

FROM SOMMET

WHERE ALTI TUDE > ( SELECT AVG( ALTI TUDE)

FROM SOMMET) ;

@A���������5�"� �� $����� �� ����� ����"������������� 2&�

���,���������"/+����������������

���������������������������������������$�������������������-�����1���

SELECT DI STI NCT GRI MPEUR

FROM CONQUETE

WHERE NOM_SOMMET I N ( SELECT NOM_SOMMET

FROM LOCALI SATI ON

WHERE PAYS = ' Chi ne' )

AND FACE I N ( ' N' , ' NE' , ' NO' ) ;

������������������ ����� �������������������������(�����0$������

SELECT NOM_SOMMET

FROM SOMMET

WHERE NOM_SOMMET I N ( SELECT NOM_SOMMET

FROM LOCALI SATI ON

WHERE PAYS = ' Népal ' )

AND NOM_SOMMET NOT I N ( SELECT NOM_SOMMET

FROM LOCALI SATI ON

WHERE PAYS = ' Chi ne' ) ;

@A���������5�"� �� $����� �� ����� ����"������������� &1�

���,���������"0+���������1���������%22������(��

��������������������*������������ �������,���������������������������

� ������

SELECT NOM_SOMMET

FROM SOMMET

WHERE ALTI TUDE >ALL

( SELECT ALTI TUDE

FROM SOMMET

WHERE NOM_SOMMET =SOME ( SELECT NOM_SOMMET

FROM LOCALI SATI ON

WHERE PAYS = ' Paki st an' ) ) ;

@A���������5�"� �� $����� �� ����� ����"������������� &(�

���,���������"3+���������1�������������.��������

;����������������������������������������������������������

SELECT DI STI NCT C1. GRI MPEUR

FROM CONQUETE C1

WHERE EXI STS ( SELECT *

FROM CONQUETE C2

WHERE C2. GRI MPEUR = ' Messner '

AND C2. NOM_SOMMET = C1. NOM_SOMMET) ;

;�������������������������������������

SELECT C1. GRI MPEUR

FROM CONQUETE C1

WHERE ( SELECT NOM_SOMMET

FROM CONQUETE C2

WHERE C2. GRI MPEUR = C1. GRI MPEUR)

=

( SELECT NOM_SOMMET

FROM SOMMET) ;

@A���������5�"� �� $����� �� ����� ����"������������� &��

'������������!��!�����

9����<�������$��������=������������������������������������������������

SELECT L. PAYS, AVG( S. ALTI TUDE)

FROM SOMMET S, LOCALI SATI ON L

WHERE S. NOM_SOMMET = L. NOM_SOMMET

GROUP BY L. PAYS;

9����<�������$����������=��������������������������������������������������

�����������

SELECT S. NOM_SOMMET, S. ALTI TUDE, COUNT( * )

FROM SOMMET S, PREMI ERE P

WHERE S. NOM_SOMMET = P. NOM_SOMMET

GROUP BY S. NOM_SOMMET, S. ALTI TUDE;

���������������������������������*�����������%5>"��������������������(������

SELECT NOM_SOMMET, COUNT( * )

FROM PREMI ERE

WHERE ANNEE = 1975

GROUP BY NOM_SOMMET

HAVI NG COUNT( * ) > 1;

@A���������5�"� �� $����� �� ����� ����"������������� &��

����

&�������?�����)�������������������@��� �����������������������

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

SELECT L. PAYS, S. ALTI TUDE, S. NOM_SOMMET

FROM LOCALI SATI ON L, SOMMET S

WHERE L. NOM_SOMMET = S. NOM_SOMMET

ORDER BY L. PAYS ASC, S. ALTI TUDE DESC;

)�����������������������������$����������� ���������������������

SELECT L. PAYS, AVG( S. ALTI TUDE)

FROM LOCALI SATI ON L, SOMMET S

WHERE L. NOM_SOMMET = S. NOM_SOMMET

GROUP BY L. PAYS

ORDER BY 1;

����"��

SELECT L. PAYS, AVG( S. ALTI TUDE) AS ALTI TUDE_MOYENNE, L. PAYS

FROM LOCALI SATI ON L, SOMMET S

WHERE L. NOM_SOMMET = S. NOM_SOMMET

GROUP BY L. PAYS

ORDER BY ALTI TUDE_MOYENNE;

@A���������5�"� �� $����� �� ����� ����"������������� &+�

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

��������������������������!"##������ ����� �������������������������(���

��0$������

( SELECT NOM_SOMMET

FROM SOMMET

WHERE ALTI TUDE > 8500)

I NTERSECT

( SELECT NOM_SOMMET

FROM LOCALI SATI ON

WHERE PAYS = ' Népal ' )

EXCEPT

( SELECT NOM_SOMMET

FROM LOCALI SATI ON

WHERE PAYS = ' Chi ne' ) ;

@A���������5�"� �� $����� �� ����� ����"������������� &-�

�����D�?��������� �����

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

I NSERT I NTO����'��'����a(�"���� �����'��'�������) b�

� VALUES�(�"���� ��(����) �

� Y�������; �

(�����EES�

� �+���������

� Y�NULL�

� Y�USER�

� Y�CURRENT_DATE�

� N�

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

UPDATE����'��'����

SET��"���� �����'��'��������S��+���������

WHERE���������; �

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

DELETE FROM����'��'����

WHERE���������; �

@A���������5�"� �� $����� �� ����� ����"������������� &/�

;9�������

)���������������������������������������,�������1���������������%5>!A�

I NSERT I NTO PREMI ERE

VALUES ( ' Nanga Par bat ' , ' O' , 1978) ;

I NSERT I NTO CONQUETE

VALUES ( ' Messner ' , ' Nanga Par bat ' , ' O' ) ;

)�������������(����������������������������������������A�

CREATE TABLE PREMI ERE_DE_MESSNER

( NOM_SOMMET NOM_DE_SOMMET,

FACE ORI ENTATI ON) ;

I NSERT I NTO PREMI ERE_DE_MESSNER

SELECT NOM_SOMMET, FACE

FROM CONQUETE

WHERE GRI MPEUR = ' Messner ' ;

0��(���������������*����������$�������������� ���A�

UPDATE SOMMET

SET ALTI TUDE = 3. 29 * ALTI TUDE

WHERE NOM_SOMMET I N

( SELECT NOM_SOMMET

FROM LOCALI SATI ON

WHERE PAYS = ' Paki st an' ) ;

/������������������������������BCA�

DELETE

FROM PREMI ERE

WHERE NOM_SOMMET = ' K2' ;

@A���������5�"� �� $����� �� ����� ����"������������� &0�

���9�

B�" �4�,� ������������ �," ����4��"'��� ���� ����"��,� � �,,� ����4�.���� �� ��

�� ��"�����������

3�'�� ������ ��� ���" �4��� ����������, "��" �������� �'� ��� ����������

"�� .���� ��� ���9�"�� �������� ������������"�� .���� ��� ���� "�� ��� ��

������"���

+�� ����������9�

CREATE�aUNI QUEb�I NDEX����'�*'����+�ON�

���'��'����(�"���� �����'��'�������) ; �

�����������������9�

DROP I NDEX����'�*'����+; �

;9�������

0� ����������+�����������������������D/1��-&��E)0-F������������-�.-�-A�

CREATE UNI QUE I NDEX PSF ON PREMI ERE( NOM_SOMMET, FACE) ;

0� ����������+����������������?/1��-&��E)0-@����������01�23-&-A�

CREATE I NDEX CSF ON CONQUETE( NOM_SOMMET, FACE) ;

/����������*����+�0/EA�

DROP I NDEX CSF;

@A���������5�"� �� $����� �� ����� ����"������������� &2�

$����

B��.����������������." ������� �������� ���� ��>����

B��.���,����>� ����"�"���� ��� ��� ��>��������>����"� �������������,� �������

�� ���� �I�����"���?�9�� ����� �.� �� ����.�������� ���"���������������� ��"���

�� "�"�������������� ����

+�� ��������#���

CREATE VI EW�����a(�"���� �����'��'�������) b�AS�������; �

���������������#���

DROP VI EW����'��'(��; �

@A���������5�"� �� $����� �� ����� ����"������������� &&�

;9�������

0� ���������(����������-�.-�-')3'�-�)G���������������������������������

� ��A�

CREATE VI EW PREMI ERE_AU_NEPAL( NOM_SOMMET, ALTI TUDE, FACE, ANNEE)

AS SELECT S. NOM_SOMMET, S. ALTI TUDE, P. FACE, P. ANNEE

FROM SOMMET S, PREMI ERE P, LOCALI SATI ON L

WHERE L. PAYS = ' Népal '

AND S. NOM_SOMMET = L. NOM_SOMMET

AND S. NOM_SOMMET = P. NOM_SOMMET;

�����������������������!"##���������������� ���(���������������������������

%5"6���

SELECT NOM_SOMMET

FROM PREMI ERE_AU_NEPAL

WHERE ANNEE = 1953

AND ALTI TUDE > 8500;

/�����������(�����-�.-�-')3'�-�)GA�

DROP VI EW PREMI ERE_AU_NEPAL;

@A���������5�"� �� $����� �� ����� ����"������������� (11�

�����D�?������� ��#���������#���

��� �>� ����"�"����,�� �����"���?�9�� ����.��� �"��.� "7"� ������� "�"�����".�����E�

F� ���.����� �"��,���"��� ������������DI STI NCT��

F� �!����������� ������������SELECT� �"��>� ������� ���������

F� ����������FROM��� �"������" �����������������I�������>����� "7"������

F� ����������WHERE��� �"��,�������" � ������� ��>����

F� ���.����� �"������" �"��������GROUP BYI�"��������HAVI NG��

@A���������5�"� �� $����� �� ����� ����"������������� (1(�

-������������������

) �"���� ��� ���"�"���"�� �������4"�����E�

F� ������ ���� ����

F� ������������

� B��� ������������"������,"��������,� ��������,����� ����������� ��

, ��� � ��� ����!������������"�� ���"������,� ���� ����,,�������,� ���

, �' ������

F� ������ ���

� ����"�� ���"�����������,������� " �������� ��������4��� ���, �' �����!*��I�

��,� ��4��,��������� ���"�"������������ �"���,� ���, ����,"����� ��

�������� "�������� ��"��' ���

@A���������5�"� �� $����� �� ����� ����"������������� (1��

� ��� ������ -������������������

����, "�",�������������".����E�

F� �!����"�� ���"����������, �7"4���,� �EXEC SQL��

F� ����"�� ���"���,��.�������" � ���.� "������ ��, �' ������"�E�

�� �� ���, �7"4����,� �E�

�� �. ����.�" ����:,�����,��"�����.�������.���� �� ���� "������"���� ��� ���

�77��������

F� B�����"���� ���� ��� �,� ���� ��,� ��� " �����������"'��,� ��"'�����

��77���� �����.���� �� ���!�����"'��?� ���.� "������ ��, �' ������

F� ���, �' ����� �"��,���� � ����.� "�������� "���SQLCODE� ������.���� �

���������4����"�I��� ��������"�� ����I� ����"�� ���"�������

@A���������5�"� �� $����� �� ����� ����"������������� (1��

������ ����

���������������.���� ������������������������������������42�

EXEC SQL BEGI N DECLARE SECTI ON

��������� ������'��'(������

EXEC SQL END DECLARE SECTI ON

��1�������� �����������

EXEC SQL DECLARE ���'��'������� CURSOR

FOR ������;

@A���������5�"� �� $����� �� ����� ����"������������� (1+�

�� ��� �����9�� ������

(������������ �����������

EXEC SQL OPEN ��������������;

EXEC SQL FETCH �������������� I NTO ��������(������;

EXEC SQL

UPDATE …

SET …

WHERE CURRENT OF ���'��'�������;

EXEC SQL

DELETE

FROM …

WHERE CURRENT OF ���'��'�������;

EXEC CLOSE ��������������

������������ ������ ���� ������������!���

EXEC SQL

SELECT …

I NTO ��������(������

FROM …

WHERE …

GROUP_BY …

HAVI NG …;

@A���������5�"� �� $����� �� ����� ����"������������� (1-�

;9�������

)�������,���(������une_annee��*�� �����������������������������������

une_f ace�����*-(�������

EXEC SQL BEGI N DECLARE SECTI ON

char une_f ace[ 2] ;

i nt une_annee;

EXEC SQL END DECLARE SECTI ON

EXEC SQL

SELECT ANNEE

I NTO : une_annee

FROM PREMI ERE

WHERE NOM_SOMMET = ' Ever est '

AND FACE = : une_f ace;

@A���������5�"� �� $����� �� ����� ����"������������� (1/�

)���������*����������$�������������� ����*����(�����i ncr ������ �����

�����������

EXEC SQL BEGI N DECLARE SECTI ON

char sommet [ 20] ;

i nt al t i t ude, i ncr ;

EXEC SQL END DECLARE SECTI ON

i nt SQLCODE;

EXEC SQL DECLARE s CURSOR FOR

SELECT NOM_SOMMET, ALTI TUDE

FROM SOMMET

WHERE NOM_SOMMET I N

( SELECT NOM_SOMMET

FROM LOCALI SATI ON

WHERE PAYS = ' Népal ' ) ;

EXEC SQL OPEN s;

EXEC SQL FETCH s I NTO : nom, : al t i t ude;

whi l e( SQLCODE = 0) {

Cal cul de i ncr …

EXEC SQL

UPDATE SOMMET

SET ALTI TUDE = ALTI TUDE + : i ncr

WHERE CURRENT OF SOMMET;

EXEC SQL FETCH s I NTO : nom, : al t i t ude;

}

EXEC SQL CLOSE s;

@A���������5�"� �� $����� �� ����� ����"�������c�5�"�"�� ����"��' "��� (10�

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

@A���������5�"� �� $����� �� ����� ����"�������c�5�"�"�� ����"��' "��� (12�

;9�������������� ��� �

����4"����,���"�� ��7�L��� ��4, "�� �������� �"���� �"��' "��� ����$%�E�

F� �7""�"�� �� ���"����� ���:,�� ������ "���I�

F� �� "�"���� �����.���� �� ������ "����� �����,����C�������CHECK� �����DI�

F� �7""�"�� ���������, "��" ����� ���������� �'� ��� ���� ����"�I�

F� ���� �"���'�� ����I�

F� �����!�� ���

������.��� �9?���� "������� �"��, ��"� �����

B������� ����������7� �������'"����"� �"��>� ��. �"����������"�����4���"�� ��

���$%�����.� "7"���"�� ������� �"�����������,� ��"����P�����I��� �������.� "7"���"��

�"��>� ��7�"����, ����!�����"���?�9�� � �����$%������4"���� ������!"����,� �������

���""�"�� ������P�I���"���������������,��4���?����� ����M�. ���

B������"����������� �'��I� "����� �#�I� �����7� ���E�

V�.���������� "�"�������"�W�

�����"������ �����!���?������"��� �����.����������"������ "�"������.� "7"����B��

���"��,����>� �����.� "7"���"���������"���?�9�� ��

����!�,"� ����������� ��?����4, ���"�� ������� �"������ ��� �����!�� ���������

@A���������5�"� �� $����� �� ����� ����"�������c�5�"�"�� ����"��' "��� (1&�

5���� ����

B������ �"������� ����,� ��������� ������E�

CREATE ASSERTI ON �� CHECK ( �� "�"�)

��"��,� ��4��,������$%� ����"������ �� ".��� �����,��:���������� �,� �������

�����������"���� �.�"�����E�

EMPLOYE( NUM_EMP, NUM_DEPT, SALAI RE)

DEPARTEMENT( NUM_DEPT, NOM_DEPT, NB_EMP)

������ �"��� �"��' "���E�V)������,��:�� �� �,� ������d���!� �!�����������" ��

��,� "�� �?�(1�111I����4, "���,� ������� �"����".����E�

CREATE ASSERTI ON CHECK

( NOT EXI STS

( SELECT *

FROM EMPLOYE

WHERE SALAI RE <= 10000

AND NUM_DEPT =

( SELECT NUM_DEPT

FROM DEPARTEMENT

WHERE NOM = ’ Recher che’ ) ) )

@A���������5�"� �� $����� �� ����� ����"�������c�5�"�"�� ����"��' "��� ((1�

�����"�����

3������� �����!�� ��������".��,� ���� ��>��� ���"���?�9�� ��

��� � �7"" ��� �����!�� I�"��7����E��

F� �,��"7"� ����.�������"� �����!�������"����" "��������:,�� ������"���?�9�� �

CI NSERTI�UPDATEI�DELETEDI������� ����� ����"������.����������������� ���

��� "������"��?�9�� ��Z�

F� " "�� ��"������"������ ���"�����.��I��, ������?����,����� ������"���?�9�� �Z�

F� �� ������?�����"����������.������,����C�"�����������.����������

�"�� �"������"����������"�������� ����,, ���"�D�Z�

F� �� " ������� "�"������������������ �����!�����.��������������7� ��� ����

�4, ���"�������������I����?� ������4, ���"��,��.���>� ��,������ ������

�������WHERE�Z�

F� �� " �������"��?� ���"�� ���������7� ��� ����, ��� � ������Z�

F� " "�� ��"������"������ ���"����,�� ��!������,�����"��?�9�� �������������7�"��

,�� ���� ��>����

@A���������5�"� �� $����� �� ����� ����"�������c�5�"�"�� ����"��' "��� (((�

+�� ������������"����

��������EES�

CREATE TRI GGER�����

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

( ������

a������b�

a��������b�

����; ; �

����'��'� �����$�����EES�

BEFORE��AFTER��I NSTEAD OF�

( ������EES��

CI NSERT��DELETE��UPDATE�aOF��"���� �����'��'�������bD��

ON����'��'����

�������EES�

� REFERENCI NG�COLD AS������NEW AS����D�

���������EES�

WHEN��+��������'���� �����

�����EES�

(�"���� ���������) �

aFOR EACH CROW��STATEMENTDb�

@A���������5�"� �� $����� �� ����� ����"�������c�5�"�"�� ����"��' "��� ((��

;9�������

0� �����*���� �����$�������������������������,���������������������������

��������������������$����A�

CREATE TRI GGER DI MI NUTI ON_SALAI RE

BEFORE UPDATE OF SALAI RE ON EMPLOYE

REFERENCI NG OLD AS A NEW AS N

WHEN N. SALAI RE < A. SALAI RE

( ERROR)

FOR EACH ROW;

0� �����*���� �����$�������������������,�����������������*������ ��

�*���� �������,������������*����������*������(��������� A�

CREATE TRI GGER I NCREMENTER_NB_EMP

AFTER I NSERT ON EMPLOYE

REFERENCI NG NEW AS E

( UPDATE DEPARTEMENT

SET NB_EMP = NB_EMP + 1

WHERE NUM_DEPT = E. NUM_DEPT)

FOR EACH ROW;

@A���������5�"� �� $����� �� ����� ����"�������c���7" ��"��"��� ((��

+����� ���� �

@A���������5�"� �� $����� �� ����� ����"�������c���7" ��"��"��� ((+�

/�?�� ����� �������

B��$%� �"��>� ��, ���'��� ������������.�"�������

��������"��� �,���������"���������"����?���� �����������"�"����� �?��77����� �

������� ����� �����?� ������"������������������� �C���������#�����D��

��" ��"7"���"�� �����"�"����� �����7�"����'�� ���,� ���� �������,� ������� ��

,������%���, ��� ���,������,!"��"����,��.���>� ����"�"���������������� ����?�,����

������ ����"������� �����, �"���� "'"��������� ��""�����

%������#$%� ����"���I�������9����?�, ���'� �����������������������.�����������

�,� ��"������������������"��,� ���� ��>��I���"�� �"�I������ "7"���"��������

��,, ���"�� ����,������

����� "���"�� ��� �"���,����>� ��E�

F� ��� ��"���E���� �""�� ���� ������������ �"����� ������������9���� �����$%����,����

� ������ ���� ��"�� ������ �"���?� ���� �����"�"����� ���

F� ���� ��"����E�����"�"����� ��"�� �������9�������������� �"����� �������9������,����

����� ������ ���������"��������,� �"��?� ���� �����"�"����� ����

@A���������5�"� �� $����� �� ����� ����"�������c���7" ��"��"��� ((-�

8�� �� �����������#����

����.����9������� *���"�,� ����,�� ������7" ��"��"�����,� ������� ���,��"7"� �

��7�L��� ���7"������ �������4���������"�"����� ������ �"�� ����� � ��

��"�I�,� ��4��,��I����$%����,����� ��� ��4� ����"�����".�����E�

EMPLOYE( NOM_EMP, NUM_DEPT, SALAI RE)

DEPARTEMENT( NUM_DEPT, NOM_DEPT, DI RECTEUR)

8�,�� ���,��"7"� ����������?����77�����"�� �����,��:��� ������� �,� ���������

�7""��������.�����".����E�

CREATE VI EW AFFECTATI ON( NOM_EMP, NOM_DEPT) AS

SELECT E. NOM, D. NOM

FROM EMPLOYE AS E, DEPARTEMENT AS D

WHERE E. NUM_DEPT = D. NUM_DEPT

B���"�"����� � ������� �"��� �����������"�"���?����.���AFFECTATI ON���,�� ��

���G� ��"������� ������������" �� �����,��:�I�"������� �������� " ����� � ���

�,� �������

@A���������5�"� �� $����� �� ����� ����"�������c���7" ��"��"��� ((/�

5 ���� ��������� ����� ������ -��

B���"�"����� �,����� ������ �� ���, "."��'���?������ ����"�"����� �,� ��������� ��

GRANT����"��,������"��� ��" � �,� ��������� ��REVOKE��

����:��4�� ������ ��4������ ������������".����E�

GRANT�CALL PRI VI LEGES���"���� ���� ����D�

ON����'��'��������'��'(����

TO CPUBLI C�������������'�*��������D�

aWI TH GRANT OPTI ONb��

REVOKE�CALL PRI VI LEGES���"���� ���� ����D�

ON����'��'��������'��'(����

FROM PUBLI C�������������'�*���������

�� �����EES��

CI NSERT��DELETE��UPDATE�a�"���� �����'��'�������bD��

����������WI TH GRANT OPTI ON�� ��������� �"�� ��� ������ �����, "."��'���

@A���������5�"� �� $����� �� ����� ����"�������c���7" ��"��"��� ((0�

;9������

��,,������������"�"��� "����"��� ������� ����"���EMPLOYE����DEPARTEMENT��"�"�

������.���AFFECTATI ON��3����,�� ��E�

F� ) ������ ��?�����"�"����� �A���%�,������ �"�� ��������� �������,��:������ ��

�� "7"� ��������" �� �����,��:�I�,� ��������� ����".����E�

GRANT SELECT, UPDATE( SALAI RE) ON EMPLOYE TO ’ JEAN DUPONT’

F� ) ������ ��?������������"�"����� ����� �"�� ��������� ������77�����"��� ���

��,��:��I�,� ��������� ����".����E�

GRANT SELECT ON AFFECTATI ON TO PUBLI C

F� ���" � �?�A���%�,������ �"�� ���� "7"� ��������" �� �����,��:�I�,� ����

����� ����".����E�

REVOKE UPDATE( SALAI RE) ON EMPLOYE TO ’ JEAN DUPONT’

C���������A���%�,���,���� ����� ����� �"�� ��������� �������,��:���D�

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� ((&�

/������ ����"�������

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�1�

� ����� ���

��,,����������$%� ����"��������������"����� ����������� �� ����"����"����

�!���������4���"���"��������������� ����,������

�!:�"������������,�������������O��� ��������,���"�� ��7"�!"� ���"�,��.���

>� �� �,� �"���� ������,���"�� ���"����C ���������� ��$%� "�� "�����D�����7� ���� ��

����O�'���!�"�"� �"��,� ���� ��E������"�"���"���,�"����� ���������" �I���������

�," ����� ����"����?�9�� �7��"������

������,�������",�����,� �����,,�"���"�� �".���>� ��, ������������ ��7� �����

����" ����� ��������� ��7� ������ ���"������� �.� �� ����e���,� �"���"� �� �����

����" ����� �����,,�����V���,�W����V���!�W����� ��""�"�� ��������,�� ��������I�

"��:���"�� >�I�����������������,���"���I�?���"��" �������" ����� ����������,�����

�"�����7 ����������",������

�7"� ����� � ����,���� �," �����,���"����?����������� ����,�����.� "7"���

�� ��"����� "�"��I�������$%� ����"������������"�� �" �4��"�,� �������

������"� ��!����.���� � �������"�����?����������� �����,������"�,���� ���

������.���� �,�� ��������"������

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�(�

���"�����

B����"������������O���� ��� "��������,��������� ���� ������,���"�� ����� ����� ��

����"��"��

B�7"�!"� �,���� ������������������"����,� ������"��� ���������

����,��������,��,� ���7"�!"� �.� "�������� �� �����,���8� "��"'������ ��,!�����E�

(���������� ����� �����E� ������������������������7"�!"� ��� �� ������ ���"���

������9������E� �����������,,������" ������������������7� �?����� �� �������"���

�������������"��,����>� ��7�"���E�

�� �����,� �����I�?�,� �" � ����,"��� ���������"� ��I�

�� ,� �' ��,�� �����������"'���E������,� ���� �� �' ��,� �,!:�"������ ����

�,��������.���� �"������������C���4� ���� ����"������"�����4�,���� ��� ���

.���� �� �������" ��"���D��

�������� ��� ���E������������"�������,������"�"�������� ���"������������ ���"���"��

,����>� ��7�"���E�

�� �����,� �������� ����,"��� ���������"� ��I�

�� ,� �' ��,�� ���������"� ������"'���E������,� ���� ��."�� ����,� ,"������� �����

����" ����

+������������� ���E��� ���,� ��������,���������" ���"� ����"����,���,,� �G� ��

������ �� ���,!�������������

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (���

%�� �������7���� ��

������,����� ����$%� ����"���������� �'��� ��� ���,�'����

B���������������O��� ���������� ��7"�!"� ���������,,��� ���������������"���

���������,�'���

��� �����,!:�"��� �����,������������ �,����C�I�7I��I� D��H�E�

F� ��������" ��"7"����� � ���"��I�

F� 7�������" ��"7"����� � ��7"�!"� I�

F� ����� ����� �����"� ��,��"�"7����������

������� ����� ��"'����� ����,���� �����,�'��� �'"�� ��� �������

������� ��7"�!"� �7�

���"������

���������,���� ��� �����������"�,����H����$%����������"����������7"�!"� ��

%���������I���� ����� �����,������� � �"��?��� �������C�I� D��

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (���

/������ �������������

B��,�'������ ����,����� ��4���,�����E�

(�����e��� �����,�����E�������,�����:�����"�,������ ������ �����������

���B� �,� ��" ���"�����"�,�����?�,� �" � �����7"� �����,�'������"������� �����

�,� ��" ��" "������ �,�������� ������,�'�� ����,���� �� �'�"��

������� '�"���"��,� ��������� ��"���.����"�� �������"���� �����,����� ����,�'��

������"����"��������" �� ���� "7"� ���� ��� �������

O "� (

��,����C�I�"D�

,�'������O��� ����������������������O���,�����

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�+�

��� ����� �������7���� �

�������������" �� �" ��"7"� ��!������,�����7"�E�

F� ������ "��"'�� � ������ �����,����I�

F� ��,��.�" �:����� � �?�,� �" � ���" �4��

) �"�����!� ��� �" ��"7"���"��,��.���>� ����"�"�����E�

(���� ���������������� �E���" ��"7"����� � �����,������������ �����,!:�"����������

���!� ��"�,��������"�����,����� ���,�"��� � ����"."� �����������H�����,����

�"��>� ���!�'�� ��,�'��?������"��� �����"���?�9�� ���'�����������"�����

����� �����������" " ����E���" ��"7"����� � �����,������������� ����"� ���� "����

?����� ���"������������!� �������"�������"�����,����� ���������� ��

�� ��,� ����,�� �,���� � ����" ��"7"����� � �����,����?����� �����

,!:�"����

����� �����������������B�" �4�, "��" ��,� ���� ����� � ������ ��,� ������ �����

���������� �����,!:�"��� ����,�����

8�����������

���(� �����!� ���������,�����77"�����E��

F� ����������"���(������� "����,�� ����� � �?�����,���I���"���:���,��� ��,�"��� �

����"."������������ "������"��:��������

F� ������������"���,��� �������� ���� ��,� �����

C"D�

C������D�

��,����C�I�"D�,�"��� � ����"."�

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�-�

������ � �������7���� �

$���������� ���� ��

3�����,��.���>� �� �, ��������E�

F� �������� �7� ����4�� �I�

F� ��������7� ����������������������������"�"�����,� �����, �' ������ ��,,�"���"���

7���� ����� ��< ���������������D��������=�

���� ��4�7� �����,���"���������������".����E�

F� 7� ����7"4��E��

�� .���� �� ���� "������ �'"�� ���� ��� ����!��,�� ����'��� �7"4���

F� 7� ����.� "�����E��

�� .���� �� ���� "�����, ��� ���� ����� ���'��� I�

�� .���� �� ���� "�����, ��� ���� ����� ������� "�����

����!�"4� ���7� ���� �"��, � �������,�������� "�� �����".����E�

F� ,���"�"�"��� �� �, ����� � ������ "����� ����'��� �.� "����I�

F� �.����"."��� �����!����� �� ����"��,� ��9���������,, ���"�� ���� "����I�

F� �," "��� ���������4�.���� �� ���� "������

7���� ������< ����������������D��������=�

��������7 �'��������,���"�� ��,�'����

������7 �'�����"��,����>� �� ���"��������,� ���������� "�������'������O����!����

������,�'�� "77� ���I� ������ "�������� �������O��� �������>���,�'���

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�/�

;�"�����������7���������� �����

������!�'��� �� ������� �� "�����������" ����� �������7������� �.� �� ����

e���,� �"���"� �� ���������" ���,,����� �����CV��77� W����'��"�D��������, "����

�!� '��,� ����'���"��" �� �����,���

����, "�",��4���9���"7�� ��'���"��" �� �����,������E�

F� �� � ������,�'������������,����������������"����������"�����������" ��

��� ���I��

F� ����� �� ����� "�� �� ���,�'����� ���� "���������,� ��"���.������

'���"��" �� ��� �����"��I�

F� ���""�"�� ������� �� ������� "������

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�0�

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

B����,������7� ��� ������"��� �����������"'���� ����!�����,��������" ����

,�'���3�����" ����� �������,�'������ ��� �,� ���,� ������� �� ���������� ��

���,�� �������������������� �'����

,�

(� �� ��

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

!�����

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�2�

���"���"������������

���,� ��"�� �� ��!� �!�� ����,�'��E�

F� ��,�� �� '�������� �����,� �����,�'���!� �!��I�

F� ���� �������� ���� ���������� �����,�� �����������������,�'������ �'����

�������,� ��"����� � �����������������,�����".�����E�

(���"����,�'��,����� ������������� �����,�I� ���� � ����/�����������������

��������

����"����,�'��,������,��� ���������,�I�"��7��������" ���� ���� "�����8���������"��

�4"�������������"� ��,�� ���� ���.�" ���"���"I���"����������������

����"�I�"��7�����"�� � ������������ ��� �.�:� ����,�'�� �����,���� ���� "�����

%��4��� ���'"�������,��"�����E� �.�:� ����,�'�������"�� ����������"�"����

CV��BWD�������,�'�����,���� ����������"�"����CV5�BWD����"�������������������

������,�'���

+���"����,�'��?� �9��� ��������� "7"���,� ��������9�� �������" ����� ���I�"��7����

��� ��� " ���� ���� "��������� �.�"������, "�������,���,� ����'���"��" �� ��

� �����"����

-��) ��7� � ����,�'��,� �� "���� ���������������� ���� � ����

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�&�

���9�

B����9�������7"�!"� ��"����"������������� �� �'"�� ������7� ���� ��������

��� ����"7� ���"�������"�������"�,� ������������ " ������4�� �'"�� ������ ���

�������E�

F� ���� ���I�

F� �,,� �"���?���"�� .����� ��.���� �� ����

%������$%� ����"�����I���"7� ���"�������"���������'�� �����" ��"7"����� � ��

��,��������"������������ �" ��"7"����� �� ����,����I�����������" �4�����

, "��" ��������� �" ��E�

F� B����9������������������ �"���� ��������, "��" �� ���� ����"������ ���������?�

��" ��"7"����� � ����,���� �������������� �����

F� B����9������������������� �"���� �������"������������� ���� ����"�I�

,� ��4��,�������� "����Al t i t ude� ����� ����"��Sommet ����� �����������4�

" ��"7"����� �� �����,����� ������.���� �,�� ��������"��������� �����

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�1�

���9������

%��������"����������" � � ���?��"� �� ��4��,��I���" �4�, "��" ������ �"���� ����

��� ����� ����"����".�����"� �� "�������� ���� ��� "��"��" ��C������ ������ ��

���!�D��

Di ct i onnai r e

Mot Déf i ni t i on

bat eau Nom des embar cat i ons, des navi r es aut r es que l es

navi r es de guer r e…

cor de Assembl age de f i l s t r essés ou t or dus ensembl e…

dessi n Repr ésent at i on sur une sur f ace de l a f or me d’ un obj et

ou d’ une f i gur e…

écol e Et abl i ssement où se donne un ensei gnement col l ect i f …

kayak Embar cat i on ét anche et l égèr e, manœuvr ée à l a pagai e

doubl e.

mél odi e Sui t e de sons f or mant un ai r …

nez Par t i e sai l l ant e du v i sage, ent r e l a bouche et l e

f r ont …

t er r e Pl anèt e habi t ée par l ’ homme…

zébu Bœuf à l ongues cor nes et à bosse sur l e gar r ot …

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�(�

+��������� ����������9�

F� ����������� "�� ��E�

�� � � ���E�

�� �����"���" �4�I�

�� � � ���$��

�� ������,� �!��!�'��

�� ����"��I�

�� :��"����

F� ����������"�� "�� ���E�

�� � � ���E�

�� � � ���O� I�

�� � � ������

�� ������,� �!��!�'��E�

�� !��!�'��,� �"�"����

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (���

5������1E�

F�� �������

����� � ���$���������"� � �"���,� �$�:� ����5�� �"'!����(&0��������7�"������9��� ��

��� ��4� �.���,,������,� ������"����

����� �� ".������.� "���� ���� � ���$�E������ � ���$<I��"�������'�� �����"�"����

�������$%��

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (���

/������ ���

B�� � ��$<� �� �����4�C��"� �"�,�" �f��D�������� � ����"�"� �� ����!����M� �

�������,�'������O����� � "�����

F� B��7��"�������"������������� �� �'"�� ������E�

C�(��(D�N�C���D�

� "���,� �� ��� �"����� �������B��7��"�������������"��?���"�"�� ��,�"��E�

C���4�<�(D�K���g��g����4I�

���7��"�������������"���M� � ����" �4��

F� ����7��"����������!�G������ �������� ������ �� ����� �, ��"� �������

F� B�M� ����� �"������"������������� �����,��������,�"��� �E�

Ca�(b�,(D�N�C���,�D�

� "���,� �� ��� �"����� ��������� �����������E�

�� ,�� �"� ��(�?�����(I�,"�������,�"��� �.� ����� ��"�� �������� � �� �������

7��"��������"��������� �'"�� ������ ���������������'���������,� "�� ��?��"�

���"7� "�� ��?��"<(��

�� ,��������,�"��� �.� ����� ��"�� �������� � �� �������7��"��������"��������

� �'"�� ������ ���������������'���������,� "�� ��?�����

�� ��������(�����." �������E�����������,���� �'"�� ����� �����������,���������" ��,�� �

��� ��!� �!�� ���������

B��M� ����� �"������������"��?���"�"�� ��,�"��

C���4�<�(D�K���g���g����4�

���7���"��������� ��"�� ����" �4I��������������������,������� � �" ��?�E�

Ca�(b�,(D�N�C���,�D��

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�+�

B�� � ��$<�,����>� ����!����"��� �����7�L����".����E�

".����"�

".����"�<�(�

�(� �-�

��� �+�

�(�g�����[��-�

�(�g�����[���� �+�g�����[��-�

C�(��(D�N�

� �'"�� ������� "����������� ������

C�+��+D�N�

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�-�

/��� ����

������ ���"����� � ��$<����� � �"��?���M� ��"��� ����������������." ���

���"���"������������ ���� �

C������'"�� �� ��!� �!� ���� �'"�� ����� ���������������� ������I���"����4"����,��I�

���M� ��"� �. �"���������" �D�

���M� ���� ���������� ��"�� ����� � ��$<��

!� ��������M� ���� ���������M� ����� �"��� ���������

C,(D�C��I�,�DN�C�I�,D��� ���

����[����������

���� � ����M� �,(��"� �."������M� ���� ����

����

���!� �!� ������"����������� � "� ��"�"7� "�� �����'���?���

������� � ����M� �,"��"� �."������M� ���� ����

��&�

��&�

���!� �!� ���� �'"�� ����� �������� ������M� ���� ����

��� ��!� �!�������� �"����

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�/�

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

C������'"�� �"�� � ���� �'"�� ����� ����������� �"7� ���"�������"�����D�

���!� �!� ���� �'"�� ����� ���������

�"���4"����������

����"'��� ��

����

���M� ���� �����������"��� �������������� >������ ��!� �!�������"����?�"�� � �

����C�I��D��

�� ���

��"��,�����M� ���� ��I�"���"����?�"�� � ��������������� ��,��

��� � �"� ������� ��,��������� �� ���������

�����'��� C�D�g����4�������

3 �'"�� � ��� ���,��

��"�� �"�������� �"����

����

;"��"�� ��M� ���� ����

��&�

?�����D����������"�� �"����"���� �"��&�

��&�

C�����'��� � ��������������������� �� �� �'"�� �������"�������,�����D�

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�0�

����������G�������� �

C������'"�� �� �,� �" ��� � ��4�M� �������.������������ ��M� ���� ���,�D�

� �� �����.����M� �,���

%����,� ����� ��4����������(������� ����'��� ��'����E�������,���"���I��� ����

��'��� � �����������4�<�(��"���������� ��,�" ��

��"����(����, ��"� ������ ������

3 �'"�� � ��(� ���,��

3 �'"�� � ���� ���,���, ����.�" ���,, "������, ��"� �����I��"�,�������M� ���

�� �"����

��,��������7��"����������

��� � �,��?������"��� ��,� �������!�G�� ���7��"������

����

��,�������� ��"��������

� �� �����.����M� � ��������C,D�C��(�,�D��

��"�� �"�������� �"���C���!����� � ����" �4�����'����� ��(D��

����

���,� �� ��,� �."������M� ���� ������C��(�,�D� �."�����"����?�"�� � ��

��&�

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�2�

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

C������'"�� ����,, "�� ���� �'"�� ����� ���������������� ����D�

���!� �!� ���� �'"�� ����� ���������

�"����4"����,���������

����"'��� ��

����

���M� ���� �����������"��"����"������ �'"�� ����� ���������

��"����?���,, "�� �������� �'"�� ����� ���������

�� ���

��"��,����M� ���� ��I������������ ��,����"���"����?���,, "�� ��

��,, "�� �"� �����

����'��� C�D�f�C���4�<�(D�K������,�������� ��"��������

3 �'"�� � ��� ���,��

�����,, ���"�������� �"����

����

;��"�� ��M� ���� ����

��&�

?�����D�������������,, ���"����"���� �"��&�

��&�

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (�&�

���������G�������� �

C������'"�� ��7��"�� ������.������������ ��M� ���� ����.������������ �����

7 � ��'���!���������"� �����7 � �� �"��D�

�����7��"�����7�"���.������7 � ��'���!�� ��M� ���� ���������

��"��,�����M� ���� ������,(����7 � ��'���!�� ��,��

��������"� �����������, ��"� �,�"��� � ���I��"�,��������M� ����� �"����

��"�����������������"�� �������� ��,(��.������

����C���7��"�����7�"���.������7 � �� �"�� ��M� ���� ��D�

��"��,(����M� ���� ������,�����7 � �� �"�� ��,��

��������"� �����������, ��"� �,�"��� � �������� ��,�I��"�,��������M� ���

�� �"����

��"�����������������"�� �����.������������ ��,���

����'��� C��D�g����4�������

3 �'"�� � ���� ���,(��

��,, "�� �,���

��,(�����7"����"���������

��,, "�� ����,� �� ��,(��

�����,, ���"�������� �"���C���!����� � ����" �4��� "�"��� ��(D��

����

���,� �� ��,�� �."������M� ���� ��������"���� �����M� ��"�,�"���.� ��,��

�."����h"����?���,, "�� ��

����

� %����,� ������ ��4�����������(���������

����'��� ���'�����?���"����, >���

3��.� �����������, ��"� �"���� �����I��"�,��������M� ����� �"����

� 3 �'"�� � ���(� ���,(�������� ���,���

� ���,���� � ������,�'��,� �� ��,�I�������� ����"�����"�,�"���.� ��,�I��

,� ����, ��"� ������ �������

�����,, ���"�������� �"����

����

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (+1�

;9������H�5�����1E������������9�I�)�

��� �"����������".��� ���� �'"�� ������E����� "�I������I��eI�������I�O�:�O��

���������� "��

���� "��

���������� "���e�

���� "���e�

�������������O�:�O�

���� "����

���� "���e�

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

���� "����

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (+(�

��� �"����������".��� ���� �'"�� ������E�e���I� ���"I��� ������� ���

���� "��

���� "���e�e����

�������������O�:�O�

������O�:�O�

��������� �� ���"�

������

���� "���e�

���� "��

�� ��

�� ��e����

������O�:�O�

������� ���"�

������������ "��

���� "���e�e����

������O�:�O�

������� ���"��� ��

������������ "��

���� "���e�e����

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (+��

��,, ���"����������".��� ���� �'"�� ������E�O�:�O������ ���

���� "���e�

������� ���"�������

���� "������ ��

�� ��e����

���"�������

��������� ��

���"�

���� "���e�

���� "��

�� ��

�� ��e����

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (+��

8�����������

8���,,���������" �4�����, "��" ��������"������ �'"�� �������������,�����S�

���4��(��

F� ������ ����4"���� ��M� �� ���!����� ��!��C������?� " �����!����� � ��

��� � �D�������'K�C�D����� ��!� �!�� ���� �'"�� ����� �������������� ����

�����"��� ��� ��,� ��� " ���'K�C�D�M� ����� ��������� ������� "���I�,�"����

�!����M� ��������,�'������O����� � "�����

F� �"�������,,����E�

�� �������,�'�����������"���� ��+111�������I�

�� ����������������'��� � �������������������,�"��� ��������"���� ��2�

���������

�� ��"��:���(1/� �� �'"�� ������ �����" �4�

��� ���S�(11������'-1C(1/D�S�+�����7���� ���+������� "����,�� � �� ��.� ���

� �'"�� ������%����������!��"������H���� ��"�� ��" ��������" ����� ���I���

������ "������77"�����

F� ���������� �� ��,���I���������P�� ����"�� �"����� ������,, ���"������

, �,� �"����?���'K�C�DI�������?� " ��?����!����� � ����� � ���

��

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (++�

F��"����� � �����

B�" �4�?�������,� �!��!�'��,����>� ��� '�"��� �� ��4�7�L��� "77� �����E��

F� �.��� �,� ��" �I�

F� ���� �,� ��" ���

�����, ��������� ���"����� '�"���"���.��� �,� ��" ��,�"�I��� ����4��,��I�

��� '�"���"������ �,� ��" ���

/������ ���

B�" �4�?�������,� �!��!�'������"����.��� �,� ��" ���������� �,����C�I�=I��I��D�

�H�E�

F� ����������� ����"� �,��"�"7��

F� =����������� ������"��"�����"��,,�"����?��������, � �"������� ����"� �

���, "���� ��1��������(I��,,���������"��"�CV!��!��� �WD��

F� ���������������� ��,�'��I�����O������ � "���I�������� ���� �'"�� ������

����!����?����7� ���C���D��H�E�

�� ������������I�

�� ��������"7� ���"�������"����

F� �������� �,� ��" �� ������������!���������"�C1�g�"�g�����(D�������� ����� ����

�!�G��C�.�����������." �D� ��,�'��� ������������� �'"�� ������������������

=C�D�S�"��

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (+-�

������� '�"���"������ �������,� ����7"'� ����".����E�

1�

(�

��

��

����(�

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

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (+/�

��� ������"��"����

���7���"�� ��!��!�'�����,,�"���?�������I����������,,��� ���>� ������!�G��

���� ���� ��I����?������ ����"� ����3���� ���� ������� ����"� ����, "���� ��

1��������(��

%����������'�� ��I��H�������,��"�� �.��������� ���"��� �"����������

��.� �"������������ ������:������ ����� ��"���:���,�� ������������ �� ��

���� ��� ������,!����I�"�������,���,���"���� ������ �" �����7���"�� ��!��!�'��

"9���".�I�������?� " �I����������E�

�(�]������=C�(D�]�=C��D��

8����� �"�� ������7���"���"��""�"��������� �� ������"�"���������� �,� �"��

�"7� �������

���� ��4����!"��������,������"�"������������ "."�"��������,�"�'���%������� ��4����I�

������ �"��?�,� �" � ����� ��� ����� ���� ��� ����������I������ ��O�' � � �.���

������.���� � ��=C�D�������� �������������������"��E�

J� ��#������=C�D�������� ����� ����� "."�"�� ��O�,� �������������� �����������"�� >��

?��!�"�" ���, ��"� ��

J� 8�����&�8� ����,����� �, ������"���"�" �� ��O���� ��!��� �����"����=C�D�����

�'�������V����4����"7W� ������ ����"�" ����"�"����������

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (+0�

/��� ����

���"���"������������ ���� �

C������'"�� �� ��!� �!� ���� �'"�� ����� ���������������� ����D�

�� ��� " �����,�'����"����?���������=C�D�9����?�� ��.� ����,�'���"����"�����

� �'"�� ����� ��������E���������� �'"�� ����� ��!� �!���

���������� ������!�G����������"��������

� ��� �'"�� ����� ��!� �!����4"����,����

��&�

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (+2�

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

C������'"�� �"�� � �����.���� �'"�� ����� ����������� �"7� ���"�������"����D��

���!� �!� ���� �'"�� ����� ���������

�"���4"����������

� ����"'��� ��

����

�� ��� " �����,�'����"����?���������=C�D�9����?���� ��.� �����"�,���� �����

,�������77"�����,�� ������.���� �'"�� ������

� �"�����4"�������������

�� � J�"�� � ���� �'"�� �����E���"�� �"�������� �"����

� ����C�������� ������!�G����������"�D�

� � � �� ������.�����,�'���

� � ���9���� ��������� ������!�G�� ���,�'����"����?���������=C�D��

� � J�"�� � ���� �'"�� ������

� ��&�

��&�

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (+&�

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

C������'"�� ����,, "�� ���� �'"�� ����� ��������D�

���!� �!� ���� �'"�� ����� ���������

�"����4"����,���������

� ����"'��� ��

����

��,, "�� ������ �'"�� ����� �����,�'���"�������"����

� ��������,�'�� �."���." ��������

� � �����,, "�� ���� ����� ��?�9�� �����!�G�� ���,�'����

� ��&�

��&�

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (-1�

;9������

8����� �"����" �4�, "��" �� ����� ����"��Di ct i onnai r e��.�������,� ���� ���

��".����E�

F� ��S�-�E� �,� ��" �� ��-������I�

F� ,�'��� ����� �'"�� �����������4"���I�

F� =C�D�S�C������ ����� ��������� ����� ���� ��� ���D��� ����-��

�������������".��� ��������� ���!��!��� �������� �� "��"��" ���

�� "<�=�

���� "�� (�

������ (�

�e� ��

������� (�

O�:�O� +�

e���� +�

���"� (�

�� �� 1�

�� �� (�

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (-(�

�, ���"�� �"�� �������� ������ �� ����������, ��� ��I���" �4�, "��" �� �����

����"��Di ct i onnai r e������7� �����".����E�

+�

1�

(�

��

��

�� ��

O�:�O�e����

�e�

���"��� ��

���� "���������������

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (-��

/������ ����������� �����

8�,�����."�� �����"�"���"�� ��� �,� ��" ����� ������" �4� ����,�'������"'�����

����� ��!��!�� �� ����� �� " ��������������?����,�'�������������

� �'"�� ������ ��!� �!������" �4�, "��" �� ����� ����"��Di ct i onnai r e�������� ��

�����".���E�

�� ��

O�:�O�e����

�e�

���"��� ��

���� "���������������

1�

(�

��

��

+�

@A���������5�"� �� $����� �� ����� ����"���������8 '�"���"��,!:�"��� (-��

8�����������

F� ���� �,� ��" ������.���������9�������� ���.���� �� ������� ����� ��

�� �'"�� ������,� �,�'�I���,�������� � �?���� �'"�� �������(I(����(I��

������ "��������:����

F� 8�,��������" ������>������,���.����� �,� ��" ��,�� .���������"��"��"�����

����" ����� �����

F� ��� �,� ��" ��,� ���� ����,��������"� �"��"���������,�'��?����� ��!��!����

"����"��C�� ����� ���4��,��D���� ���� �I��� �,� ��" ������,�� �����,��������

��"�����"���,���������" ����� ������������ "������,,������" ���� ��

������" ���

F� ���!��!�'������"������������ �,���?���" �4�� ����.����"7��� ������"���� ��

�,� ��" ��,�������.� � �������.�����I��� �G�������� �"������� ����� �� ��

����"�"������ ��� ����� �� ������� "�������� �:�,����"� I� ������!� ��� ��

!��!�'�� "���� :��"��������4���"������������, �,�����I��"�7����.���� ����

7���"�� ��!��!�'����7���"�� ����� �� �� �'"�� �������

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (--�

����� �����������0 ���

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (-/�

� ����� ���

��������?����$%� ����"���������� ���"������� �.� �� �����'�'�� �� ��>����C����"�

�����I����,�������.��D������,� 7� ������ �����.������� � �� ��>�������� ���

� ��"������

��,,�����������'�'�� �� ��>�������� ���� ��"7�E�����"�"����� ��4, "������ ��>���

��"��,������7�L�� �:� �,� ���8 �,�� ���� ��>��� ���I�"���4"������'�� ���

,���"�� ���� ���'"���,�� ����� �" ����� �,���������������#$%� ���!�"�" ������ ���'"��

�,�"������

��� ������"�� ���� ��>������ � �������� �"��,!�����E�

(��!����� ���� ����� ��>�������� � �� ��,� ���� �� ����"�����C������"�I�

9�"�� �I�, �9���"�I�����D���������,,��� ����������������0 ���

���/� ����� ����������'"�� �� ��� �"� ���,��� ��4����"�� ����P���""�����%��4�

, ��� � �������, "�",��������"������M�. ���E��

�� ) ��7� ���"�� ����� � �� �� ��>�������� � ����".����I��������� �����

, �, "����� ������"��"."������ ����������"."��� ������'�� �� ����"�������

�� 3.�����"�� ����P�� �� ������"�� ���!�����,� ���� ��

���;#���� ��� ��,��� ��4����"��, � �"��,� ����,!�������

����!�,"� ����������� ��?����,�"�"���"�� ���� ��>��������

���,�"�"���"�� ���� ��>�������������, ����������,��4�I����������"�����

, � ������,��������,� ���� �� ��� "���� �� �' ��,������������ ��>����"�� "������

����!�,"� ������ ��� �"��?������ �� �����,�"�"���"�� �� ��>�������,������ ���

�"�,��������SELECT…FROM…WHERE��

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (-0�

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

� "�����

��� ���

F� �������C,� ��� �������"��DI�

F� ��"�"���"�� ���" �4�, "��" ��,�� � �� ��.� �����,���� �������������� �������

�,,� �"���?���"�� .����� ��I�

F� ��"�"���"�� ���" �4����� �" ��,�� � �� ��.� ����������� ����,����� ������

�������� ��������,,� �"���?���"�� .����� ����

��� ����

F� �� ���� "�� ����������E�

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

F� 3�"�9�"�� ��E�

�� ���� �" �4��� ���������"������ ��9�"�� ��E�

�� ������������I�

�� � "�7��"�I�

�� !��!�'���

�� � �4��� ����� �������"������ ��9�"�� ��E�

�� ,� ��� �������"��� ����� ����"����" �4������ ��!� �!�� �����" �4� ���

��,�����?�9�" ���

8��?�� ���

F� ������I�

F� � "�,�"��������I��"����� ������� �".���>� ����"�"����

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (-2�

+�K ���������������� �����

8����� ����

��� ���,�� ������� �� ����,�'��

�3� ���,�� ��� "�� �� ����,�'��

�,� ��'��� �C��������D� ����,�'��

�� C�D� �� "��"��� ����� ����"����

�.C�I�UD� ��'��� ���:��� ������"�����U� �����

����"����

��C�D�S��.C�I�R�(I�NI��TD� ��'��� ���:��� �����,����� �����

����"���C�(I�NI��D�

�,C�D�S���"�C�,�K���C�DD� ��� ����:�� ����,�����,� �,�'��

,�� ���� ����"����C����,,���������,�'��

�����"������ �����,����� �����>���

����"�D�

�,C�D�S���"�C�� C�D�K��,C�DD� ��� �� ��,�'�������,����,� ���� ����"��

��

. C�I�UD� ��� �� ��.���� �� "77� ����� ��

����"�����U� ����� ����"����

!"C�I�UD� !����� � ����" �4���� � ��$<��� ����

����"�����U� ����� ����"����

�.�����"�C4D�S�,����,��"����"� ���,� "�� �����'���?�4�

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (-&�

������"��

��S����C�I�7D�

� "���� +�K �

������� -G /������� ×+× DCDC �

7�S�λ,�C,�U�S�.D�

" �4���� � ��$<��� �

U�

-G /����H�(�

�����H$� ×+×+ DCD

DIC

DCDICC �

��� ����

A�S�?��C�(I���I�7D�

� "���� +�K �

������������� ( ) GI����������� �DCDC(DC ��( ×+×+× �

7�S�λ9�C9�U�S�9�JD�

C��"�9�"�� ���.���" �4���� � ��$<�

�� �JD�

-G I���J��(�

����J�$��������� ×+×+×+ DCDD

DIC

DCDICCDCDCC

��(( �

8��?�� ���

��S����?C�I�UD�

� "���� +�K �

������� -G ��

H��(�������� ××+× DICDC

DC �

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (/1�

;#���� ��������� �������������� � ��

���, "�",���� "77"������ ������������� ����P�� ����������"����� ����9�"�� ������

����"�� ������"���� ��� ����������3���������"��� �����G� �I��� ����� ���E�

F� ��� "�� "���"�� ���.���� �� �������"������ ���!���� ����"���3���������� ��

���"�������,����, ��"��I�����,,������� "�� "���"���"7� ����

F� ������ �� ��.���� �� "��"����� �������"������

F� ���7����� � ��������"."��� ����,� ��"������������C���,� �"����������4"���

��'"���D�

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (/(�

5������������0 ��

B�� � �� �� ��>���������� � �� ���E�

F� ����7��"������������� ����"����� �����������,� ������� ��>��I�

F� ����M� ������ �"��4����� ����,� ���� �� ������'�� �� ����"�����I�

F� ��� ��"��������� ����"���"�����"������� �,����?���� ��>����

����"�� ��� � ��� �� ��>���,��.���>� �������"���?�����>��� ��>������������ "���

��".�������

�� ��4��,��I���� � �� �� ��>���E�

�������� ���� � ��� �� ��>���,���"����,�� ���� ��>���E�

SELECT Q. D

FROM P, Q

WHERE P. A = ' a'

AND P. B = C. D

��,����

$�S���

%�

��S�h�h� ��

��

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (/��

8����� ���������� ��������� ������

!'�H�;��� ��� �� ����������� ��������� ����

!2�H�8���� � ������?�� ��7���� ���

�"�U��⊄�U(�U��

7CU(D�

U(�∪�U��

U��

7CU(D�

7(����7��

7(�

7��

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (/��

!)�H�8���� � ������� ���7�?�� ����

!A�H�8���� � ������?�� ���7�?�� ����

U(��������������U��

J(�∪�J��

�"�J(�⊄�U(����

J��⊄�U��

U(��������������U��

U��∪�J��U(�∪�J(�

J(�∪�J��

'CU�D�

7CU(D�

'CU�D�7CU(D�

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (/+�

!*�H�+���� � �#� �������?�� ����

!3�H�5������ �#� �������?�� ����

�(� �(�������

�(�

��

���

�(�

������

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (/-�

+"��9������������9�� ���

3��!�� "�I�����!�"4� ���,��� ��4����"��,����>� ���77������ �����7�L����".����E�

(��) � �" ����� ��>��������7� ��� ���� � �� ��,� ���� �� ����"������

������� �" ������������ ���� � �����".���������,,�"��������, �, "����� ��

��������"."������ ������"��"."��� ����,� ���� ���

�����,� �" � ���!���� ������� � ���'�� � ����������,���� ��4����"��,���"�������

�����"���?��!�����,� ���� ��!����� ������!� ��� �� ������"���,,�"�������

���3.���� ������P�� ���!����,��� ��4����"���

+���!�"�" ����,��� ����P���""�����

��"��.�"�����9�� � �����������!� ��������������� �� ��,���� ��4����"��?�

�4��"� �� �"��� ���."����.��������� �� �� ����"����� �����������,� ������� ��>����

�� ��4��,��I���,������� � ���������� �� �� ��� ��9�"�� ��� ��� ����"�������E�

C� × C −(DDiC −(Di

������ ��� �"�� ���� ���."����� ����'��������������'���?�(��,�� ��S��I�(/21�

,�� ��S�-I�//-�21�,�� ��S�0I������

3�, ��"��I�����"�"��� ��� �'����!�� "��"����,�� � "�"�� ������� �� ��,����

��4����"��?��.���� ��

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (//�

����� ���������� ����� ����?�� ����

����9���"7� �����������!� �� ��,�"�"���"������ ���""�"�� ������ "��"��� ���

����"������,� �" ���'�� ����,� ������ ������"�� ���� ��>����

8����" � �� ��� ��>�������� �"�����"������?�,� �" �E�

F� ��������"��� �������� "�"��������� "�9���"�� �����,� �"������� "����.���� I��

F� ��, �9���"��I��

F� ��9�"�� ���,� ����,� �"��� ��.���� �� ���� "�������

���,��� ��4����"������'�� �� �����7�L����".����E�

(��5��� ����� ��>�����������7� ��� ������"��� ��9�"�� ��I���"."�� ����������"�I�

��"."�� ����, �9���"���

���%����,��� �����������"�����������"�����" ������,,�"�������� ��7� ���"��

)(��

���%���� ������������"�������"��������,���"�������,,�"��������� ��7� ���"���

)�����)�I�,�"�� �' ��,� ��������,� ������ ������>���� ����"������,,�"�������

� ��7� ���"��)(��

+��%���� ������, �9���"������������9�"�� ���?����" �� ������ ��7� ���"��)+���

-��3�"�"� �����, �9���"���"��"�����

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (/0�

;9������

��"�������!���� ����"������".���E�

BI BLI OTHEQUE( NOBI B, NOM, VI LLE)

LI VRE( I SBN, TI TRE, ANNEE, MATI ERE)

POSSEDE( COTE, NOBI B, I SBN)

EMPRUNTE( NOM, COTE, DATE)

������ ��>�����".����E��

SELECT E. NOM

FROM EMPRUNTE E, POSSEDE P, LI VRE L, BI BLI OTHEQUE B

WHERE L. ANNEE > 1985

AND B. VI LLE = ' Mar sei l e'

AND E. COTE = P. COTE

AND P. I SBN = L. I SBN

AND P. NOBI B = B. NOBI B

�"��4� �"���������� �����, ���� �� ����". ���,���"����, ���(&2-����,���� ���,� �

����"��"��!���� ��5� ��"������

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (/2�

����������������������K�

F� �������,�� �������?����,�'�I�������� ��������� "�� ��������,,������'��4�����

��P�� �����,� ��"���������� ������� �� �������?����,�'��������'��� � ���

,�'������� ���111���������

F� )�"���� ��� ����"��� �������E�

���� ��� 5 ���� � �#� ��� ��� �����

EMPRUNTE NOM �1� +-� ++� (1111�

COTE (-� � � �

DATE (1� � � �

POSSEDE COTE (-� ��� /�� �11111�

NOBI B �� � � �

I SBN (-� � � �

LI VRE I SBN (-� 0&� �-� -1111�

TI TRE -1� � � �

ANNEE +� � � �

MATI ERE (1� � � �

BI BLI OTHEQUE NOBI B �� �0� -+� �1�

NOM �1� � � �

VI LLE (-� � � �

F� ������"."���E�

� ���CEMPRUNTE. DATE = ' 15/ 10/ 1996' D�S��+j�

� ���CLI VRE. ANNEE > 1985D�S��1j�

� ���CBI BLI OTHEQUE. NOM = ' Mar sei l l e' D�S�(1j�

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (/&�

)(������������

���.������ ���� ����"���������� ��,� ���� ",����E�

� C�� "��"��I���'��� � �����,������������I���� �� ��,�'��D�

��P��������S�(�2+-�/+��������?����,�'���

C2I�(&�I�(D�

C(1111I�00I��2-D�

C2I��1I�(D�

C(1111I�(&�I�&/-D�

C�1I��0I�(D�

C-1111I�0&I�(&0-D�

C�11111I���I�+211D�C(1111I�+-I���-D

E P L B

E. COTE = P. COTE ��K �I�'.L.3'.�

P. I SBN = L. I SBN ��K �I�,3'*A.�

E. DATE = ’ 05/ 10/ 1996’ AND L. ANNEE > 1985 AND

B. VI LLE = ’ Mar sei l l e’ ��K �I�(33�

P. NOBI B = B. NOBI B ��K �I�2*2*�

E. NOM ��K �I�2�

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (01�

)���������������

��P��������S��0�0&��������?����,�'���

E. NOM ��K �I�2�

E. COTE = P. COTE ��K �I�))32'�

P. I SBN = L. I SBN ��K �I�'.3L�

{ E. NOM, P. NOBI B} ��K �I�*�

P. NOBI B = B. NOBI B ��K �I�)�

{ E. NOM, E. COTE} ��K �I�'3�

E. DATE = ' 15/ 10/ 96' ��K �I�2)A�

L. ANNEE > 1985 ��K �I�2),.�

B. NOM = ' Mar sei l l e' ��K �I�2�

L. I SBN ��K �I�A,.�

B. NOBI B ��K �I�2�

E P L B

C(1111I�+-I���-D� C-1111I�0&I�(&0-D� C�1I��0I�(D�

C+11I�+-I�&D� C(1111I�0&I��&-D� C�I��0I�(D�

C�11111I���I�+211D�

C(1111I�(-I�0-D�

C21I�2�I�+D�

C�I��I�(D�

C2I��+I�(D�

C2I��1I�(D�

C21I���I�(D

C+11I�/0I�(+D�

C+11I��-I�0D�

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (0(�

/���������?�� ����

������!� �� ��,�"�"���"��, ��� �������"���,������,��� ����� �� ��9�"�� ���8 �

� ��.� ���� �� ��9�"�� ���,�"�����������,�"������ �����,�"�"���"�� ���� ��>���

����"�������

������.���.����������� �� �� ��� ��9�"�� ��� �"���"��� ���7� �������.������

��� �� �� ����"���?�9�" ������ ��""�"�� ������� �� �� ��� ��9�"�� ��?�

���" � � ���,������� ��� �" ����4��������������������"�����?�� ����CV��� 7�����

?���������WD��"��������������!����9�"�� ����,�� ��,� � ��'���!����� ����"��

�������E�

���������,�� �� ����"���"��:���i�� ����"��" ���'���!�� ��9�"�� �������"�����

�������,���"����������� �������� �� ��� ��9�"�� ����� ��4��,��I�"��:�(/21�

� ��� ��9�"�� �� ��-� ����"��� ���(�1�� ����"��" ���'���!����

B�� ���"��" ��'���!�� ��9�"�� ������"�� �������� ���"���4"������" �4��� �

����� "���� ��9�"�� ����������� �� ������"��V,",��"�W��

8�,���� ��,������"�"� ������ ��� ��9�"�� ���"����"������, � �"���� ���"�I�

�� ��������,� ��"������'�� �������P�����.���

�(� ���

���

�+�

@A���������5�"� �� $����� �� ����� ����"�������c��������"�� ��� ��>���� (0��

���"���"���������������������9�� ���

��� � ��!� �!� ������"���� �,��� ��4����"���������� ����"����,����"�����

�,, ��!�I��!�����#$%������, �, �����!� ����6�"�"�� �"�����!� ���������"����E��

F� 8����� �"���������,��� ��4����"��������� ���� ���"��" ��'���!�� ��

9�"�� �I� �������9�"�� ����������������,� �� �� ��������"."��� �� �"�������������

���!� ��,����>� ������"����.������ ������� ���������"������ ���9�"�� ����

F� 8����� �"�������� ��,���� ��4����"����"��:��� �� ����"�����!����,�������

������� ���� ���"��" ��'���!�� ��9�"�� ��������������.������ ����"��

"77� �������� �� ��9�"�� ���������� �"��"�� ��".��������!�"�"�����?��!����

���,�I������"���� �� ����"��?�9�" ��,� �"����� ����"��� �������I����?� ��������,�� �

�������������P�� ��9�"�� ���.������9�"�� �� �9?����� �"��������""������8�

�!�"�"�����"������,��� ����P���""�����

F� 8� ��!� �!�������"���� �,���,� � ������!� ��� ��, �' �����"�� :��"����

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (0��

+���������� ���������

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (0+�

+���� ���� ����� ���

B�� ����� ���������7 �'���� ��, �' ����� ������4����"��7�"��,���� ����$%�

����������!� ���?������ ���������!� ����

B��� �����"�����������"��� �#��� �� ����!����,����>� ��E���"�����

�,� ��"���� �������I���"����� ��� �'�������� >�� ������ �����"���

������������,� ��"������" � ����,� ���'���"��" �� ��� �����"����������

�,� ��"��� ����� ������� ���� ���� ���� ��������������.� ��I����#������������

�������#������������ ���� �����

B�� ����������7 �'���� ����$%�E����.���� � ���� "���I�����,���I���������I�

�����

��������" � � �������� ���� ������:,��� ��.��������".����E�

#��� �������� ���

st ar t ��� �'�� ������ �����"��

r ead D ����� �� ���� ����%�

wr i t e D �� "�� �� ���� ����%�

r ol l back �����"�� ������ �����"��

commi t ��7" ���"�� ������ �����"��

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (0-�

-+�����������������=�&��������*����������/��*���������)�(�������������LA�

!�

st ar t

r ead A

A = A - S

wr i t e A

r ead B

B = B + S

wr i t e B

commi t

)��,��

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (0/�

8����� ������� ����� ���

����"�� ��� �����"���,��.������ � ���� ����>������,��E��� "��������������

������� ����

B��#$%� �"������ � ����������� �����"��,���� ������, �, "�������".�����C "����

, �, "�����5+��D��

5���"�"��� ��"��������������� "7"���"����77��������,� ����� �����"������

� �'"�� ���� ������$%I���"������������������"����� �����"������

��7" ����Ccommi t D�������������� "7"���"�������������77������������

� �'"�� ���� ������$%���� � ����."�"�������4���� �����"�"����� ����"�

���� �����"������"�� ��,������ �������� �������� "7"���"���

������ �'"�� ��� ������$%��

+�!� ���� B��� �����"��7�"��,���� ����$%� ����������!� ���?������ �������

��!� ����B��������!� �������������� ���������������� �"����

�"��' "�������.� "7"�����

������"�� B��� �����"����� � ���������>� ��,� ������,� ������ �����"���

���� �����E���������,������������"��������� � ����"���������

�� ��"�"��� B��7�"�������� �����"����������7" ��������#$%�'� ��"��

���������� "7"���"������������77����������� ��,� ���������

��"����������" �����"��� ."� ���E�"�� �,�"�I�,���� ���:������

��4,��"���"�I�V� ��!W� �� "���I������

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (00�

8������������D��������������

�"��������� *��� �� � �������� ���� �����"���������"����,����I�,���"�� ��

, ��������,��.������ ���� � �E�

F� ,� ��� ���"���?�9�� I�

F� ����� ��"�, �, ��E�

�� ����� �� �� �����"��!� ����I�

�� ����� �� �� ���������7" ����I�

F� ����� ���� �, � ���"�����

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (02�

8�� ������������?����

1��!'� !2�

��S�(1�

r ead A �

r ead A �

A = A + 10 �

wr i t e A ��S��1�

A = A + 50 �

wr i t e A ��S�/1�

�, ������� "�� �� ����,� �)���� �. �"���.�" ���S�01�,�"����)(����9�����-1�?������)��

��"����9�����(1��5�"����� �� ����,� ��"����������������S�/1��

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (0&�

��� �������������<��������"�� ��=�

1��

�� ��� ��

��<�$�S��11�

!'� !2�

��S�(�1�

$�S�21�

r ead A �

A = A - 50 �

wr i t e A ��S�01�

r ead A �

r ead B �

di spl ay A + B

C(-1������77"�!�D

r ead B �

B = B + 50 �

wr i t e B $�S�(�1�

)(��������� �����"����!� ���I�."��?�."�� �������� �"��� �"��' "��I�,�"��������

�� ��!��?��������������9�����?�$��)�� �. �"���77"�!� ����.���� ��11��5�"����� �� ���

�,� ��"��������������)���77"�!��(-1��

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (21�

��� �������������<���������������=�

1��!'� !2�

��S�-1�

A = 70 �

wr i t e A �S�01�

r ead A

( 70 est l u)

r ol l back

C���.���� �""�"���� �������� ����� ��D

��S�-1�

)(���������.���� � ����"�� ������� ������ �"�����,���� ��������"�)����.�"��9���"��

�!�'�����

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (2(�

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

1��!'� !2�

��S�(1�

r ead A

C(1�������D

A = 20 �

wr i t e A ��S��1�

r ead A

C�1�������D

)���"����� "7"��,����� �"������" �?��!��������� ������>���.���� �,�� �������

�����5�"����� �� ����,� ��"��������������)���"��(1�,�"���1��

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (2��

;9�� ���������������

���, "�",���� ������� �,���������� *��� ������ ������������"� ����������������� �

�����4����"�� ����������� ��� �����"����

3��77��I��� ��������� �����"��������4�����������������, ���������� ��I�"���:���,���

��, �������� ������ �����5��!�� �������I������������"������"�,,�"�������� �

� �����P�����������,����������

��������"��� �,�������"����?��4����� ����������� ��� �����"������� ����� ��

7�L��?���������� ����������"����".�����?�����4����"������ "�� ������

� �����"���E�����������4����"������ "����������������

����� "��"���"�"���,������� �7"" � �����7�L����".����E�

F� ���4����"�� ����������� ��� �����"������� "�����������"I�,�� ���������,��� ��

� �����"��I�����������.������� �������, ��� �������������.������� ��

����� ���

F� %��4��4����"��� ����>����������� ��� �����"����������#��� ����"����

����������"�E�

�� ��������������"������ ����>�����.������I�

�� ������, � �"��������>��������7"��� �����$%��

F� B���4����"������ ���� ����������� ��� �����"������� "����������������"����

����������"�"���4"��������4����"������ "����".�������

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (2��

+��� ������������������ �

��� ��!� �!�� �����4����"������ "����".������?�����4����"������ ���� ���

�������� ��� �����"��I�,�������7�" �����4,��"�������� �'������".����� ��

����� � ��� ����,� ��"��� ������� ����� ��� "�� ���

��"���8,(�����,� ��"�� ����� �����"��)(����8,������,� ��"�� ����� �����"��

)���

F� �"�8,(����8,����,� ���,����� �����>��� ���I���� ��8,(����8,������

,� ����������

F� �"�8,(����8,���,� ����� �����>��� ����%�E��

�� 8,(�S�r ead D����8,��S�r ead D�E�8,(����8,������,� ����������� � ������� ��4�

����)(����)���"��������>���.���� � ��%��

�� 8,(�S�r ead D����8,��S�wr i t e D�E�8,(����8,��������,���,� ����������� � ���

������)(��"�����.���� � ��D��.�������� "7"���"��,� �)����� �������� �I����.���� �

��D��� "7"���,� �)���

�� 8,(�S�wr i t e D����8,��S�r ead D�E�8,(����8,��������,���,� ���������,�� � ���

�"�����"�"��" ����������, ��� ����

�� 8,(�S�wr i t e D����8,��S�wr i t e D�E�8,(����8,��������,���,� ��������I��� ����

, ��!�"���,� ��"�� ������� �����" ��,�������>���.���� � ��%�C�������� "���,� �

)(� �������������������� "���,� �)�� �������� �D��

%��4��,� ��"������� "���������� ��������"��������,,� �"����?� ��4�� �����"���

"77� ���������"�������������,���,� ��������&�

%��, ������� �'�����"� �����I� ��4��,� ��"����,,� �����?� ��4�� �����"���

"77� �����������7�"����������"��������������"�������,� ������ �����>��� �������

�������� ��� ��4������"����������,� ��"�� ��� "�� ���

B���4����"������ ���������� "��"�������"������,����>� ��� ��7� ���������

�4����"������ "����".������,� ������"��� ��,� �����"��� ��,� ��"�����

��7�"����������

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (2+�

;9������

���4����"������ ����C(D������� "��"�������� ������,����>� ��� ��7� ������C�D��"�

��������4����"������ "�I�,� ������ �"��,� �����"��� ��,� ��"�������7�"���������

��".�����E�

F� ,� �����"�� ��r ead B� ��)(��.���r ead A� ��)�I�

F� ,� �����"�� ��wr i t e B� ��)(��.���wr i t e A� ��)�I�

F� ,� �����"�� ��wr i t e B� ��)(��.���r ead A� ��)�I�

C(D� C�D�

!'� !2�

r ead A

wr i t e A

r ead A

r ead B

wr i t e A

wr i t e B

r ead B

wr i t e B

!'� !2�

r ead A

wr i t e A

r ead B

wr i t e B

r ead A

wr i t e A

r ead B

wr i t e B

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (2-�

���#������������

���'���"��" �� ��� �����"��� ����#$%����� ����� ��,���� ���, �, "����� ��

��!� ������� �"�����"���

������!"������,�����"�,���,�� ��."�� �����, �������� ���?�������� �����������

#������������E��!����� �����"��.� ��"�������� �������������"������� "��,�� �

"�� " ����4���� ���� �����"��� �:����� � ��

���.� ��"���'�� �' � ������,� 7� ������ ����#$%���"�,����� ������,��

������������:���"�� >��?��"�"�� ������"���� ��� �����?�.� ��"��� I� ��H��������,�� ��

�������� ����#�������������8�,������� ������"� � �����,� 7� ��������

, ��"���������� �� ����,� ��"���,�� ��������������.� ��"���'������ ���"���C����� ��

����� "�� ��,� ��4��,��D���������� �"������� �7""�"�� �����������#�������������

%������� �

8�,����.� ��"��� �E�

F� ���.���� � ���� "���I�

F� ����,������� ��������������.���� �I�

F� ���,�'�� ��7"�!"� ���� ��������������,����I�

F� ������������ ���������������"'��I�

F�� ���$%���� ����������������������

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (2/�

���������#������������

������ ��� ��.� ��"���'��.� "��� ����#$%�?������ ���%��4��� ����������9�� ��

�7""��E�

F� ��� ���C D�E� ��� ���.��� ���" ����� ���I�

F� �9�������CMD�E� ��� ���.��� ���� "7"� ���� �����

���� �'�����"� �'"��������� ��4��� �������������".�����E�

(��B�.� ���,� ��'����,����>� ���������� ���� ��������"�����.� ���� �9?�

,�������� ������� ����������4��>���,� ��'����

���B�.� ����4����"7���,����>� ���������� ���� ��������"������.� ��������

�9?�,������� ������� �����

���� �'�����"� �'"����������� ��� ��.� ��"���'��,��.���>� ���4, "�����,� ����

�� ������������� ����� ����� ������� ��������U���������� "������������".����E�

�+� �� U�

�� ��"� ��

U� �� ��

�H�5�C"I�9D�" "����"���.� ������� ��"�,����>� ���������� ���� ������ ���

.� ������� ��9�:����� �9?�,������

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (20�

/��� �������#������������

���� ��4��,� ��"�����".�����'� ������.� ��"���'��������9��������4��,� ��"���

�������" ��� ����� �����"��E�

/��� �� ������� ���

l ock m D ��� �� ���.� ������� ������ ����

����%�

unl ock D �.� ��"���'�� ���� ����%�

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (22�

$������������D����9��"�����

B��� �����"�����������������"�E�

F� ��������"�����.� ����� ���� �����.��� ���" ����� ��� " �������� ���I�

F� ������"�� �����������.� �����.��� ������� �"� ��

B��� �����"������?����9��"������"�����������"��7� ��������"��, ����.�" ��"�� ����

.� ��������������"� ��,����E��� "��"'�������"������������� ��� ���.� �������

���,!���� ������� �������#��������

���, ��������!��"��������"����?���.� �����.� �����, ��������7" ���"�� �����

� �����"��Ccommi t D��

������� ���� ��������4����"�� ����������� ��� �����"���?� ��4�,!���������

�� "��"�����I����?� ��������".�����?�����4����"������ "������ �� ���� "��"���"��

��������"� �������"�"�"�� �� � "� �.� ����

3����������"����,����:��.�" �"�,� ���� ���"���?�9�� I�"������ ���"�, �, ��I�"�

����� ����� �, � ���"������

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (2&�

;����� ������������������������������

8�� ������������?����

1��!'� !2�

��S�(1�

l ock X A � �

r ead A � �

l ock X A� �

A = A + 10 ���� �

wr i t e A ���� ��S��1�

unl ock A ���� �

r ead A� �

� A = A + 50 �

� wr i t e A �

� unl ock A ��S�01�

���.� ��"���'�� ����,� �)(����"'��)��?����� �����)(��"���� �"������"���?�9�� � ��

���.��� ������ �����"��������:��� ���,��� ��,� ��� ���"���?�9�� ��

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (&1�

��� �������������<��������"�� ��=�

1��

�� ��� ��

��<�$�S��11�

!'� !2�

��S�(�1�

$�S�21�

l ock X A � �

r ead A � �

A = A - 50 � �

wr i t e A � ��S�01�

l ock S A� �

l ock X B ���� �

r ead B ���� �

B = B + 50 ���� �

wr i t e B ���� $�S�(�1�

unl ock A ���� �

r ead A� �

unl ock B �

� l ock S B �

� r ead B �

� di spl ay A + B

C�11������77"�!�D

���.� ��"���'�� ����,� �)(���,>�!��)�� ���" �����.������)(���"���� �"������"���

?�9�� � ������� ��$��)���77"�!�� ������.���� ���!� ���� ����<�$���"���11���

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (&(�

��� �������������<���������������=�

1��!'� !2�

��S�-1�

� l ock X A �

� A = 70 �

� wr i t e A �S�01�

l ock S A� � �

���� r ol l back

C���.���� �""�"���� �������� ����� ����

������ �.� ��"�����D�

��S�-1�

r ead A�

C-1�������D�

� �

���.� ��"���'�� ����,� �)����,>�!��)(� ���" �����.������)����"�������������)(�

�"�� ����"�����.���� ����.�"�����.������)�������������

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (&��

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

1��!'� !2�

��S�(1�

� l ock S A� �

� r ead A�

C(1�������D�

l ock X A� � �

���� r ead A�

C(1�������D�

���� unl ock A� �

A = 20 � �

wr i t e A� � ��S��1�

���.� ��"���'�� ����,� �)�� � ���������,�� ������ ��4������ �����,>�!��)(�?� ��

�� "7"� ����� ������ ��4������ ����)���"�� ����"�� ��4�7�"������>���.���� � ����

��"��(1��

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (&��

���������� �����#������

��"������ �����"���"��"��,�"���� "7"����� ����%���"������7���"�����

.� ��"���'��?� ��4�,!����I������ �. �� ��� � ���.� ������� ���4����"7� ������

����� �� ��%������:��� �� ���,��� ������ ����,���"������ ���������� �� ��%�������

�"���?�9�� ��

�7"� ���'���� ���� �' �� ������ ���I���"� � �"�����,���"�"�"��� �� ������� ���

.� ���?����" �� ��� ��4��,� ��"�����".�����E��

/��� �� ������� ���

upgr ade D �� ������������U� ��.� ����� �%�

downgr ade D ��������������� ��.� ����� �%�

��� ����������� ���.� �����������"����4��>���� �'��������������"�� ���

.� ������� �������U���

�� ��4��,���E�

!�

l ock S A

r ead A

A = A + 10

upgr ade A

wr i t e A

downgr ade A

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (&+�

� ����������

��"��.�"��� ��������!"��� ��.� ��"���'��������� "���� �� ����������C���

#��������� ��D��� ��,���"�� ��� �����"����

6�"�"����4��,��������"��� �"�� �����'��E�

!'� !2�

l ock X A �

� l ock X B�

l ock S B� �

���� l ock S A�

���� ����

B���"����"�� �"�� �����'������ � �"��,� ����:���� ����������"����� � �� ���

� �����"�����!����M� � �����' �,!���������� �����"�����"���4"������� ��� "����

���M� �)"�.� ��M� �)9���"�����,� �%C�D��"�)"����� ����)9��"�� �����.� ���

�� �%�,�� �:�,���� �.� ������� �����

���' �,!�� �������� �����4��,����"� ���������������".���E�

������"������:�����"���7" �����"�� �����'���

$C�D�

�C�D�

)��

)(�

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (&-�

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

%��4����!"����,��.���>� ����"�"�����,�� � ���� ����"�� �����'��E�

F� �����#� ���E���� �,�����, ���������"��."�������.� ������ ����I�,� ��4��,���

������ ���?����� �����"�����������.� ���� ��������������"��.������

��� �'�I�����"����7"4������ ���� ����� ����������"�,�������4�

� �����"��� �� ��,���� ������ �� ������ � ��� ��� ��.� �����

F� ���� �� ���E�����"���������"����"��� �"�� �����'�����, � �" ���������"�,�����?�

"�� .������ �'��"� �����' �,!�� ��������,�� � ������ ��"���"�� �����'��������

, � �"���%������������ �7�"������� ���� �����"������������������� ��������

,���,������ ��

����"�� �����'�������� ����".����� � ��I�������!"��� �� �����"���������.������

,���������"����

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (&/�

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

����,���� ����#$%�,��.���>� �������������� �"������'� "���E�

F� 5�������� ����� �������,������ .�" �?������"��� ����� �� � ��, �' ����I�

������ ���4,�"�"��� ������"�"����� ����>� ��, �.����,� ����'���"��" �� ��

� �����"����

F� 8���������� ���I�,� ��4��,���?������"��� �������,� �� ����� ��������

������ �'"�� ����������" ����� ��������,� ������"��,����������

� �'"�� ������ � "�����

F� 8��������������B��,� �"���������������� ������ �'"�� ������ ���� "��������

,� �����

���'���"��" �� �� �, "��� ����#$%����� ����� ��,���� ���, �, "����� �����"�"������

�� � ��"�"��� ���� �����"����

�������� "��� ��������"������ �, "����, ������ �� ��� �����"������ >�� ��

��� "���� �������� �, "���V?��!�� WI�,����>� �� ���"�����������"���������

�," ����I������,,�:����� ��������� ���9�� ����"�'� ��������" �����������

�.������� ����� �����"���

��� �, "����, ���,��� �� "��������,������'���?����� ����M�. ���3���������"��� ��

���"�� � �����,"��� �'��"� ��� �����$%������� �!".�'�� ����"����?�9�� ��� �� ��4�

��,"����

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (&0�

/� ��������������������

�������<N���O=�

���?������������7"�!"� ������"����"����"��������"��� ����.����������� ���

���."�� ���� �����"������������ "7"���"��� �����$%I� �,�"����"����� ����

��������" � � ��������.���������".����E�

;#��� � ������� ���

( T st ar t ) ���� �����"��)�����������

( T D a n) ��� ����%������� ��,������E����������

,������ �����.���� ���?����.���� ��

( T commi t ) ���� �����"��)���������7" ����

( check poi nt ) ,�"�� �� �, "���

B�9�� �������� �'"�� ���� ������������ ����I����?� ���������" ���"�

�!�� "��������,����,���>� �� �� �"������ ��4��,��I��� � ��� "���������%�

CV�� � ���� �:��7���4,��".��%"�O�WD��������"���?��!���� "������'"���

��4� "�����,!:�"���� ���������������" �" � ������� ���

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (&2�

-+����������������

!'� !2� �������

st ar t ( T1 st ar t )

l ock X A

r ead A

C��S�(-D�

A = A - 1

wr i t e A ( T1 A 15 14)

l ock S B

unl ock A

s t ar t ( T2 st ar t )

l ock X A

r ead A

r ead B

A = A * 2

wr i t e A ( T2 A 14 28)

commi t ( T2 commi t )

B = B / A

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� (&&�

8�� ������������

B���� ��������������������� ��� ������9�� ����"�" "���������������H�

�����������7�"���E�

F� ������� �����"������"������� �I�

F� ����������� ������� "����,� � ���� �����"������ "�� ������,�"�� �� �, "���

�.�"�������� ��7� ������ � "�����

��� �����" ���,�"�� �� �, "��I�"��7����E�

(��"�� " ����� ����� ����.������� �����"��I�

�����"��� ������ �"� ������ �����"�������� �I�

����� " ���� � "����C ���������,�D������������ �������� ��, �������������" ��

��� ���I�

+���� " ��( checkpoi nt ) � ������9�� ��I�

-���� " ����� � "� ������ ��9�� ����� ���� "�����

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� �11�

; ������������

� !'� !2�

C(D� st ar t

C�D� l ock X A

C�D� r ead A

C+D� A = A - 1

C-D� wr i t e A

C/D� l ock S B

C0D� unl ock A

C2D� s t ar t

C&D� l ock X A

C(1D� r ead A

C((D� r ead B

C(�D� A = A * 2

C(�D� wr i t e A

C(+D� commi t

C(-D� B = B / A

C(/D� "�� �,�"��i

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� �1(�

5������

)(�������"�� ��,��I��������� ���,��� ���"���������������,� ��"������� � ��,���� ����

, �, "���� �����"�"���)(� �"��>� �� �7�"��I�����"�"�,�"��������,� ��"�����".�����E�

F� ���.� ������)(���,������� �$� �"��>� ����.��,�� ����$���"��������"�����

F� �� �"�� �� ��.� ����.���� ���������.�"���.�������"���?�9�� �,� �)(�C-D��

F� ���.���� � ��������,� �)����C(1D��������� ��,����������I����,� �������������

�"����?�9�� �7�"����,� �)��,�� ���>� ��"�� ������E�"��7���� ��� �7�" ��)���

F� %���� ���� �����"������,���" ����E������� �. �������"�>� �� �7�"����C����� ��� ��

� �����"���?� �7�" �D��

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� �1��

��������D���� ������?������

����� �����"�������?� ��4�,!������

�7"� ��."�� � ��.�" �?� �7�" �� ���� �����"���������� �I�����.� ����,�����,� ����

� �����"���������"�� ������, ��������7" ���"��Ccommi t D��

��,,������������ "�� �� ������$%����7�"������ �.� �� ������,���B��.���� �

�� "���,� ����,� ��"��wr i t e D�,�� �� ��� ��" � � ���������,������>� ���� "����� �

��� "��������"��,������ ��

���7���� "��"'�� � ��4��� ��� ���"���?�9�� �E�

F� �����D�?���������� ��������� "�� ��� ������$%������77��������"��� "��������

B��� �����"������7" ������ ���,���� " �� ������$%��

F� �����D�?������������������.������.���� �� ��� �������������O���� ������

9�� ������� ���� "�� ��� ������$%��������77�����������, ������commi t ��B��

� �����"������7" ������� ��� "���� "�� ������$%��

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� �1��

+��������� ������� ����� �����������������

��� ����,����� ."��I���,���������� ������ �����"������ �"������'� "���E�

(������ ����� ���� ��������#� �������������� ����������������� ���"����?�

9�� ������ �'"�� ������ � "���I�,� � �7""�"�� ���,�"�� �� �, "����

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

�#� ���������������.������.���� �� ��� �����,��.��� ��" � � ������

���,�������.�" ������� "������ � "��������7�� �� ��� �7�" �������"����?�9�� � ��

����� �����"����� ��� ".���������.������.���� �� ��� ������"� �. ����.�" �

�������� "����� ������9�� ����

������� ����� ������������������� ���������������, �, "���� �����"�"���

"�,�"��������� ���77������"����������%�������� �� ���"���?�9�� �"��� "���I�

"��7�� �� �7�" �������"����?�9�� � ������� �����"����� ��� ".���������"����

.���� �� ��� ������"� �. ����.�" ��������� "����� ������9�� ����

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� �1+�

�����D�?���������� ��

�������� ������ ����� ���� �?�������� ���

F� ��� ��!�����.������st ar t � ����� �����"��)�E��� " ��( st ar t T) � ������

9�� ����

F� ��� ��!�����,� ��"��wr i t e D� ����� �����"��)�E��

�� 3� " ��( T D anci enne- val eur nouvel l e- val eur ) � ������9�� ��I�,�"��

�� " ����� � "� ������ ��9�� ��� ����������" ����������

�� 3� " ��%� ������$%��

F� ��� ��!�����.������commi t � ����� �����"��)�E�

�� 3� " ��( commi t T) � ������9�� ��I�,�"���� " ����� � "� ������ ��9�� ��� ������

����" ����������

��������

F� 8� � ��������9�� ���?����.� ��9������� � "� �,�"�� �� �, "��I������������

� �����"�����7" ������

F� 8� � ��������9�� ���?����.� ��9������� � "� �,�"�� �� �, "����

� ��� ��!�����,� ��"��( T D a n) � ����� �����"������7" ����)�E�

3� " ������"���.���� ��� ��%� ������$%��

F� 8� � ��������9�� ���?���� �"�I� �,�"����� � "� �,�"�� �� �, "����

� ��� ��!�����,� ��"��( T D a n) � ����� �����"����7" ����)�E�

� � 3� " �������.�����.���� �� ��%� ������$%��

@A���������5�"� �� $����� �� ����� ����"�������c����� ������� �, "��� �1-�

�����D�?�����������

�������� ������ ����� ���� �?�������� ���

F� ��� ��!�����.������st ar t � ����� �����"��)��� " ��( st ar t T) � ������

9�� ����

F� ��� ��!�����,� ��"��wr i t e D� ����� �����"��)�E��

�� " ��( T D anci enne- val eur nouvel l e- val eur ) � ������9�� ����

F� ��� ��!�����.������commi t � ����� �����"��)�E�

�� 3� " ��( commi t T) � ������9�� ����

�� 3� " ����� � "� ������ ��9�� ��� ����������" ����������E����� �����"������

��7" �����

�� 3� " �� ������$%����� ������� "7"����,� ����� �����"��)��

��������

F� 8� � ��������9�� ���?����.� ��9������� � "� �,�"�� �� �, "��I������������

� �����"�����7" ������

F� 8� � ��������9�� ���?���� �"��?�,� �" � ��,�"�� �� �, "����

� ��� ��!�����,� ��"��( T D n) � ����� �����"��)���7" ����E�

� � 3� " �����.���� �� ��%� ������$%��

@A���������5�"� �� $����� �� ����� ����"�������c�$"��"�' �,!"�� �10�

1���������"���

@A���������5�"� �� $����� �� ����� ����"�������c�$"��"�' �,!"�� �12�

%��� ������ ��4���. �'����� ����������� �� �������'�� ������ ����"���������

,� �"���"� I����� "�,�"������6�"�"����4��"������ ."�?����, �,� ��"�� �������� ���

$��������A��������I������:�������� �����"�����E�����,��I�� �������, � �"��I�

=� ���I�(&&0��

%�������A�I��� � ���"����4������� �� ����I���� ��"����)!���������"�!"'I�

; ���I�(&&2��

%��������I�������%������!�� "��?����,,�"���"�I�%��$���O�B".� �"��I�(&&-��

#� � "�#�I�$����� ��%�������9���k� ����"���I�3: �����I��� "�I�(&&&��

# �:�A�I������ ���I�) �����"���� �����"'�����,���� �)��!"���I�5� '��

l��7��I�(&&���

�"��� ��!��e���I�l� �!�=��;�I��� � �!����I�%���������:���������,��I�5��# �m�

="��I�(&&0��

B�����A��%�I�%��������� �l�m�� '��$����C�m��.������DI����,��� ���"����

� ���I�C(&22I�(&2&D��