Wiki du LAMA (UMR 5127) - Contributions [fr]

PML

2009-05-29T14:30:24Z

Lvaux : lien tout pourri

PML : Proved ML or Programmable Mathematical Logic

[http://www.lama.univ-savoie.fr/~raffalli/pml La page web]

[http://www.lama.univ-savoie.fr/~raffalli/pml/manual.pdf User's manual]

==Sujets de discussions en cours==

* Compilo? Cible probable LLVM.
* Généralisation.
* Spécifications et preuves.
* Exemples (notamment en utilisant "untyped").
* Mise à jour de la doc.
* Révisions: PML le langage.

==Syntaxe de PML==

===Termes===

fun x->u
ou
\x.u

u v

===Variants polymorphes===

A[…]

Rien, c'est
{}

Pattern matching:
A[x] -> …

====Héritage ouvert pour les sommes====

match … with
| A[x] -> …
| B[x] -> …
…
| _ -> … <= attrape vraiment tout

====Cas problématique====

match f x with
| A[] , _ -> …
| _ , A[] -> …
| B[] , B[] -> …

Râle pour cause de pattern matching incomplet, parce qu'on ne connaît pas le
produit <math>E\times F</math> qui étend
<math>E' \times F' \cup E'' \times F'' </math>.

Il suffit de donner le type de <tt>x</tt>.

====Héritage multiple (fermé)====

| A[?x] … -> …

matche tous les variants du membre droit (doit être fini)

=====Cas d'utilisation=====

type a_expr (expr) = Add[expr] | …
type p_expr (expr) = Pair[expr] | …

val eval_a_expr ev = function
Add[x] ->
| …

val eval_p_expr ev = function
Pair[x] ->
| …

val rec eval_tout x = match x with
| ?x -> eval_a_expr eval_tout x
| ?x -> eval_p_expr eval_tout x

====À venir dans les patterns====

Digression sur les entiers:
nat16, nat32, nat64 <= Z/(2^k)Z
int <= big_nat / GMP

Et on pourra écrire:

| %fun as f ->
| %nat32 as n -> <= force à boxer

===Les records===

{ val x = … <= normal
{ val x == … <= champs utilisables uniquement dans les
preuves et les autres champs « == »
i.e. on teste que c'est jetable à la compil
{ val x =: … <= champs toujours inlinés
champs dont la valeur fait partie des contraintes de types
restriction: ne peut parler que des champs précédents
du même record
statut à clarifier dans les « val rec »
à l'intérieur des preuves

Le lieur n'est pas forcément le label:

{ val x as toto <= x est le nom du champ, mais on l'appelle toto
dans la suite du record

Exemple:

{
val x as y = … ,
val f = … y …
}.x

====Les tableaux (à venir)====

type toto = {
val size : int,
val a[0...size]: …
val b[1...size]: …

même contrainte que pour « =: »

====Héritage ouvert pour les records====

{ x with val l = … }

x n'est pas forcément un record.

Exemple:

{ \x.x with val l = … }

Si x est un record, le champ par défaut de

{ x with … }

est le champ par défaut de x.

====Héritage multiple====

{ x with
val …
include r <= recopie r
(sauf le champ par défaut, et les champs qui sont
écrasés après [note: en général, on ne peut pas écrire:
{ val l = … , val l = … }
])
il est nécessaire de connaître tous les champs de r
en particulier le champ par défaut de r ne doit pas
être un record indéterminé (cette restriction ne
s'applique pas à x, qu'on est en train d'étendre)

Note:
* le champ par défaut: analogue du _ dans le pattern matching
* le ?x du pattern matching: dual du include

===Erreurs et exceptions===

raise u // try x = … in … with e -> …
error u // rien: on ne rattrape pas les erreurs

On a le droit à
let try x = …

À voir:
open try r in … <= gnih ?

===Preuves===

Une preuve c'est un terme qui a le type vide.

[ t proof p ] <= p prouve que t ne lève ni exception ni erreur
p est typé sous l'hypothèse que t diverge

====Exemples====

[ A[] proof 8< ]

if b then [ f b proof 8< ] else …

====Sucre====

Dans les records:

val f x |- p proof q …

c'est:

val f =: \x.[if p then {} else error {}
proof if p then 8< else q ]

===La suite===

* types
* polymorphisme
* subtilités sur except et without dans l'héritage (patterns et records)

PML

2009-05-29T14:27:52Z

Lvaux : CR de la réunion du 29 mai 2009

PML : Proved ML or Programmable Mathematical Logic

[http://www.lama.univ-savoie.fr/~raffalli/pml La page web]

[http://www.lama.univ-savoie.fr/~raffalli/pml/manual.pdf User's manual]

[[ Chronique de naissance (liste de mails en français) ]]

==Sujets de discussions en cours==

* Compilo? Cible probable LLVM.
* Généralisation.
* Spécifications et preuves.
* Exemples (notamment en utilisant "untyped").
* Mise à jour de la doc.
* Révisions: PML le langage.

==Syntaxe de PML==

===Termes===

fun x->u
ou
\x.u

u v

===Variants polymorphes===

A[…]

Rien, c'est
{}

Pattern matching:
A[x] -> …

====Héritage ouvert pour les sommes====

match … with
| A[x] -> …
| B[x] -> …
…
| _ -> … <= attrape vraiment tout

====Cas problématique====

match f x with
| A[] , _ -> …
| _ , A[] -> …
| B[] , B[] -> …

Râle pour cause de pattern matching incomplet, parce qu'on ne connaît pas le
produit <math>E\times F</math> qui étend
<math>E' \times F' \cup E'' \times F'' </math>.

Il suffit de donner le type de <tt>x</tt>.

====Héritage multiple (fermé)====

| A[?x] … -> …

matche tous les variants du membre droit (doit être fini)

=====Cas d'utilisation=====

type a_expr (expr) = Add[expr] | …
type p_expr (expr) = Pair[expr] | …

val eval_a_expr ev = function
Add[x] ->
| …

val eval_p_expr ev = function
Pair[x] ->
| …

val rec eval_tout x = match x with
| ?x -> eval_a_expr eval_tout x
| ?x -> eval_p_expr eval_tout x

====À venir dans les patterns====

Digression sur les entiers:
nat16, nat32, nat64 <= Z/(2^k)Z
int <= big_nat / GMP

Et on pourra écrire:

| %fun as f ->
| %nat32 as n -> <= force à boxer

===Les records===

{ val x = … <= normal
{ val x == … <= champs utilisables uniquement dans les
preuves et les autres champs « == »
i.e. on teste que c'est jetable à la compil
{ val x =: … <= champs toujours inlinés
champs dont la valeur fait partie des contraintes de types
restriction: ne peut parler que des champs précédents
du même record
statut à clarifier dans les « val rec »
à l'intérieur des preuves

Le lieur n'est pas forcément le label:

{ val x as toto <= x est le nom du champ, mais on l'appelle toto
dans la suite du record

Exemple:

{
val x as y = … ,
val f = … y …
}.x

====Les tableaux (à venir)====

type toto = {
val size : int,
val a[0...size]: …
val b[1...size]: …

même contrainte que pour « =: »

====Héritage ouvert pour les records====

{ x with val l = … }

x n'est pas forcément un record.

Exemple:

{ \x.x with val l = … }

Si x est un record, le champ par défaut de

{ x with … }

est le champ par défaut de x.

====Héritage multiple====

{ x with
val …
include r <= recopie r
(sauf le champ par défaut, et les champs qui sont
écrasés après [note: en général, on ne peut pas écrire:
{ val l = … , val l = … }
])
il est nécessaire de connaître tous les champs de r
en particulier le champ par défaut de r ne doit pas
être un record indéterminé (cette restriction ne
s'applique pas à x, qu'on est en train d'étendre)

Note:
* le champ par défaut: analogue du _ dans le pattern matching
* le ?x du pattern matching: dual du include

===Erreurs et exceptions===

raise u // try x = … in … with e -> …
error u // rien: on ne rattrape pas les erreurs

On a le droit à
let try x = …

À voir:
open try r in … <= gnih ?

===Preuves===

Une preuve c'est un terme qui a le type vide.

[ t proof p ] <= p prouve que t ne lève ni exception ni erreur
p est typé sous l'hypothèse que t diverge

====Exemples====

[ A[] proof 8< ]

if b then [ f b proof 8< ] else …

====Sucre====

Dans les records:

val f x |- p proof q …

c'est:

val f =: \x.[if p then {} else error {}
proof if p then 8< else q ]

===La suite===

* types
* polymorphisme
* subtilités sur except et without dans l'héritage (patterns et records)

INFO603 : Algorithmique et types abstraits

2009-05-04T06:37:16Z

Lvaux : TP2

Responsable pour 2008-2009: Yves Dumond

TP assurés par Lionel Vaux:
* [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-603-TP1.pdf premier sujet (tris)];
* [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-603-TP2.pdf deuxième sujet (arbres)].

INFO606 : Bases de données

2009-04-10T11:40:13Z

Lvaux : Wikification du TP2

Quelques documents pour les TP d'INFO 606:

* [[INFO606-TP|Consignes générales pour les TP]]
* [[INFO606-TP1|Sujet du TP1]]
* [[INFO606-TP2|Sujet du TP2]]
* [http://eco.univ-savoie.fr/~cferr/TP2/Exemple-Trigger.pdf Un document sur les triggers]

INFO606-TP2-2008-2009

2009-04-10T11:39:42Z

Lvaux : création

Sujet du TP2 d'[[INFO606]] en 2008/2009.

==Modalités==

A réaliser par groupes de 4 étudiants (2 binômes), lors des 2 séances de TP restant.

Faites valider vos schémas EA et les schémas relationnels correspondants (3FN, MLD) par votre enseignant de TP avant implantation de la base.

''TP à rendre le 30 avril 2009.''

==Enoncé du problème==

« Tel-sans-fil » est une société fournissant des services dans le domaine de la
téléphonie mobile. Les principaux services fournis sont l’appel depuis un
portable, qui peut également être fourni (achat ou location), et l’envoi de
SMS. Elle gère 3 millions de clients en France; la plupart dispose
d’abonnements de type « forfait » ou « appel libre ».

Un abonnement de type « forfait » est mensuel: il consiste en un paiement fixe
qui donne droit à un temps donné de communication (par exemple 15 € par mois
pour une heure d’appel); une fois le temps d’appel écoulé, l’abonné a la
possibilité de réapprovisionner son compte en effectuant un virement par carte
bancaire, directement depuis son téléphone si celui-ci est équipé d’un lecteur
de carte bancaire, en composant le numéro du service de réapprovisionnement
(utilisation de son mot de passe), ou depuis le site internet de la société.
Les temps d’appel sont ensuite décomptés à raison d’un coût donné par seconde.
Il s’agit là d’un forfait « fixe ». Une autre formule existe (dite « forfait
libre »), qui ne nécessite pas d’intervention pour réapprovisionnement de la
part de l’abonné: son droit à appel est maintenu une fois le forfait épuisé et
une procédure de retrait sur son compte bancaire est automatiquement mise en
place. Un SMS est envoyé à tout abonné qui arrive à épuisement de son forfait
pour le prévenir. Pour les abonnés de type « forfait libre », un SMS est
également envoyé chaque mois pour indiquer la consommation totale du mois
courant, en temps et en coût, à la date anniversaire du contrat. Un forfait
court en effet depuis tel jour un mois donné jusqu’au même jour le mois suivant
(par exemple, depuis le 15 du mois jusqu’au 15 du mois suivant).

Pour les abonnements de type « appel libre », il n’y a pas de coût forfaitaire:
chaque appel est décompté en fonction de sa durée et le paiement peut être
effectué ou bien par prélèvement automatiquement sur le compte bancaire de la
personne tous les mois (abonnement « appel libre »), ou bien par une
intervention explicite de la personne qui procèdera à des rechargements de son
compte - client chez « tel-sans-fil » par carte bancaire (abonnement « appel
libre contrôlé »).

Les abonnements donnent accès à des services qui vont être gratuits ou payants
en fonction de l’abonnement. En cas de service payant, la facturation est ou
bien forfaitaire (un coût fixe pour tout appel au service en question), ou bien
au prorata du temps passé sur le service (tant d’euros par seconde de
connexion).

Cette société vous confie aujourd’hui la réalisation de sa base de données.
Celle-ci doit permettre:
* à « Tel-sans-fil » de retrouver les informations sur un client (coordonnées certes mais aussi nature de l’abonnement, type de portable utilisé, …), d’assurer le suivi des communications et d’établir les factures mensuellement, de communiquer avec les clients par envois de SMS ou encore d’établir des statistiques en vue d’améliorer les services offerts. Pour ce dernier besoin, une analyse des comportements des clients est à prévoir en fonction de leur nature (utilisateur « business » versus utilisateur « loisir » notamment) ;
* à ses clients de consulter la liste des appels entrants et sortants sur le mois en cours sur le site internet de la société, d’effectuer un réapprovisionnement de son compte ou encore d’avoir accès aux services proposés par la société (donc aux informations de la base) directement depuis leur portable, en composant le numéro du service (ex : suivi des temps de communication et demande du temps restant, en cas d’abonnement par forfait ou en cas de réapprovisionnement volontaire du compte; accès à la messagerie, ...). Si le client fait appel à un service directement depuis son portable, il recevra ou bien une reponse vocale instantanée sur son portable, ou bien un SMS dans les 20 secondes au maximum qui suivent son appel. Il a la possibilité, pour certains services et en fonction de son type d'abonnement, de choisir le moyen par lequel il sera prévenu (message vocal ou SMS). Cela est par exemple le cas pour le service donnant le temps restant de communication.

==Travail à réaliser==

Il vous est demandé :
# de construire un schéma entités-associations correspondant aux besoins de modélisation exprimés ci-dessus;
# de proposer une collection de relations en 3FN correspondant à votre modèle. Vous préciserez les clés des entités avant d'en dégager une collection de relations en forme quelconque qui sera transformée en une collection en 3FN. Vous utiliserez pour cela l'une ou l'autre des méthodes synthétique ou par décomposition en explicitant les différentes étapes du processus de normalisation (présentez les schémas de relations en 1FN puis 2FN puis 3FN);
# de proposer un MLD à partir de la collection en 3FN obtenue ci dessus. Pour cela, vous analyserez les besoins en transactions et interrogations. Vous identifierez notamment les acteurs impliqués, leurs droits sur les différentes données et analyserez la fréquence, la complexité et la performance des requêtes sur le schéma 3FN initial. Intéressez-vous principalement aux requêtes fréquentes et nécessitant un temps de réponse immédiat. Evaluer le coût de ces requêtes et proposez des optimisations sur la collection de relations en 3FN pour le réduire;
# de reprendre les scripts de création de la base TP1 et de les modifier afin de créer votre propre base, correspondant au MLD proposé (préfixez votre base par : tpInfo606_nombinome1_nombinome2). Vous pourrez, pour simuler la quantité importante de données, envisager de créer automatiquement des n-uplets (par exemple les comptes des clients - génération automatique des N° d'appel - ou encore les appels : N° appelant, N° appelé, durée de l'appel);
# de créer les utilisateurs, les droits associés ainsi que les principales requêtes répondant aux besoins;
# d'écrire si besoin des Triggers pour vérifier des contraintes d'intégrité ou pour mettre à jour automatiquement certaines données de la base en fonction d'autres. Pour cela, vous vous inspirerez des exemples qui vous sont donnés dans le document qui complète ce sujet. Vous verifierez notamment que les numéros de téléphone des appels sont corrects (ex : qu'ils commencent bien par 06 pour un numéro de portable en France ou +33 pour un numéro français).

A titre indicatif, voici une liste de requêtes qui pourraient être formulées
sur la base, en plus des considérations évoquées ci-dessus. Il est à noter que
le résultat de certaines de ces requêtes à destination de l'abonné pourra être
transmis soit par SMS, soit oralement après synthèse vocale, après appel de
l'abonné qui est alors en ligne, soit via une interface web, l'abonné ayant
alors accédé au service de suivi de son compte chez Tel-sans-fil. Des temps
d'accès rapides à l'information sont de fait requis (instantanés, en fait).
Pour les traitements statistiques et d'aide à l'exploitation commerciale, des
temps plus longs sont acceptables. Par ailleurs, le nombre moyen d'appels par
jour à partir d'un téléphone portable est de 10.

# Liste des caractéristiques des abonnés disposant d’un « forfait libre »
# Caractéristiques des abonnés de type «business » (coordonnées, type d’abonnement)
# Qui a accès à la fois au service de réapprovisionnement en ligne des comptes et à celui d’envoi de SMS ?
# Qui n’utilise jamais les SMS ?
# Quels sont les clients ayant un abonnement de type « forfait libre » qui ont utilisé tous les services proposés dans le cadre de cet abonnement ?
# Pour qui le service de redirection des appels est-il gratuit ?
# Consultation à une date donnée par le client de numéro 06 66 66 66 66 des appels entrants.
# Demande, par ce même client, de son temps restant de communication (il dispose d’un abonnement par forfait).
# Quel est le service qui a le plus de succès pour chacun des types d’abonnements ?
# Demande, par un client disposant d’un abonnement de type « appel libre », du coût total actuel des communications qu’il a passées, depuis qu'il est abonné chez "Tel-sans-fil" et depuis le début du mois.
# Qui a un comportement qualifié de « prudent » ? On qualifiera de « prudent » un comportement qui consiste à appeler le service « temps de communication restant » (N° 555) pour les forfaits ou « coût des appels depuis le début du mois » (N° 666) pour les formules « appel libre » souvent, c’est-à-dire au moins une fois tous les 10 appels.
# Tel-sans-fil souhaite lancer une formule promotionnelle pour les appels du week-end. Elle veut pour cela cibler les abonnés ayant un usage de leur telephone plus important le week-end que la semaine. A qui, parmi ses trois millions de clients, doit-elle envoyer le message promotionnel ?

INFO606 : Bases de données

2009-04-10T11:30:04Z

Lvaux :

Quelques documents pour les TP d'INFO 606:

* [[INFO606-TP|Consignes générales pour les TP]]
* [[INFO606-TP1|Sujet du TP1]]
* [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-606/TP2_BD_2008-2009.html Sujet du TP2]
* [http://eco.univ-savoie.fr/~cferr/TP2/Exemple-Trigger.pdf Un document sur les triggers]

INFO606 : Bases de données

2009-04-10T11:20:57Z

Lvaux : tp2

INFO606-TP2-2010-2011

2009-03-30T06:57:21Z

Lvaux : /* Partie 2: Observation des scripts */ Note sur l'attribut "pour_sys"

Sujet du TP1 d'[[INFO606]] en 2008/2009.

==Description de la base à modéliser==

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par
un nom et un bâtiment (par exemple <tt>59B</tt>, bâtiment <tt>Maurienne</tt>).
Pour chaque salle, on donne l'indication de l'étage où elle se trouve.
Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

==Travail à réaliser==

Vous traiterez les trois parties suivantes dans un compte-rendu que vous ferez parvenir à votre responsable de TP.

===Partie 1: Modèle de données===

On propose la collection de relations suivante (les clefs sont en majuscules):

Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
Licence (NUM_CONTRAT, ident_sys, nb_licences)
Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
Installation (NOM_MACH, IDENT_SYS)
Dhcp (ADR_MAC, adr_ip)
Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
Emplacement (NOM_MACH, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.
# Identifiez parmi les attributs de ces relations lesquels sont des références à des clés étrangères.

===Partie 2: Observation des scripts===

Les fichiers SQL de création de la base de données vous sont fournis [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-606/TP1 ici].
La base de donnée est hébergée sur le serveur <tt>eco.univ-savoie.fr</tt> sur lequel vous pouvez vous connecter à travers le protocole SSH:
consultez à cet effet la page [http://eco.univ-savoie.fr/~cferr/Utilisation_PostgreSQL_-_TP_BD.html Utilisation d'un serveur POSTGRESQL] sur la machine <tt>eco</tt>.
Dans la création des tables de la base, apparaissent les instructions SQL suivantes:

constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)

# Que signifient-elles ? Que permettent-elles de représenter ?
# Utilisez la commande <tt>\dS</tt> pour visualiser la liste des tables système. Parmi ces tables, il existe une table <tt>pg_indexes</tt> dont nous vous demandons de visualiser le contenu. A quoi correspond ce contenu ? de quoi s'agit-il ? Faites le lien avec les tables de la base que vous avez à manipuler.
# Comment crée-t-on les utilisateurs et leur alloue-t-on des droits sur les tables ? Qui a actuellement des droits (et lesquels) sur les tables de la base <tt>TP1-BD-L3-2008-2009</tt> ? Fouillez dans les tables système pour répondre à cette question.

'''Note: ''' Il y a une erreur mineure dans la requête de création de la
table <tt>licence</tt>: l'attribut <tt>ident_sys</tt> devient <tt>pour_sys</tt>.
Les requêtes d'insertion doivent être modifiées en conséquence (c'est le cas dans les scripts fournis).

===Partie 3: Requêtes===

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

# Liste des machines de l'architecture <tt>IA32</tt>.
# Listes des machines sur lesquelles le système <tt>WIN-XP-PRO-IA64</tt> est installé.
# Liste des machines sur lesquelles est installé un Windows pour architecture <tt>IA64</tt>.
# Listes des machines dans la réserve (celles qui ne sont dans aucune salle).
# Combien de licences pour <tt>WIN-XP-PRO-IA32</tt> sont-elles utilisées ?
# Combien de licences pour Windows XP sur architecture <tt>IA32</tt> (toutes éditions confondues) sont-elles disponibles ?
# Listes des systèmes payants, pour lesquels il n'y a plus de licence disponible.
# Quels systèmes sont installables sur la machine <tt>barbatruc</tt> avec les licences disponibles ?
# Sur quelles machines de la réserve peut-on installer <tt>UBUNTU-DESKTOP-8.10-IA32</tt> ?
# Quel est le système le plus "gourmand" en mémoire vive (celui qui en demande le plus pour fonctionner) ? Ecrire cette requête en algèbre et calcul relationnels, puis en SQL SANS AVOIR RECOURS aux primitives de calcul (max notamment) introduites par <tt>SQL</tt>.
# Quelles sont les salles dans lesquelles on pourra trouver des machines avec des systèmes windows et d'autres avec des systèmes Ubuntu ?
# Quelles sont les salles dans lesquelles toutes les machines sont installées sous Ubuntu ?
# Quelles sont les salles dans lesquelles aucune machine n'est installée sous Ubuntu ?
# Quelles sont les machines sur lesquelles sont installés tous les systèmes dont dispose l'Université ?
# Quelle est la salle ayant la configuration la plus hétérogène (il s'agit de la salle qui comporte la plus grande variété de systèmes installés sur ses machines) ?
# Pour chaque salle, indiquez son nom et le nombre de systèmes différents installés sur les machines qui l'occupent.
# Pour chaque salle, indiquez le nombre de prises Ethernet libres.
# Dans quelles salles peut-on encore ajouter une machine ?
# Listez les adresses IP attribuées par le serveur DHCP.
# Listez les machines auxquelles le serveur DHCP attribue une adresse, mais qui sont dans la réserve et pas dans une salle.

INFO606-TP2-2010-2011

2009-03-30T06:28:54Z

Lvaux : /* Description de la base à modéliser */ précision sur les salles

Sujet du TP1 d'[[INFO606]] en 2008/2009.

==Description de la base à modéliser==

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par
un nom et un bâtiment (par exemple <tt>59B</tt>, bâtiment <tt>Maurienne</tt>).
Pour chaque salle, on donne l'indication de l'étage où elle se trouve.
Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

==Travail à réaliser==

Vous traiterez les trois parties suivantes dans un compte-rendu que vous ferez parvenir à votre responsable de TP.

===Partie 1: Modèle de données===

On propose la collection de relations suivante (les clefs sont en majuscules):

Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
Licence (NUM_CONTRAT, ident_sys, nb_licences)
Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
Installation (NOM_MACH, IDENT_SYS)
Dhcp (ADR_MAC, adr_ip)
Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
Emplacement (NOM_MACH, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.
# Identifiez parmi les attributs de ces relations lesquels sont des références à des clés étrangères.

===Partie 2: Observation des scripts===

Les fichiers SQL de création de la base de données vous sont fournis [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-606/TP1 ici].
La base de donnée est hébergée sur le serveur <tt>eco.univ-savoie.fr</tt> sur lequel vous pouvez vous connecter à travers le protocole SSH:
consultez à cet effet la page [http://eco.univ-savoie.fr/~cferr/Utilisation_PostgreSQL_-_TP_BD.html Utilisation d'un serveur POSTGRESQL] sur la machine <tt>eco</tt>.
Dans la création des tables de la base, apparaissent les instructions SQL suivantes:

constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)

# Que signifient-elles ? Que permettent-elles de représenter ?
# Utilisez la commande <tt>\dS</tt> pour visualiser la liste des tables système. Parmi ces tables, il existe une table <tt>pg_indexes</tt> dont nous vous demandons de visualiser le contenu. A quoi correspond ce contenu ? de quoi s'agit-il ? Faites le lien avec les tables de la base que vous avez à manipuler.
# Comment crée-t-on les utilisateurs et leur alloue-t-on des droits sur les tables ? Qui a actuellement des droits (et lesquels) sur les tables de la base <tt>TP1-BD-L3-2008-2009</tt> ? Fouillez dans les tables système pour répondre à cette question.

===Partie 3: Requêtes===

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

# Liste des machines de l'architecture <tt>IA32</tt>.
# Listes des machines sur lesquelles le système <tt>WIN-XP-PRO-IA64</tt> est installé.
# Liste des machines sur lesquelles est installé un Windows pour architecture <tt>IA64</tt>.
# Listes des machines dans la réserve (celles qui ne sont dans aucune salle).
# Combien de licences pour <tt>WIN-XP-PRO-IA32</tt> sont-elles utilisées ?
# Combien de licences pour Windows XP sur architecture <tt>IA32</tt> (toutes éditions confondues) sont-elles disponibles ?
# Listes des systèmes payants, pour lesquels il n'y a plus de licence disponible.
# Quels systèmes sont installables sur la machine <tt>barbatruc</tt> avec les licences disponibles ?
# Sur quelles machines de la réserve peut-on installer <tt>UBUNTU-DESKTOP-8.10-IA32</tt> ?
# Quel est le système le plus "gourmand" en mémoire vive (celui qui en demande le plus pour fonctionner) ? Ecrire cette requête en algèbre et calcul relationnels, puis en SQL SANS AVOIR RECOURS aux primitives de calcul (max notamment) introduites par <tt>SQL</tt>.
# Quelles sont les salles dans lesquelles on pourra trouver des machines avec des systèmes windows et d'autres avec des systèmes Ubuntu ?
# Quelles sont les salles dans lesquelles toutes les machines sont installées sous Ubuntu ?
# Quelles sont les salles dans lesquelles aucune machine n'est installée sous Ubuntu ?
# Quelles sont les machines sur lesquelles sont installés tous les systèmes dont dispose l'Université ?
# Quelle est la salle ayant la configuration la plus hétérogène (il s'agit de la salle qui comporte la plus grande variété de systèmes installés sur ses machines) ?
# Pour chaque salle, indiquez son nom et le nombre de systèmes différents installés sur les machines qui l'occupent.
# Pour chaque salle, indiquez le nombre de prises Ethernet libres.
# Dans quelles salles peut-on encore ajouter une machine ?
# Listez les adresses IP attribuées par le serveur DHCP.
# Listez les machines auxquelles le serveur DHCP attribue une adresse, mais qui sont dans la réserve et pas dans une salle.

INFO603 : Algorithmique et types abstraits

2009-03-29T14:31:33Z

Lvaux : Création

Responsable pour 2008-2009: Yves Dumond

TP assurés par Lionel Vaux: [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-603-TP1.pdf premier sujet (tris)].

INFO603

2009-03-29T14:29:42Z

Lvaux : création

#REDIRECT[[INFO603 : Algorithmique et types abstraits]]

INFO606-TP2-2010-2011

2009-03-27T13:18:25Z

Lvaux :

Sujet du TP1 d'[[INFO606]] en 2008/2009.

==Description de la base à modéliser==

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par son
numéro. Les informations sur les salles indiquent le bâtiment et l'étage où
elles se trouvent. Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

==Travail à réaliser==

Vous traiterez les trois parties suivantes dans un compte-rendu que vous ferez parvenir à votre responsable de TP.

===Partie 1: Modèle de données===

On propose la collection de relations suivante (les clefs sont en majuscules):

Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
Licence (NUM_CONTRAT, ident_sys, nb_licences)
Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
Installation (NOM_MACH, IDENT_SYS)
Dhcp (ADR_MAC, adr_ip)
Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
Emplacement (NOM_MACH, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.
# Identifiez parmi les attributs de ces relations lesquels sont des références à des clés étrangères.

===Partie 2: Observation des scripts===

Les fichiers SQL de création de la base de données vous sont fournis [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-606/TP1 ici].
La base de donnée est hébergée sur le serveur <tt>eco.univ-savoie.fr</tt> sur lequel vous pouvez vous connecter à travers le protocole SSH:
consultez à cet effet la page [http://eco.univ-savoie.fr/~cferr/Utilisation_PostgreSQL_-_TP_BD.html Utilisation d'un serveur POSTGRESQL] sur la machine <tt>eco</tt>.
Dans la création des tables de la base, apparaissent les instructions SQL suivantes:

constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)

# Que signifient-elles ? Que permettent-elles de représenter ?
# Utilisez la commande <tt>\dS</tt> pour visulaliser la liste des tables système. Parmi ces tables, il existe une table <tt>pg_indexes</tt> dont nous vous demandons de visualiser le contenu. A quoi correspond ce contenu ? de quoi s'agit-il ? Faites le lien avec les tables de la base que vous avez à manipuler.
# Comment crée-t-on les utilisateurs et leur alloue-t-on des droits sur les tables ? Qui a actuellement des droits (et lesquels) sur les tables de la base <tt>TP1-BD-L3-2008-2009</tt> ? Fouillez dans les tables système pour répondre à cette question.

===Partie 3: Requêtes===

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

# Liste des machines de l'architecture <tt>IA32</tt>.
# Listes des machines sur lesquelles le système <tt>WIN-XP-PRO-IA64</tt> est installé.
# Liste des machines sur lesquelles est installé un Windows pour architecture <tt>IA64</tt>.
# Listes des machines dans la réserve (celles qui ne sont dans aucune salle).
# Combien de licences pour <tt>WIN-XP-PRO-IA32</tt> sont-elles utilisées ?
# Combien de licences pour Windows XP sur architecture <tt>IA32</tt> (toutes éditions confondues) sont-elles disponibles ?
# Listes des systèmes payants, pour lesquels il n'y a plus de licence disponible.
# Quels systèmes sont installables sur la machine <tt>barbatruc</tt> avec les licences disponibles ?
# Sur quelles machines de la réserve peut-on installer <tt>UBUNTU-DESKTOP-8.10-IA32</tt> ?
# Quel est le système le plus "gourmand" en mémoire vive (celui qui en demande le plus pour fonctionner) ? Ecrire cette requête en algèbre et calcul relationnels, puis en SQL SANS AVOIR RECOURS aux primitives de calcul (max notamment) introduites par <tt>SQL</tt>.
# Quelles sont les salles dans lesquelles on pourra trouver des machines avec des systèmes windows et d'autres avec des systèmes Ubuntu ?
# Quelles sont les salles dans lesquelles toutes les machines sont installées sous Ubuntu ?
# Quelles sont les salles dans lesquelles aucune machine n'est installée sous Ubuntu ?
# Quelles sont les machines sur lesquelles sont installés tous les systèmes dont dispose l'Université ?
# Quelle est la salle ayant la configuration la plus hétérogène (il s'agit de la salle qui comporte la plus grande variété de systèmes installés sur ses machines) ?
# Pour chaque salle, indiquez son nom et le nombre de systèmes différents installés sur les machines qui l'occupent.
# Pour chaque salle, indiquez le nombre de prises Ethernet libres.
# Dans quelle salle peut-on encore ajouter une machine ?
# Listez les adresses IP attribuées par le serveur DHCP.
# Listez les machines auxquelles le serveur DHCP attribue une adresse, mais qui sont dans la réserve et pas dans une salle.

INFO606-TP

2009-03-27T13:17:52Z

Lvaux :

Cette page décrit la procédure pour mettre en oeuvre les TP de base de données ([[INFO606]]).

Remarque : les TP se font sous un environnement Linux + PostgreSQL

==Se connecter sur le serveur de données==

le serveur de BD est installé sur la machine <tt>ECO</tt>. La procédure est la suivante (sous Linux):

# ouverture d'un terminal sur votre machine ;
# connexion sur <tt>ECO</tt> (par la commande <tt>ssh -l votrelogin eco</tt> - vérifiez que vous avez bien accès à votre compte par la commande <tt>pwd</tt>) ;
# création d'un répertoire (spécial "base de données" !) dans lequel vous allez :
#* créer vos scripts SQL ;
#* lancer l'interpréteur de commandes SQL (<tt>psql</tt>).

==Créer une base==

pour créer une base de données, vous devez utiliser la ligne de commande.
Ne cherchez pas la base dans un de vos répertoires, elle est gérée par le serveur de données dans un répertoire protégé.

* Sur le serveur <tt>ECO</tt>, tapez :
createdb -U votreloginPostGRESQL -W nombase
* donnez le mot de passe comme demandé ;
* votre base est créée.

==Exploiter une base==

une fois votre base créée, vous disposez de nombreux moyens pour accéder à
celle-ci : interpréteur en ligne, outils graphiques, programmes PHP, etc... Le
plus simple est d'utiliser l'interpréteur de commandes SQL : <tt>psql</tt>

* Sur le serveur ECO, placez vous dans le répertoire où se trouvent les scripts SQL à utiliser (ce n'est pas obligatoire mais cela évite de taper le chemin complet d'accès aux scripts).
* Lancez alors la commande :
psql -U votreloginPostGRESQL -W nombase
* Donnez le mot de passe à l'invite du prompt.
* À l'affichage du prompt <tt>nombase =#</tt> , vous pouvez :
** soit saisir une commande sql (<tt>select</tt>, <tt>insert</tt>, <tt>drop</tt>, ...) en terminant la ligne par le caractère <q><tt>;</tt></q>;
** soit saisir une commande interne (<tt>\?</tt> pour avoir la liste des commandes internes).
* Les commandes internes les plus utiles :
** <tt>\i nomfichier</tt> : exécuter un fichier de commandes sql
** <tt>\?</tt> : liste des commandes internes

==Pour les TP==

Pour les TP, nous vous conseillons :
* d'éditer via <tt>xemacs</tt> tous les scripts sql (requêtes , etc...) que vous souhaitez soumettre;
* d'ouvrir une connexion SSH sur <tt>eco</tt>, de lancer <tt>psql</tt> sur la base de travail, et de soumettre vos scripts avec la commande interne <tt>\i</tt>;
* d'avoir toujours un navigateur ouvert sur la doc : [http://www.postgresql.org/docs/8.3/interactive/sql-commands.html Doc SQL en ligne].

Pour le TP1, le nom de la base est <tt>TP1-BD-L3-2008-2009</tt>. Attention: cette base est utilisée en commun par tous les groupes.

INFO606-TP

2009-03-27T13:17:44Z

Lvaux :

Cette page décrit la procédure pour mettre en oeuvre les TP de base de données ([INFO606]).

Remarque : les TP se font sous un environnement Linux + PostgreSQL

==Se connecter sur le serveur de données==

le serveur de BD est installé sur la machine <tt>ECO</tt>. La procédure est la suivante (sous Linux):

# ouverture d'un terminal sur votre machine ;
# connexion sur <tt>ECO</tt> (par la commande <tt>ssh -l votrelogin eco</tt> - vérifiez que vous avez bien accès à votre compte par la commande <tt>pwd</tt>) ;
# création d'un répertoire (spécial "base de données" !) dans lequel vous allez :
#* créer vos scripts SQL ;
#* lancer l'interpréteur de commandes SQL (<tt>psql</tt>).

==Créer une base==

pour créer une base de données, vous devez utiliser la ligne de commande.
Ne cherchez pas la base dans un de vos répertoires, elle est gérée par le serveur de données dans un répertoire protégé.

* Sur le serveur <tt>ECO</tt>, tapez :
createdb -U votreloginPostGRESQL -W nombase
* donnez le mot de passe comme demandé ;
* votre base est créée.

==Exploiter une base==

une fois votre base créée, vous disposez de nombreux moyens pour accéder à
celle-ci : interpréteur en ligne, outils graphiques, programmes PHP, etc... Le
plus simple est d'utiliser l'interpréteur de commandes SQL : <tt>psql</tt>

* Sur le serveur ECO, placez vous dans le répertoire où se trouvent les scripts SQL à utiliser (ce n'est pas obligatoire mais cela évite de taper le chemin complet d'accès aux scripts).
* Lancez alors la commande :
psql -U votreloginPostGRESQL -W nombase
* Donnez le mot de passe à l'invite du prompt.
* À l'affichage du prompt <tt>nombase =#</tt> , vous pouvez :
** soit saisir une commande sql (<tt>select</tt>, <tt>insert</tt>, <tt>drop</tt>, ...) en terminant la ligne par le caractère <q><tt>;</tt></q>;
** soit saisir une commande interne (<tt>\?</tt> pour avoir la liste des commandes internes).
* Les commandes internes les plus utiles :
** <tt>\i nomfichier</tt> : exécuter un fichier de commandes sql
** <tt>\?</tt> : liste des commandes internes

==Pour les TP==

Pour les TP, nous vous conseillons :
* d'éditer via <tt>xemacs</tt> tous les scripts sql (requêtes , etc...) que vous souhaitez soumettre;
* d'ouvrir une connexion SSH sur <tt>eco</tt>, de lancer <tt>psql</tt> sur la base de travail, et de soumettre vos scripts avec la commande interne <tt>\i</tt>;
* d'avoir toujours un navigateur ouvert sur la doc : [http://www.postgresql.org/docs/8.3/interactive/sql-commands.html Doc SQL en ligne].

Pour le TP1, le nom de la base est <tt>TP1-BD-L3-2008-2009</tt>. Attention: cette base est utilisée en commun par tous les groupes.

INFO606-TP

2009-03-27T13:17:25Z

Lvaux : création

Cette page décrit la procédure pour mettre en oeuvre les TP de base de données.

Remarque : les TP se font sous un environnement Linux + PostgreSQL

==Se connecter sur le serveur de données==

le serveur de BD est installé sur la machine <tt>ECO</tt>. La procédure est la suivante (sous Linux):

# ouverture d'un terminal sur votre machine ;
# connexion sur <tt>ECO</tt> (par la commande <tt>ssh -l votrelogin eco</tt> - vérifiez que vous avez bien accès à votre compte par la commande <tt>pwd</tt>) ;
# création d'un répertoire (spécial "base de données" !) dans lequel vous allez :
#* créer vos scripts SQL ;
#* lancer l'interpréteur de commandes SQL (<tt>psql</tt>).

==Créer une base==

pour créer une base de données, vous devez utiliser la ligne de commande.
Ne cherchez pas la base dans un de vos répertoires, elle est gérée par le serveur de données dans un répertoire protégé.

* Sur le serveur <tt>ECO</tt>, tapez :
createdb -U votreloginPostGRESQL -W nombase
* donnez le mot de passe comme demandé ;
* votre base est créée.

==Exploiter une base==

une fois votre base créée, vous disposez de nombreux moyens pour accéder à
celle-ci : interpréteur en ligne, outils graphiques, programmes PHP, etc... Le
plus simple est d'utiliser l'interpréteur de commandes SQL : <tt>psql</tt>

* Sur le serveur ECO, placez vous dans le répertoire où se trouvent les scripts SQL à utiliser (ce n'est pas obligatoire mais cela évite de taper le chemin complet d'accès aux scripts).
* Lancez alors la commande :
psql -U votreloginPostGRESQL -W nombase
* Donnez le mot de passe à l'invite du prompt.
* À l'affichage du prompt <tt>nombase =#</tt> , vous pouvez :
** soit saisir une commande sql (<tt>select</tt>, <tt>insert</tt>, <tt>drop</tt>, ...) en terminant la ligne par le caractère <q><tt>;</tt></q>;
** soit saisir une commande interne (<tt>\?</tt> pour avoir la liste des commandes internes).
* Les commandes internes les plus utiles :
** <tt>\i nomfichier</tt> : exécuter un fichier de commandes sql
** <tt>\?</tt> : liste des commandes internes

==Pour les TP==

Pour les TP, nous vous conseillons :
* d'éditer via <tt>xemacs</tt> tous les scripts sql (requêtes , etc...) que vous souhaitez soumettre;
* d'ouvrir une connexion SSH sur <tt>eco</tt>, de lancer <tt>psql</tt> sur la base de travail, et de soumettre vos scripts avec la commande interne <tt>\i</tt>;
* d'avoir toujours un navigateur ouvert sur la doc : [http://www.postgresql.org/docs/8.3/interactive/sql-commands.html Doc SQL en ligne].

Pour le TP1, le nom de la base est <tt>TP1-BD-L3-2008-2009</tt>. Attention: cette base est utilisée en commun par tous les groupes.

INFO606 : Bases de données

2009-03-27T13:07:40Z

Lvaux :

Quelques documents pour les TP d'INFO 606:

* [[INFO606-TP|Consignes générales pour les TP]]
* [[INFO606-TP1|Sujet du TP1]]

INFO606 : Bases de données

2009-03-27T13:06:46Z

Lvaux : Wikification de la page d'aide pour les TP

Quelques documents pour les TP d'INFO 606:

* [[Consignes générales pour les TP]]
* [[INFO606-TP1| Sujet du TP1]]

INFO606-TP2-2010-2011

2009-03-27T12:54:32Z

Lvaux : /* Partie 2: Observation des scripts */ lien vers doc

==Description de la base à modéliser==

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par son
numéro. Les informations sur les salles indiquent le bâtiment et l'étage où
elles se trouvent. Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

==Travail à réaliser==

Vous traiterez les trois parties suivantes dans un compte-rendu que vous ferez parvenir à votre responsable de TP.

===Partie 1: Modèle de données===

On propose la collection de relations suivante (les clefs sont en majuscules):

Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
Licence (NUM_CONTRAT, ident_sys, nb_licences)
Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
Installation (NOM_MACH, IDENT_SYS)
Dhcp (ADR_MAC, adr_ip)
Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
Emplacement (NOM_MACH, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.
# Identifiez parmi les attributs de ces relations lesquels sont des références à des clés étrangères.

===Partie 2: Observation des scripts===

Les fichiers SQL de création de la base de données vous sont fournis [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-606/TP1 ici].
La base de donnée est hébergée sur le serveur <tt>eco.univ-savoie.fr</tt> sur lequel vous pouvez vous connecter à travers le protocole SSH:
consultez à cet effet la page [http://eco.univ-savoie.fr/~cferr/Utilisation_PostgreSQL_-_TP_BD.html Utilisation d'un serveur POSTGRESQL] sur la machine <tt>eco</tt>.
Dans la création des tables de la base, apparaissent les instructions SQL suivantes:

constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)

# Que signifient-elles ? Que permettent-elles de représenter ?
# Utilisez la commande <tt>\dS</tt> pour visulaliser la liste des tables système. Parmi ces tables, il existe une table <tt>pg_indexes</tt> dont nous vous demandons de visualiser le contenu. A quoi correspond ce contenu ? de quoi s'agit-il ? Faites le lien avec les tables de la base que vous avez à manipuler.
# Comment crée-t-on les utilisateurs et leur alloue-t-on des droits sur les tables ? Qui a actuellement des droits (et lesquels) sur les tables de la base <tt>TP1-BD-L3-2008-2009</tt> ? Fouillez dans les tables système pour répondre à cette question.

===Partie 3: Requêtes===

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

# Liste des machines de l'architecture <tt>IA32</tt>.
# Listes des machines sur lesquelles le système <tt>WIN-XP-PRO-IA64</tt> est installé.
# Liste des machines sur lesquelles est installé un Windows pour architecture <tt>IA64</tt>.
# Listes des machines dans la réserve (celles qui ne sont dans aucune salle).
# Combien de licences pour <tt>WIN-XP-PRO-IA32</tt> sont-elles utilisées ?
# Combien de licences pour Windows XP sur architecture <tt>IA32</tt> (toutes éditions confondues) sont-elles disponibles ?
# Listes des systèmes payants, pour lesquels il n'y a plus de licence disponible.
# Quels systèmes sont installables sur la machine <tt>barbatruc</tt> avec les licences disponibles ?
# Sur quelles machines de la réserve peut-on installer <tt>UBUNTU-DESKTOP-8.10-IA32</tt> ?
# Quel est le système le plus "gourmand" en mémoire vive (celui qui en demande le plus pour fonctionner) ? Ecrire cette requête en algèbre et calcul relationnels, puis en SQL SANS AVOIR RECOURS aux primitives de calcul (max notamment) introduites par <tt>SQL</tt>.
# Quelles sont les salles dans lesquelles on pourra trouver des machines avec des systèmes windows et d'autres avec des systèmes Ubuntu ?
# Quelles sont les salles dans lesquelles toutes les machines sont installées sous Ubuntu ?
# Quelles sont les salles dans lesquelles aucune machine n'est installée sous Ubuntu ?
# Quelles sont les machines sur lesquelles sont installés tous les systèmes dont dispose l'Université ?
# Quelle est la salle ayant la configuration la plus hétérogène (il s'agit de la salle qui comporte la plus grande variété de systèmes installés sur ses machines) ?
# Pour chaque salle, indiquez son nom et le nombre de systèmes différents installés sur les machines qui l'occupent.
# Pour chaque salle, indiquez le nombre de prises Ethernet libres.
# Dans quelle salle peut-on encore ajouter une machine ?
# Listez les adresses IP attribuées par le serveur DHCP.
# Listez les machines auxquelles le serveur DHCP attribue une adresse, mais qui sont dans la réserve et pas dans une salle.

INFO606-TP2-2010-2011

2009-03-27T12:50:10Z

Lvaux : cosmétique

==Description de la base à modéliser==

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par son
numéro. Les informations sur les salles indiquent le bâtiment et l'étage où
elles se trouvent. Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

==Travail à réaliser==

Vous traiterez les trois parties suivantes dans un compte-rendu que vous ferez parvenir à votre responsable de TP.

===Partie 1: Modèle de données===

On propose la collection de relations suivante (les clefs sont en majuscules):

Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
Licence (NUM_CONTRAT, ident_sys, nb_licences)
Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
Installation (NOM_MACH, IDENT_SYS)
Dhcp (ADR_MAC, adr_ip)
Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
Emplacement (NOM_MACH, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.
# Identifiez parmi les attributs de ces relations lesquels sont des références à des clés étrangères.

===Partie 2: Observation des scripts===

Les fichiers SQL de création de la base de données vous sont fournis [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-606/TP1 ici].
La base de donnée est hébergée sur le serveur <tt>eco.univ-savoie.fr</tt> sur lequel vous pouvez vous connecter à travers le protocole SSH.
Dans la création des tables de la base, apparaissent les instructions SQL suivantes:

constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)

# Que signifient-elles ? Que permettent-elles de représenter ?
# Utilisez la commande <tt>\dS</tt> pour visulaliser la liste des tables système. Parmi ces tables, il existe une table <tt>pg_indexes</tt> dont nous vous demandons de visualiser le contenu. A quoi correspond ce contenu ? de quoi s'agit-il ? Faites le lien avec les tables de la base que vous avez à manipuler.
# Comment crée-t-on les utilisateurs et leur alloue-t-on des droits sur les tables ? Qui a actuellement des droits (et lesquels) sur les tables de la base <tt>TP1-BD-L3-2008-2009</tt> ? Fouillez dans les tables système pour répondre à cette question.

===Partie 3: Requêtes===

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

# Liste des machines de l'architecture <tt>IA32</tt>.
# Listes des machines sur lesquelles le système <tt>WIN-XP-PRO-IA64</tt> est installé.
# Liste des machines sur lesquelles est installé un Windows pour architecture <tt>IA64</tt>.
# Listes des machines dans la réserve (celles qui ne sont dans aucune salle).
# Combien de licences pour <tt>WIN-XP-PRO-IA32</tt> sont-elles utilisées ?
# Combien de licences pour Windows XP sur architecture <tt>IA32</tt> (toutes éditions confondues) sont-elles disponibles ?
# Listes des systèmes payants, pour lesquels il n'y a plus de licence disponible.
# Quels systèmes sont installables sur la machine <tt>barbatruc</tt> avec les licences disponibles ?
# Sur quelles machines de la réserve peut-on installer <tt>UBUNTU-DESKTOP-8.10-IA32</tt> ?
# Quel est le système le plus "gourmand" en mémoire vive (celui qui en demande le plus pour fonctionner) ? Ecrire cette requête en algèbre et calcul relationnels, puis en SQL SANS AVOIR RECOURS aux primitives de calcul (max notamment) introduites par <tt>SQL</tt>.
# Quelles sont les salles dans lesquelles on pourra trouver des machines avec des systèmes windows et d'autres avec des systèmes Ubuntu ?
# Quelles sont les salles dans lesquelles toutes les machines sont installées sous Ubuntu ?
# Quelles sont les salles dans lesquelles aucune machine n'est installée sous Ubuntu ?
# Quelles sont les machines sur lesquelles sont installés tous les systèmes dont dispose l'Université ?
# Quelle est la salle ayant la configuration la plus hétérogène (il s'agit de la salle qui comporte la plus grande variété de systèmes installés sur ses machines) ?
# Pour chaque salle, indiquez son nom et le nombre de systèmes différents installés sur les machines qui l'occupent.
# Pour chaque salle, indiquez le nombre de prises Ethernet libres.
# Dans quelle salle peut-on encore ajouter une machine ?
# Listez les adresses IP attribuées par le serveur DHCP.
# Listez les machines auxquelles le serveur DHCP attribue une adresse, mais qui sont dans la réserve et pas dans une salle.

INFO606-TP2-2010-2011

2009-03-27T12:37:48Z

Lvaux : /* Partie 2: Observation des scripts */

==Description de la base à modéliser==

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par son
numéro. Les informations sur les salles indiquent le bâtiment et l'étage où
elles se trouvent. Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

==Travail à réaliser==

Vous traiterez les trois parties suivantes dans un compte-rendu que vous ferez parvenir à votre responsable de TP.

===Partie 1: Modèle de données===

On propose la collection de relations suivante (les clefs sont en majuscules):

Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
Licence (NUM_CONTRAT, ident_sys, nb_licences)
Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
Installation (NOM_MACH, IDENT_SYS)
Dhcp (ADR_MAC, adr_ip)
Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
Emplacement (NOM_MACH, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.
# Identifiez parmi les attributs de ces relations lesquels sont des références à des clés étrangères.

===Partie 2: Observation des scripts===

Les fichiers SQL de création de la base de données vous sont fournis [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-606/TP1 ici].
La base de donnée est hébergée sur le serveur <tt>eco.univ-savoie.fr</tt> sur lequel vous pouvez vous connecter à travers le protocole SSH.
Dans la création des tables de la base, apparaissent les instructions SQL suivantes:

constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)

# Que signifient-elles ? Que permettent-elles de représenter ?
# Utilisez la commande \dS ppour visulaliser la liste des tables système. Parmi ces tables, il existe une table pg_indexes dont nous vous demandons de visualiser le contenu. A quoi correspond ce contenu ? de quoi s'agit-il ? Faites le lien avec les tables de la base que vous avez à manipuler.
# Comment crée-t-on les utilisateurs et leur alloue-t-on des droits sur les tables ? Qui a actuellement des droits (et lesquels) sur les tables de la base TP1-BD-L3-2008-2009 ? Fouillez dans les tables système pour répondre à cette question.

===Partie 3: Requêtes===

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

# Liste des machines de l'architecture IA32.
# Listes des machines sur lesquelles le système WIN-XP-PRO-IA64 est installé.
# Liste des machines sur lesquelles est installé un Windows pour architecture IA64.
# Listes des machines dans la réserve (celles qui ne sont dans aucune salle).
# Combien de licences pour WIN-XP-PRO-IA32 sont-elles utilisées ?
# Combien de licences pour Windows XP sur architecture IA32 (toutes éditions confondues) sont-elles disponibles ?
# Listes des systèmes payants, pour lesquels il n'y a plus de licence disponible.
# Quels systèmes sont installables sur la machine 'barbatruc' avec les licences disponibles ?
# Sur quelles machines de la réserve peut-on installer 'UBUNTU-DESKTOP-8.10-IA32' ?
# Quel est le système le plus "gourmand" en mémoire vive (celui qui en demande le plus pour fonctionner) ? Ecrire cette requête en algèbre et calcul relationnels, puis en SQL SANS AVOIR RECOURS aux primitives de calcul (max notamment) introduites par SQL.
# Quelles sont les salles dans lesquelles on pourra trouver des machines avec des systèmes windows et d'autres avec des systèmes Ubuntu ?
# Quelles sont les salles dans lesquelles toutes les machines sont installées sous Ubuntu ?
# Quelles sont les salles dans lesquelles aucune machine n'est installée sous Ubuntu ?
# Quelles sont les machines sur lesquelles sont installés tous les systèmes dont dispose l'Université ?
# Quelle est la salle ayant la configuration la plus hétérogène (il s'agit de la salle qui comporte la plus grande variété de systèmes installés sur ses machines) ?
# Pour chaque salle, indiquez son nom et le nombre de systèmes différents installés sur les machines qui l'occupent.
# Pour chaque salle, indiquez le nombre de prises Ethernet libres.
# Dans quelle salle peut-on encore ajouter une machine ?
# Listez les adresses IP attribuées par le serveur DHCP.
# Listez les machines auxquelles le serveur DHCP attribue une adresse, mais qui sont dans la réserve et pas dans une salle.

INFO606-TP2-2010-2011

2009-03-27T12:37:31Z

Lvaux : /* Partie 1: Modèle de données */ + une question

==Description de la base à modéliser==

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par son
numéro. Les informations sur les salles indiquent le bâtiment et l'étage où
elles se trouvent. Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

==Travail à réaliser==

Vous traiterez les trois parties suivantes dans un compte-rendu que vous ferez parvenir à votre responsable de TP.

===Partie 1: Modèle de données===

On propose la collection de relations suivante (les clefs sont en majuscules):

Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
Licence (NUM_CONTRAT, ident_sys, nb_licences)
Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
Installation (NOM_MACH, IDENT_SYS)
Dhcp (ADR_MAC, adr_ip)
Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
Emplacement (NOM_MACH, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.
# Identifiez parmi les attributs de ces relations lesquels sont des références à des clés étrangères.

===Partie 2: Observation des scripts===

Les fichiers SQL de création de la base de données vous sont fournis [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-606/TP1 ici].
La base de donnée est hébergée sur le serveur <tt>eco.univ-savoie.fr</tt> sur lequel vous pouvez vous connecter à travers le protocole SSH.
Dans la création des tables de la base, apparaissent les instructions SQL suivantes:

constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)

# Que signifient-elles ? Que permettent-elles de représenter ?
# Utilisez la commande \dS ppour visulaliser la liste des tables système. Parmi ces tables, il existe une table pg_indexes dont nous vous demandons de visualiser le contenu. A quoi correspond ce contenu ? de quoi s'agit-il ? Faites le lien avec les tables de la base que vous avez à manipuler.
# Comment crée-t-on les utilisateurs et leur alloue-t-on des droits sur les tables ? Qui a actuellement des droits (et lesquels) sur les tables de la base TP1-BD-L3-2008-2009 ? Fouillez dans les tables système pour répondre à cette question.

===Partie 3: Requêtes===

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

# Liste des machines de l'architecture IA32.
# Listes des machines sur lesquelles le système WIN-XP-PRO-IA64 est installé.
# Liste des machines sur lesquelles est installé un Windows pour architecture IA64.
# Listes des machines dans la réserve (celles qui ne sont dans aucune salle).
# Combien de licences pour WIN-XP-PRO-IA32 sont-elles utilisées ?
# Combien de licences pour Windows XP sur architecture IA32 (toutes éditions confondues) sont-elles disponibles ?
# Listes des systèmes payants, pour lesquels il n'y a plus de licence disponible.
# Quels systèmes sont installables sur la machine 'barbatruc' avec les licences disponibles ?
# Sur quelles machines de la réserve peut-on installer 'UBUNTU-DESKTOP-8.10-IA32' ?
# Quel est le système le plus "gourmand" en mémoire vive (celui qui en demande le plus pour fonctionner) ? Ecrire cette requête en algèbre et calcul relationnels, puis en SQL SANS AVOIR RECOURS aux primitives de calcul (max notamment) introduites par SQL.
# Quelles sont les salles dans lesquelles on pourra trouver des machines avec des systèmes windows et d'autres avec des systèmes Ubuntu ?
# Quelles sont les salles dans lesquelles toutes les machines sont installées sous Ubuntu ?
# Quelles sont les salles dans lesquelles aucune machine n'est installée sous Ubuntu ?
# Quelles sont les machines sur lesquelles sont installés tous les systèmes dont dispose l'Université ?
# Quelle est la salle ayant la configuration la plus hétérogène (il s'agit de la salle qui comporte la plus grande variété de systèmes installés sur ses machines) ?
# Pour chaque salle, indiquez son nom et le nombre de systèmes différents installés sur les machines qui l'occupent.
# Pour chaque salle, indiquez le nombre de prises Ethernet libres.
# Dans quelle salle peut-on encore ajouter une machine ?
# Listez les adresses IP attribuées par le serveur DHCP.
# Listez les machines auxquelles le serveur DHCP attribue une adresse, mais qui sont dans la réserve et pas dans une salle.

INFO606-TP2-2010-2011

2009-03-27T12:26:29Z

Lvaux : cosmétique

==Description de la base à modéliser==

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par son
numéro. Les informations sur les salles indiquent le bâtiment et l'étage où
elles se trouvent. Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

==Travail à réaliser==

Vous traiterez les trois parties suivantes dans un compte-rendu que vous ferez parvenir à votre responsable de TP.

===Partie 1: Modèle de données===

On propose la collection de relations suivante (les clefs sont en majuscules):

Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
Licence (NUM_CONTRAT, ident_sys, nb_licences)
Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
Installation (NOM_MACH, IDENT_SYS)
Dhcp (ADR_MAC, adr_ip)
Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
Emplacement (MACHINE, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.

===Partie 2: Observation des scripts===

Les fichiers SQL de création de la base de données vous sont fournis [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-606/TP1 ici].
La base de donnée est hébergée sur le serveur <tt>eco.univ-savoie.fr</tt> sur lequel vous pouvez vous connecter à travers le protocole SSH.
Dans la création des tables de la base, apparaissent les instructions SQL suivantes:

constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)

# Que signifient-elles ? Que permettent-elles de représenter ?
# Utilisez la commande \dS ppour visulaliser la liste des tables système. Parmi ces tables, il existe une table pg_indexes dont nous vous demandons de visualiser le contenu. A quoi correspond ce contenu ? de quoi s'agit-il ? Faites le lien avec les tables de la base que vous avez à manipuler.
# Comment crée-t-on les utilisateurs et leur alloue-t-on des droits sur les tables ? Qui a actuellement des droits (et lesquels) sur les tables de la base TP1-BD-L3-2008-2009 ? Fouillez dans les tables système pour répondre à cette question.

===Partie 3: Requêtes===

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

# Liste des machines de l'architecture IA32.
# Listes des machines sur lesquelles le système WIN-XP-PRO-IA64 est installé.
# Liste des machines sur lesquelles est installé un Windows pour architecture IA64.
# Listes des machines dans la réserve (celles qui ne sont dans aucune salle).
# Combien de licences pour WIN-XP-PRO-IA32 sont-elles utilisées ?
# Combien de licences pour Windows XP sur architecture IA32 (toutes éditions confondues) sont-elles disponibles ?
# Listes des systèmes payants, pour lesquels il n'y a plus de licence disponible.
# Quels systèmes sont installables sur la machine 'barbatruc' avec les licences disponibles ?
# Sur quelles machines de la réserve peut-on installer 'UBUNTU-DESKTOP-8.10-IA32' ?
# Quel est le système le plus "gourmand" en mémoire vive (celui qui en demande le plus pour fonctionner) ? Ecrire cette requête en algèbre et calcul relationnels, puis en SQL SANS AVOIR RECOURS aux primitives de calcul (max notamment) introduites par SQL.
# Quelles sont les salles dans lesquelles on pourra trouver des machines avec des systèmes windows et d'autres avec des systèmes Ubuntu ?
# Quelles sont les salles dans lesquelles toutes les machines sont installées sous Ubuntu ?
# Quelles sont les salles dans lesquelles aucune machine n'est installée sous Ubuntu ?
# Quelles sont les machines sur lesquelles sont installés tous les systèmes dont dispose l'Université ?
# Quelle est la salle ayant la configuration la plus hétérogène (il s'agit de la salle qui comporte la plus grande variété de systèmes installés sur ses machines) ?
# Pour chaque salle, indiquez son nom et le nombre de systèmes différents installés sur les machines qui l'occupent.
# Pour chaque salle, indiquez le nombre de prises Ethernet libres.
# Dans quelle salle peut-on encore ajouter une machine ?
# Listez les adresses IP attribuées par le serveur DHCP.
# Listez les machines auxquelles le serveur DHCP attribue une adresse, mais qui sont dans la réserve et pas dans une salle.

INFO606-TP2-2010-2011

2009-03-27T12:20:56Z

Lvaux : 3 questions en plus

==Description de la base à modéliser==

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par son
numéro. Les informations sur les salles indiquent le bâtiment et l'étage où
elles se trouvent. Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

==Travail à réaliser==

Vous traiterez les trois parties suivantes dans un compte-rendu que vous ferez parvenir à votre responsable de TP.

===Partie 1: Modèle de données===

On propose la collection de relations suivante (les clefs sont en majuscules):

Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
Licence (NUM_CONTRAT, ident_sys, nb_licences)
Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
Installation (NOM_MACH, IDENT_SYS)
Dhcp (ADR_MAC, adr_ip)
Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
Emplacement (MACHINE, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.

===Partie 2: Observation des scripts===

Les fichiers SQL de création de la base de données vous sont fournis [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-606/TP1 ici].
La base de donnée est hébergée sur le serveur <tt>eco.univ-savoie.fr</tt> sur lequel vous pouvez vous connecter à travers le protocole SSH.
Dans la création des tables de la base, apparaissent les instructions SQL suivantes:
constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)

# Que signifient-elles ? Que permettent-elles de représenter ?
# Utilisez la commande \dS ppour visulaliser la liste des tables système. Parmi ces tables, il existe une table pg_indexes dont nous vous demandons de visualiser le contenu. A quoi correspond ce contenu ? de quoi s'agit-il ? Faites le lien avec les tables de la base que vous avez à manipuler.
# Comment crée-t-on les utilisateurs et leur alloue-t-on des droits sur les tables ? Qui a actuellement des droits (et lesquels) sur les tables de la base TP1-BD-L3-2008-2009 ? Fouillez dans les tables système pour répondre à cette question.

===Partie 3: Requêtes===

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

# Liste des machines de l'architecture IA32.
# Listes des machines sur lesquelles le système WIN-XP-PRO-IA64 est installé.
# Liste des machines sur lesquelles est installé un Windows pour architecture IA64.
# Listes des machines dans la réserve (celles qui ne sont dans aucune salle).
# Combien de licences pour WIN-XP-PRO-IA32 sont-elles utilisées ?
# Combien de licences pour Windows XP sur architecture IA32 (toutes éditions confondues) sont-elles disponibles ?
# Listes des systèmes payants, pour lesquels il n'y a plus de licence disponible.
# Quels systèmes sont installables sur la machine 'barbatruc' avec les licences disponibles ?
# Sur quelles machines de la réserve peut-on installer 'UBUNTU-DESKTOP-8.10-IA32' ?
# Quel est le système le plus "gourmand" en mémoire vive (celui qui en demande le plus pour fonctionner) ? Ecrire cette requête en algèbre et calcul relationnels, puis en SQL SANS AVOIR RECOURS aux primitives de calcul (max notamment) introduites par SQL.
# Quelles sont les salles dans lesquelles on pourra trouver des machines avec des systèmes windows et d'autres avec des systèmes Ubuntu ?
# Quelles sont les salles dans lesquelles toutes les machines sont installées sous Ubuntu ?
# Quelles sont les salles dans lesquelles aucune machine n'est installée sous Ubuntu ?
# Quelles sont les machines sur lesquelles sont installés tous les systèmes dont dispose l'Université ?
# Quelle est la salle ayant la configuration la plus hétérogène (il s'agit de la salle qui comporte la plus grande variété de systèmes installés sur ses machines) ?
# Pour chaque salle, indiquez son nom et le nombre de systèmes différents installés sur les machines qui l'occupent.
# Pour chaque salle, indiquez le nombre de prises Ethernet libres.
# Dans quelle salle peut-on encore ajouter une machine ?
# Listez les adresses IP attribuées par le serveur DHCP.
# Listez les machines auxquelles le serveur DHCP attribue une adresse, mais qui sont dans la réserve et pas dans une salle.

INFO606-TP2-2010-2011

2009-03-27T12:13:41Z

Lvaux : /* Travail à réaliser */

==Description de la base à modéliser==

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par son
numéro. Les informations sur les salles indiquent le bâtiment et l'étage où
elles se trouvent. Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

==Travail à réaliser==

Vous traiterez les trois parties suivantes dans un compte-rendu que vous ferez parvenir à votre responsable de TP.

===Partie 1: Modèle de données===

On propose la collection de relations suivante (les clefs sont en majuscules):

Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
Licence (NUM_CONTRAT, ident_sys, nb_licences)
Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
Installation (NOM_MACH, IDENT_SYS)
Dhcp (ADR_MAC, adr_ip)
Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
Emplacement (MACHINE, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.

===Partie 2: Observation des scripts===

Les fichiers SQL de création de la base de données vous sont fournis [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-606/TP1 ici].
Dans la création des tables de la base, apparaissent les instructions SQL suivantes:
constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)

# Que signifient-elles ? Que permettent-elles de représenter ?
# Utilisez la commande \dS ppour visulaliser la liste des tables système. Parmi ces tables, il existe une table pg_indexes dont nous vous demandons de visualiser le contenu. A quoi correspond ce contenu ? de quoi s'agit-il ? Faites le lien avec les tables de la base que vous avez à manipuler.
# Comment crée-t-on les utilisateurs et leur alloue-t-on des droits sur les tables ? Qui a actuellement des droits (et lesquels) sur les tables de la base TP1-BD-L3-2008-2009 ? Fouillez dans les tables système pour répondre à cette question.

===Partie 3: Requêtes===

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

# Liste des machines de l'architecture IA32.
# Listes des machines sur lesquelles le système WIN-XP-PRO-IA64 est installé.
# Liste des machines sur lesquelles est installé un Windows pour architecture IA64.
# Listes des machines dans la réserve (celles qui ne sont dans aucune salle).
# Combien de licences pour WIN-XP-PRO-IA32 sont-elles utilisées ?
# Combien de licences pour Windows XP sur architecture IA32 (toutes éditions confondues) sont-elles disponibles ?
# Listes des systèmes payants, pour lesquels il n'y a plus de licence disponible.
# Quels systèmes sont installables sur la machine 'barbatruc' avec les licences disponibles ?
# Sur quelles machines de la réserve peut-on installer 'UBUNTU-DESKTOP-8.10-IA32' ?
# Quel est le système le plus "gourmand" en mémoire vive (celui qui en demande le plus pour fonctionner) ? Ecrire cette requête en algèbre et calcul relationnels, puis en SQL SANS AVOIR RECOURS aux primitives de calcul (max notamment) introduites par SQL.
# Quelles sont les salles dans lesquelles on pourra trouver des machines avec des systèmes windows et d'autres avec des systèmes Ubuntu ?
# Quelles sont les salles dans lesquelles toutes les machines sont installées sous Ubuntu ?
# Quelles sont les salles dans lesquelles aucune machine n'est installée sous Ubuntu ?
# Quelles sont les machines sur lesquelles sont installés tous les systèmes dont dispose l'Université ?
# Quelle est la salle ayant la configuration la plus hétérogène (il s'agit de la salle qui comporte la plus grande variété de systèmes installés sur ses machines) ?
# Pour chaque salle, indiquez son nom et le nombre de systèmes différents installés sur les machines qui l'occupent.
# Pour chaque salle, indiquez le nombre de prises Ethernet libres.

INFO606-TP2-2010-2011

2009-03-27T11:48:00Z

Lvaux :

==Description de la base à modéliser==

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par son
numéro. Les informations sur les salles indiquent le bâtiment et l'étage où
elles se trouvent. Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

==Travail à réaliser==

===Partie 1: Modèle de données===

On propose la collection de relations suivante (les clefs sont en majuscules):

Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
Licence (NUM_CONTRAT, ident_sys, nb_licences)
Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
Installation (NOM_MACH, IDENT_SYS)
Dhcp (ADR_MAC, adr_ip)
Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
Emplacement (MACHINE, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.

===Partie 2: Observation des scripts===

Les fichiers SQL de création de la base de données vous sont fournis [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-606/TP1 ici].
Dans la création des tables de la base, apparaissent les instructions SQL suivantes:
constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)

# Que signifient-elles ? Que permettent-elles de représenter ?
# Utilisez la commande \dS ppour visulaliser la liste des tables système. Parmi ces tables, il existe une table pg_indexes dont nous vous demandons de visualiser le contenu. A quoi correspond ce contenu ? de quoi s'agit-il ? Faites le lien avec les tables de la base que vous avez à manipuler.
# Comment crée-t-on les utilisateurs et leur alloue-t-on des droits sur les tables ? Qui a actuellement des droits (et lesquels) sur les tables de la base TP1-BD-L3-2008-2009 ? Fouillez dans les tables système pour répondre à cette question.

===Partie 3: Requêtes===

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

# Liste des machines de l'architecture IA32.
# Listes des machines sur lesquelles le système WIN-XP-PRO-IA64 est installé.
# Liste des machines sur lesquelles est installé un Windows pour architecture IA64.
# Listes des machines dans la réserve (celles qui ne sont dans aucune salle).
# Combien de licences pour WIN-XP-PRO-IA32 sont-elles utilisées ?
# Combien de licences pour Windows XP sur architecture IA32 (toutes éditions confondues) sont-elles disponibles ?
# Listes des systèmes payants, pour lesquels il n'y a plus de licence disponible.
# Quels systèmes sont installables sur la machine 'barbatruc' avec les licences disponibles ?
# Sur quelles machines de la réserve peut-on installer 'UBUNTU-DESKTOP-8.10-IA32' ?
# Quel est le système le plus "gourmand" en mémoire vive (celui qui en demande le plus pour fonctionner) ? Ecrire cette requête en algèbre et calcul relationnels, puis en SQL SANS AVOIR RECOURS aux primitives de calcul (max notamment) introduites par SQL.
# Quelles sont les salles dans lesquelles on pourra trouver des machines avec des systèmes windows et d'autres avec des systèmes Ubuntu ?
# Quelles sont les salles dans lesquelles toutes les machines sont installées sous Ubuntu ?
# Quelles sont les salles dans lesquelles aucune machine n'est installée sous Ubuntu ?
# Quelles sont les machines sur lesquelles sont installés tous les systèmes dont dispose l'Université ?
# Quelle est la salle ayant la configuration la plus hétérogène (il s'agit de la salle qui comporte la plus grande variété de systèmes installés sur ses machines) ?
# Pour chaque salle, indiquez son nom et le nombre de systèmes différents installés sur les machines qui l'occupent.
# Pour chaque salle, indiquez le nombre de prises Ethernet libres.

INFO606-TP2-2010-2011

2009-03-27T08:45:20Z

Lvaux : Lien vers les scripts

==Description de la base à modéliser==

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par son
numéro. Les informations sur les salles indiquent le bâtiment et l'étage où
elles se trouvent. Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

==Travail à réaliser==

===Partie 1: Modèle de données===

On propose la collection de relations suivante (les clefs sont en majuscules):

Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
Licence (NUM_CONTRAT, ident_sys, nb_licences)
Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
Installation (NOM_MACH, IDENT_SYS)
Dhcp (ADR_MAC, adr_ip)
Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
Emplacement (MACHINE, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.

===Partie 2: Observation des scripts===

Les fichiers SQL de création de la base de données vous sont fournis [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-606/TP1 ici].
Dans la création des tables de la base, apparaissent les instructions SQL suivantes:
constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)

# Que signifient-elles ? Que permettent-elles de représenter ?
# Utilisez la commande \dS ppour visulaliser la liste des tables système. Parmi ces tables, il existe une table pg_indexes dont nous vous demandons de visualiser le contenu. A quoi correspond ce contenu ? de quoi s'agit-il ? Faites le lien avec les tables de la base que vous avez à manipuler.
# Comment crée-t-on les utilisateurs et leur alloue-t-on des droits sur les tables ? Qui a actuellement des droits (et lesquels) sur les tables de la base TP1-BD-L3-2008-2009 ? Fouillez dans les tables système pour répondre à cette question.

===Partie 3: Requêtes===

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

# Liste des machines de l'architecture IA32.
# Listes des machines sur lesquelles le système WIN-XP-PRO-IA64 est installé.
# Liste des machines sur lesquelles est installé un Windows pour architecture IA64.
# Listes des machines dans la réserve (celles qui ne sont dans aucune salle).
# Combien de licences pour WIN-XP-PRO-IA32 sont-elles utilisées ?
# Combien de licences pour Windows XP sur architecture IA32 (toutes éditions confondues) sont-elles disponibles ?
# Listes des systèmes payants, pour lesquels il n'y a plus de licence disponible.
# Quels systèmes sont installables sur la machine 'barbatruc' avec les licences disponibles ?
# Sur quelles machines de la réserve peut-on installer 'UBUNTU-DESKTOP-8.10-IA32' ?
# Quel est le système le plus "gourmand" en mémoire vive (celui qui en demande le plus pour fonctionner) ? Ecrire cette requête en algèbre et calcul relationnels, puis en SQL SANS AVOIR RECOURS aux primitives de calcul (max notamment) introduites par SQL.
# Quelles sont les salles dans lesquelles on pourra trouver des machines avec des systèmes windows et d'autres avec des systèmes linux ?
# Quelles sont les salles dans lesquelles toutes les machines sont installées sous linux ?
# Quelles sont les salles dans lesquelles aucune machine n'est installée sous linux ?
# Quelles sont les machines sur lesquelles sont installés tous les systèmes dont dispose l'Université ?
# Quelle est la salle ayant la configuration la plus hétérogène (il s'agit de la salle qui comporte la plus grande variété de systèmes installés sur ses machines) ?
# Pour chaque salle, indiquez son nom et le nombre de systèmes différents installés sur les machines qui l'occupent.
# Pour chaque salle, indiquez le nombre de prises Ethernet libres.

INFO606-TP2-2010-2011

2009-03-27T08:38:20Z

Lvaux : corrections

==Description de la base à modéliser==

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par son
numéro. Les informations sur les salles indiquent le bâtiment et l'étage où
elles se trouvent. Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

==Travail à réaliser==

===Partie 1: Modèle de données===

On propose la collection de relations suivante (les clefs sont en majuscules):

Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
Licence (NUM_CONTRAT, ident_sys, nb_licences)
Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
Installation (NOM_MACH, IDENT_SYS)
Dhcp (ADR_MAC, adr_ip)
Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
Emplacement (MACHINE, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.

===Partie 2: Observation des scripts===

Les fichiers SQL de création de la base de données vous sont fournis.
Dans la création des tables de la base, apparaissent les instructions SQL suivantes:
constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)

# Que signifient-elles ? Que permettent-elles de représenter ?
# Utilisez la commande \dS ppour visulaliser la liste des tables système. Parmi ces tables, il existe une table pg_indexes dont nous vous demandons de visualiser le contenu. A quoi correspond ce contenu ? de quoi s'agit-il ? Faites le lien avec les tables de la base que vous avez à manipuler.
# Comment crée-t-on les utilisateurs et leur alloue-t-on des droits sur les tables ? Qui a actuellement des droits (et lesquels) sur les tables de la base TP1-BD-L3-2008-2009 ? Fouillez dans les tables système pour répondre à cette question.

===Partie 3: Requêtes===

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

# Liste des machines de l'architecture IA32.
# Listes des machines sur lesquelles le système WIN-XP-PRO-IA64 est installé.
# Liste des machines sur lesquelles est installé un Windows pour architecture IA64.
# Listes des machines dans la réserve (celles qui ne sont dans aucune salle).
# Combien de licences pour WIN-XP-PRO-IA32 sont-elles utilisées ?
# Combien de licences pour Windows XP sur architecture IA32 (toutes éditions confondues) sont-elles disponibles ?
# Listes des systèmes payants, pour lesquels il n'y a plus de licence disponible.
# Quels systèmes sont installables sur la machine 'barbatruc' avec les licences disponibles ?
# Sur quelles machines de la réserve peut-on installer 'UBUNTU-DESKTOP-8.10-IA32' ?
# Quel est le système le plus "gourmand" en mémoire vive (celui qui en demande le plus pour fonctionner) ? Ecrire cette requête en algèbre et calcul relationnels, puis en SQL SANS AVOIR RECOURS aux primitives de calcul (max notamment) introduites par SQL.
# Quelles sont les salles dans lesquelles on pourra trouver des machines avec des systèmes windows et d'autres avec des systèmes linux ?
# Quelles sont les salles dans lesquelles toutes les machines sont installées sous linux ?
# Quelles sont les salles dans lesquelles aucune machine n'est installée sous linux ?
# Quelles sont les machines sur lesquelles sont installés tous les systèmes dont dispose l'Université ?
# Quelle est la salle ayant la configuration la plus hétérogène (il s'agit de la salle qui comporte la plus grande variété de systèmes installés sur ses machines) ?
# Pour chaque salle, indiquez son nom et le nombre de systèmes différents installés sur les machines qui l'occupent.
# Pour chaque salle, indiquez le nombre de prises Ethernet libres.

INFO606-TP2-2010-2011

2009-03-27T07:37:28Z

Lvaux :

===Description de la base à modéliser :===

Le SUMO (Service Universitaire de Mutualisation des Ordinateurs) gère un grand
parc de machines à disposition des étudiants, enseignants et personnels de
l'Université.

Chaque machine est identifiée par un nom réseau. Lors de l'installation d'une
machine, on relève les données pertinentes pour la gestion du réseau et des
logiciels: adresse MAC, architecture (ia32, ia64, sparc, powerpc), fréquence
du processeur (en MHz), taille de la mémoire vive (en Mio) et taille du disque
dur (en Gio). Un serveur DHCP associe à une adresse MAC une adresse IP sur le
réseau (certaines adresses MAC peuvent ne pas être référencées).

Sur chaque machine est installé un système d'exploitation (ou
plusieurs). Chaque système a un nom et une version, une architecture
d'accueil et des besoins matériels minimaux (fréquence, mémoire et
disque dur). Un système ne peut être installé que sur une machine
deayant une architecture adéquate, c'est-à-dire avec au moins les
ressources matérielles minimales. Certains systèmes sont propriétaires
et payants : il faut alors acheter des licences pour avoir le droit de
les installer. Le nombre d'installations d'un système payant
doit être inférieur au nombre de licences dont on dispose.

Chaque machine peut être mise à disposition dans une salle, identifiée par son
numéro. Les informations sur les salles indiquent le bâtiment et l'étage où
elles se trouvent. Par ailleurs, le nombre de prises Ethernet est limité pour
chaque salle : on ne peut pas connecter plus de machines que ce qu'il y a de
prises.

===Travail à réaliser :===

====Partie 1: Modèle de données :====

On propose la collection de relations suivante (les clefs sont en majuscules):

* Systeme (IDENT_SYS, nom, version, edition, arch, freq_min, mem_min, dd_min, payant)
* Licence (NUM_CONTRAT, ident_sys, nb_licences)
* Machine (NOM_MACH, adr_mac, arch, freq_proc, taille_mem, taille_dd)
* Installation (NOM_MACH, IDENT_SYS)
* Dhcp (ADR_MAC, adr_ip)
* Salle (NOM_SALLE, BATIMENT, etage, nb_eth)
* Emplacement (MACHINE, nom_salle, batiment)

# Guidés par la description du modèle, retrouvez le (ou plutôt un) schéma EA
qui se traduit en cette collection de relations.
# Cette collection est-elle en 1FN, en 2FN , en 3FN ? Justifiez votre réponse.

Partie 2: Observation des scripts
---------------------------------

Les fichiers SQL de création de la base de données vous sont fournis.

# Dans la création des tables de la base, apparaissent les instructions SQL suivantes :
constraint systeme_arch_valide check (arch in ('IA32', 'IA64', 'PowerPC', 'SPARC'))
constraint salle_cle primary key (nom_salle, batiment)
constraint emplacement_ref_salle foreign key (nom_salle, batiment) references salle(nom_salle, batiment)
#* Que signifient-elles ? Que permettent-elles de représenter ?

2) Comment insère-t-on un n-uplet dans une table ? Cas particulier des
tables ayant pour clé un identifiant géré de manière automatique par
le SGBD ?

Repondre à cette question avant de faire des bêtises en insérant des
n-uplets n'importe comment.

3) Comment crée-t-on les utilisateurs et leur alloue-t-on des droits
sur les tables ?

Partie 3: Requêtes
------------------

En préalable à cette partie, nous vous demanderons de compléter la
base fournie de manière à ce que vous disposiez d'un jeu de tests
suffisant pour vérifier vos requêtes. Vous fournirez les requêtes
nécessaires à l'insertion de n-uplets dans les tables ou à la
modification des n-uplets existants.

Pour la suite, il vous est demandé de donner l'expression en algèbre
relationnelle, calcul relationnel et SQL des requêtes qui suivent, à exprimer
sur le schéma relationnel et la base correspondante, qui vous sont fournis
aujourd'hui.

1) Liste des machines de l'architecture IA32.

2) Listes des machines sur lesquelles le système WIN-XP-PRO-IA64 est installé.

3) Liste des machines sur lesquelles est installé un Windows pour
architecture IA64.

4) Listes des machines dans la réserve (celles qui ne sont dans aucune salle).

5) Combien de licenses pour WINXP sont-elles disponibles ?

6) Combien de licenses pour WINXP sont-elles utilisées ?

7) Listes des systèmes payants, pour lesquels il n'y a plus de licence
disponible.

8) Quels systèmes sont installables sur la machine 'barbatruc' avec les
licences disponibles ?

9) Sur quelles machines de la réserve peut-on installer 'UBUNTU-DESKTOP-8.10-IA32' ?

/***** ... AD LIBIDUM ... *****/

INFO606

2009-03-27T07:28:39Z

Lvaux : Redirecting to INFO606 : Bases de données

#REDIRECT[[INFO606 : Bases de données]]

INFO606 : Bases de données

2009-03-27T07:26:45Z

Lvaux : création de la page

Quelques documents pour les TP d'INFO 606:

* [http://eco.univ-savoie.fr/~cferr/Utilisation_PostgreSQL_-_TP_BD.html Conseils pour l'utilisation d'un serveur POSTGRESQL]
* Sujet du [[INFO606-TP1|TP1]]

Accueil

2009-03-27T07:22:42Z

Lvaux : /* Liste des cours */

__FORCETOC__
<big>Le wiki du [http://www.lama.univ-savoie.fr LAMA (UMR 5127)]</big>

Ce wiki contient certains cours dispensés par les filières de l'[http://www.sfa.univ-savoie.fr UFR SFA].
Les modifications, voire les créations de pages par les étudiants sont les bienvenues. En cas de création de cours,
merci de vous inscrire avec votre vrai nom et prenez modèle sur les cours existants.

== Liste des cours ==

[[MATH203 : Introduction à l'algèbre]]

[[MATH206 : Probabilités et Statistiques]]

[[MATH304 : Mathématiques pour les sciences III]]

[[MATH508 : Algèbre linéaire et optimisation]]

[[MATH611 : Statistiques inférentielles]]

[[MSHS501 et MSHS601 : Enquête et sondage]]

[[INFO202 : Informatique et multimédia]]

[[INFO302 : Introduction à la Programmation Orientée Objet et Java]]

[[INFO401 : Programmation fonctionnelle]]

[[INFO502 : Systèmes d'exploitation]]

[[INFO505 : Mathématiques pour l'informatique]]

[[INFO510 et INFO511 : Algorithmique et structures de données]]

[[INFO517 : Programmation C]]

[[INFO606 : Bases de données]]

[[INFO614 : Mathématiques pour l'informatique]]

[[INFO710 : Compléments de base de données]]

[[INFO719 : rappels d'algorithmique et programmation C]]

<strike>[[INFO803 : informatique]]</strike> (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]

[[INFO803 : Conception et Programmation Objet]] (ex <strike>[[INFO719 : Conception et Programmation Objet]]</strike> (passé au second semestre))

[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]]

[[INFO913 : Cryptologie et sécurité informatique]]

<strike>[[INFO916 : Cours de C]]</strike> (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]

[[PHYS504 : Méthodes informatiques pour la physique]]

[[PHYS710 : Simulation et modélisation en physique]]

[[MATH0980 : contenu algorithmique des démonstrations mathématiques]] (cours du M2 de l'université Claude Bernard à Lyon)

[[Initiation aux assistants de preuves (cours du M2 de Paris VII)]]

[[Langage et concepts catégoriques pour les mathématiques et l’informatique]] (cours de l'École doctorale MSTII de Grenoble)

[[GIND401 : Introduction à la programmation objet en JAVA]]

== Utilisation des machines de TP ==

[[Linux dans les salles de TP du Bourget|Démarrage sous Linux]]

[[Comment compiler le C ?|Compilation de programmes C]]

== Utilisation du wiki ==

Consultez le [http://meta.wikipedia.org/wiki/Aide:Contenu Guide de l'utilisateur] pour plus d'informations sur l'utilisation des "wiki".

En cas de problème contacter [mailto:raffalli@univ-savoie.fr Christophe Raffalli].

INFO202 : Informatique et multimédia

2009-03-18T11:47:32Z

Lvaux : /* Sujets de TP */ TP3-TP4

Cours du semestre 2 des licences de l'UFR SFA.

Responsable pour 2008--2009: Miguel Tomasena.

===Sujets de TP===

* [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-202-TP/TP1/tp1_info202.html TP1]
* [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-202-TP/TP2/tp2_info202.html TP2]
* [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-202-TP/TP3-TP4/sujet_tp3_4.html TP3 et TP4]: le rendu de ces deux séances sera noté

INFO202 : Informatique et multimédia

2009-03-06T13:30:52Z

Lvaux : /* Sujets de TP */ tp2

INFO517 : Programmation C

2009-03-02T15:22:12Z

Lvaux : /* Supports */

Cours du semestre 5 de la licence STIC INFO.

Responsable pour 2008--2009: [http://www.lama.univ-savoie.fr/~vaux Lionel Vaux].

Pensez à consulter les [[Comment compiler le C ?|indications pour compiler un petit programme sur une machine des salles de TP]].

N'hésitez pas à contribuer au wiki, et en particulier à cette page:
clarifications, compléments, exemples… Si vous n'avez pas compris un point
particulier, vous pouvez signaler votre problème sur la page de discussion
(onglet en haut de cette page) ou par les moyens habituels. Il sera ensuite
très positif de revenir sur cette page et de consigner ce qui vous posait
problème et ce qui vous a permis de mieux comprendre.

== Fonctionnement ==

Cet enseignement comprendra 10 séances de cours/TD (1h30) et 3 séances de TP (4h).

La distinction entre cours et TD restera floue. Je vous demanderai
généralement d'écrire quelques petits programmes d'une semaine sur l'autre.
Autant que possible, envoyez-moi vos fichiers sources à l'adresse
<tt>lionel.vaux@univ-savoie.fr</tt>, afin que je puisse évaluer le niveau de
chacun et ajuster le contenu des séances suivantes.

Et dites-moi si ça ne
va pas, ou je risque d'avancer trop vite.

== Objectifs du cours ==

=== Cours/TD ===
* Principes généraux et particularités du langage: programmation impérative, typage fort à la compilation, adressage mémoire explicite
* Syntaxe de base
* Bibliothèque standard: entrée-sorties et interaction avec le système d'exploitation
* C avancé:
** allocation dynamique
** modèle mémoire (pile, tas, code)
** pointeurs sur structures
** pointeurs sur fonctions
* Bonnes pratiques

=== En TP ===
* un TP de mise en route et de précision de la notion de compilation en C
* un projet logiciel sur les deux dernières séances (8h)

=== Outils et concepts (survol théorique et utilisation optionnelle en TP) ===
* automatisation de la compilation (make),
* analyse de l'exécution et déboguage (gdb et DDD),
* boîte à outils graphique (gtk+)

== Supports ==

* Exercices de TD :
*# la [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-TD1.pdf feuille 1] ;
*# la [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-TD2.pdf feuille 2] et une archive [http://www.lama.univ-savoie.fr/~vaux/ens/liste.tar.gz <tt>liste.tar.gz</tt>] comprenant une solution pour l'implémentation des listes et des listes triées (les piles ont été traitées en [[INFO517-cours7|séance 7]]).

* Devoir à la maison : le sujet [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-DM1.pdf <tt>INFO517-DM1.pdf</tt>] et les fichiers sources [http://www.lama.univ-savoie.fr/~vaux/ens/dm1.c <tt>dm1.c</tt>] et [http://www.lama.univ-savoie.fr/~vaux/ens/mat.c <tt>mat.c</tt>] associés.

* Examens :
*# sujet [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Partiel1.pdf <tt>INFO517-Partiel1.pdf</tt>] et corrigé [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Partiel1-correction.pdf <tt>INFO517-Partiel1-correction.pdf</tt>].
*# sujet [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Partiel2.pdf <tt>INFO517-Partiel2.pdf</tt>] et corrigé [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Partiel2-correction.pdf <tt>INFO517-Partiel2-correction.pdf</tt>].
*# sujet [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Terminal.pdf <tt>INFO517-Terminal.pdf</tt>] et corrigé [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Terminal-correction.pdf <tt>INFO517-Terminal-correction.pdf</tt>].
*# sujet [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Rattrapage.pdf <tt>INFO517-Rattrapage.pdf</tt>] et corrigé [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Rattrapage-correction.pdf <tt>INFO517-Rattrapage-correction.pdf</tt>].

== Séances de Cours/TD ==

# [[INFO517-cours1|lundi 22 septembre 2008]].
#* mise en route: exemples de programmes simples et compilation;
#* syntaxe de base: types, déclarations, affectations, boucles, entrées et sorties simples (caractère par caractère);
# [[INFO517-cours2|lundi 29 septembre 2008]]
#* fonctions;
#* tableaux et chaînes;
#* récursion;
# [[INFO517-cours3|lundi 6 octobre 2008]]
#* exercices (feuille 1);
# [[INFO517-cours4|lundi 13 octobre 2008]]
#* adresses et pointeurs;
#* passage par adresse;
#* les tableaux comme pointeurs;
#* opérateur <tt>sizeof</tt>;
#* arithmétique de pointeurs;
#* allocation des variables locales: le problème des tableaux;
#* allocation dynamique: <tt>malloc()</tt>, <tt>free()</tt>, <tt>realloc()</tt>;
# [[INFO517-cours5|lundi 20 octobre 2008]]
#* modèle mémoire: pile, tas, segment de code;
#* différence entre déclaration de tableau et déclaration de pointeur;
#* affichage des données de la pile d'exécution, adresses de retour;
# [[INFO517-cours6|lundi 3 novembre 2008]]
#* types complexes: <tt>struct</tt>, <tt>union</tt>, <tt>enum</tt>;
#* premier partiel;
# [[INFO517-cours7|lundi 10 novembre 2008]]
#* pointeurs vers <tt>struct</tt>;
#* structures récursives;
#* exemple: les piles (FILO);
#* <tt>Makefile</tt>s;
#* exercices (feuille 2);
# [[INFO517-cours8|lundi 17 novembre 2008]]
#* correction du premier partiel;
#* exercices (suite de la feuille 2);
# [[INFO517-cours9|lundi 24 novembre 2008]]
#* préparation du TP1
#* entrées et sorties dans des fichiers
#* opérations bit-à-bit;
# [[INFO517-cours10|lundi 1er décembre 2008]]
#* deuxième partiel;
#* pointeurs sur fonctions;
#* une session DDD;

== Séances de TP ==

Les sujets de TP se trouvent sur
[http://www.lama.univ-savoie.fr/~vaux/ens/INFO-517-TP cette page].

# mercredi 15 octobre 2008 : [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-517-TP/TP0.html TP0 — Préliminaires]
# vendredi 28 novembre 2008 : [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-517-TP/TP1.html TP1 — Formats d'image]
# vendredi 12 décembre 2008 : [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-517-TP/TP2.html TP2 — Affichage et interface graphique]

==Références==

* ''The C programming language'', de Kernighan et Ritchie;
* ''Le langage C'', version française du précédent;
* Le polycopié de Bernard Cassagne, disponible [http://www-clips.imag.fr/commun/bernard.cassagne/Introduction_ANSI_C.html ici], au format [http://www-clips.imag.fr/commun/bernard.cassagne/Introduction_ANSI_C.html html] (consultable en ligne) ou [ftp://ftp.imag.fr/pub/labo-CLIPS/commun/C/Introduction_ANSI_C.pdf pdf];
* Le wikilivre [http://fr.wikibooks.org/wiki/Programmation_C ''Programmation C'']: un livre de cours sur le mode wikipedia.

Accueil

2009-01-30T14:25:21Z

Lvaux : /* Liste des cours */

__FORCETOC__
<big>Le wiki du [http://www.lama.univ-savoie.fr LAMA (UMR 5127)]</big>

Ce wiki contient certains cours dispensés par les filières de l'[http://www.sfa.univ-savoie.fr UFR SFA].
Les modifications, voire les créations de pages par les étudiants sont les bienvenues. En cas de création de cours,
merci de vous inscrire avec votre vrai nom et prenez modèle sur les cours existants.

== Liste des cours ==

[[MATH203 : Introduction à l'algèbre]]

[[MATH206 : Probabilités et Statistiques]]

[[MATH304 : Mathématiques pour les sciences III]]

[[INFO401 : Programmation fonctionnelle]]

[[MATH508 : Algèbre linéaire et optimisation]]

[[MATH611 : Statistiques inférentielles]]

[[MSHS501 et MSHS601 : Enquête et sondage]]

[[INFO202 : Informatique et multimédia]]

[[INFO302 : Introduction à la Programmation Orientée Objet et Java]]

[[INFO502 : Systèmes d'exploitation]]

[[INFO505 : Mathématiques pour l'informatique]]

[[INFO510 et INFO511 : Algorithmique et structures de données]]

[[INFO517 : Programmation C]]

[[INFO614 : Mathématiques pour l'informatique]]

[[INFO710 : Compléments de base de données]]

[[INFO719 : rappels d'algorithmique et programmation C]]

<strike>[[INFO803 : informatique]]</strike> (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]

[[INFO803 : Conception et Programmation Objet]] (ex <strike>[[INFO719 : Conception et Programmation Objet]]</strike> (passé au second semestre))

[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]]

[[INFO913 : Cryptologie et sécurité informatique]]

<strike>[[INFO916 : Cours de C]]</strike> (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]

[[PHYS504 : Méthodes informatiques pour la physique]]

[[PHYS710 : Simulation et modélisation en physique]]

[[MATH0980 : contenu algorithmique des démonstrations mathématiques]] (cours du M2 de l'université Claude Bernard à Lyon)

[[Initiation aux assistants de preuves (cours du M2 de Paris VII)]]

== Utilisation des machines de TP ==

[[Linux dans les salles de TP du Bourget|Démarrage sous Linux]]

[[Comment compiler le C ?|Compilation de programmes C]]

== Utilisation du wiki ==

Consultez le [http://meta.wikipedia.org/wiki/Aide:Contenu Guide de l'utilisateur] pour plus d'informations sur l'utilisation des "wiki".

En cas de problème contacter [mailto:raffalli@univ-savoie.fr Christophe Raffalli].

Accueil

2009-01-30T14:23:12Z

Lvaux : /* Liste des cours */

__FORCETOC__
<big>Le wiki du [http://www.lama.univ-savoie.fr LAMA (UMR 5127)]</big>

Ce wiki contient certains cours dispensés par les filières de l'[http://www.sfa.univ-savoie.fr UFR SFA].
Les modifications, voire les créations de pages par les étudiants sont les bienvenues. En cas de création de cours,
merci de vous inscrire avec votre vrai nom et prenez modèle sur les cours existants.

== Liste des cours ==

[[MATH203 : Introduction à l'algèbre]]

[[MATH206 : Probabilités et Statistiques]]

[[MATH304 : Mathématiques pour les sciences III]]

[[INFO401 : Programmation fonctionnelle]]

[[MATH508 : Algèbre linéaire et optimisation]]

[[MATH611 : Statistiques inférentielles]]

[[MSHS501 et MSHS601 : Enquête et sondage]]

[[INFO202]]

[[INFO302 : Introduction à la Programmation Orientée Objet et Java]]

[[INFO502 : Systèmes d'exploitation]]

[[INFO505 : Mathématiques pour l'informatique]]

[[INFO510 et INFO511 : Algorithmique et structures de données]]

[[INFO517 : Programmation C]]

[[INFO614 : Mathématiques pour l'informatique]]

[[INFO710 : Compléments de base de données]]

[[INFO719 : rappels d'algorithmique et programmation C]]

<strike>[[INFO803 : informatique]]</strike> (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]

[[INFO803 : Conception et Programmation Objet]] (ex <strike>[[INFO719 : Conception et Programmation Objet]]</strike> (passé au second semestre))

[[INFO817 : Sémantique des langages fonctionnels et objets, preuves de programmes]]

[[INFO913 : Cryptologie et sécurité informatique]]

<strike>[[INFO916 : Cours de C]]</strike> (remplacé par [[INFO719 : rappels d'algorithmique et programmation C]]

[[PHYS504 : Méthodes informatiques pour la physique]]

[[PHYS710 : Simulation et modélisation en physique]]

[[MATH0980 : contenu algorithmique des démonstrations mathématiques]] (cours du M2 de l'université Claude Bernard à Lyon)

[[Initiation aux assistants de preuves (cours du M2 de Paris VII)]]

== Utilisation des machines de TP ==

[[Linux dans les salles de TP du Bourget|Démarrage sous Linux]]

[[Comment compiler le C ?|Compilation de programmes C]]

== Utilisation du wiki ==

Consultez le [http://meta.wikipedia.org/wiki/Aide:Contenu Guide de l'utilisateur] pour plus d'informations sur l'utilisation des "wiki".

En cas de problème contacter [mailto:raffalli@univ-savoie.fr Christophe Raffalli].

INFO517 : Programmation C

2009-01-30T11:00:44Z

Lvaux : /* Supports */

Cours du semestre 5 de la licence STIC INFO.

Responsable pour 2008--2009: [http://www.lama.univ-savoie.fr/~vaux Lionel Vaux].

Pensez à consulter les [[Comment compiler le C ?|indications pour compiler un petit programme sur une machine des salles de TP]].

N'hésitez pas à contribuer au wiki, et en particulier à cette page:
clarifications, compléments, exemples… Si vous n'avez pas compris un point
particulier, vous pouvez signaler votre problème sur la page de discussion
(onglet en haut de cette page) ou par les moyens habituels. Il sera ensuite
très positif de revenir sur cette page et de consigner ce qui vous posait
problème et ce qui vous a permis de mieux comprendre.

== Fonctionnement ==

Cet enseignement comprendra 10 séances de cours/TD (1h30) et 3 séances de TP (4h).

La distinction entre cours et TD restera floue. Je vous demanderai
généralement d'écrire quelques petits programmes d'une semaine sur l'autre.
Autant que possible, envoyez-moi vos fichiers sources à l'adresse
<tt>lionel.vaux@univ-savoie.fr</tt>, afin que je puisse évaluer le niveau de
chacun et ajuster le contenu des séances suivantes.

Et dites-moi si ça ne
va pas, ou je risque d'avancer trop vite.

== Objectifs du cours ==

=== Cours/TD ===
* Principes généraux et particularités du langage: programmation impérative, typage fort à la compilation, adressage mémoire explicite
* Syntaxe de base
* Bibliothèque standard: entrée-sorties et interaction avec le système d'exploitation
* C avancé:
** allocation dynamique
** modèle mémoire (pile, tas, code)
** pointeurs sur structures
** pointeurs sur fonctions
* Bonnes pratiques

=== En TP ===
* un TP de mise en route et de précision de la notion de compilation en C
* un projet logiciel sur les deux dernières séances (8h)

=== Outils et concepts (survol théorique et utilisation optionnelle en TP) ===
* automatisation de la compilation (make),
* analyse de l'exécution et déboguage (gdb et DDD),
* boîte à outils graphique (gtk+)

== Supports ==

* Exercices de TD :
*# la [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-TD1.pdf feuille 1] ;
*# la [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-TD2.pdf feuille 2] et une archive [http://www.lama.univ-savoie.fr/~vaux/ens/liste.tar.gz <tt>liste.tar.gz</tt>] comprenant une solution pour l'implémentation des listes et des listes triées (les piles ont été traitées en [[INFO517-cours7|séance 7]]).

* Devoir à la maison : le sujet [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-DM1.pdf <tt>INFO517-DM1.pdf</tt>] et les fichiers sources [http://www.lama.univ-savoie.fr/~vaux/ens/dm1.c <tt>dm1.c</tt>] et [http://www.lama.univ-savoie.fr/~vaux/ens/mat.c <tt>mat.c</tt>] associés.

* Examens :
*# sujet [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Partiel1.pdf <tt>INFO517-Partiel1.pdf</tt>] et corrigé [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Partiel1-correction.pdf <tt>INFO517-Partiel1-correction.pdf</tt>].
*# sujet [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Partiel2.pdf <tt>INFO517-Partiel2.pdf</tt>] et corrigé [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Partiel2-correction.pdf <tt>INFO517-Partiel2-correction.pdf</tt>].
*# sujet [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Terminal.pdf <tt>INFO517-Terminal.pdf</tt>] et corrigé [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Terminal-correction.pdf <tt>INFO517-Terminal-correction.pdf</tt>].

== Séances de Cours/TD ==

# [[INFO517-cours1|lundi 22 septembre 2008]].
#* mise en route: exemples de programmes simples et compilation;
#* syntaxe de base: types, déclarations, affectations, boucles, entrées et sorties simples (caractère par caractère);
# [[INFO517-cours2|lundi 29 septembre 2008]]
#* fonctions;
#* tableaux et chaînes;
#* récursion;
# [[INFO517-cours3|lundi 6 octobre 2008]]
#* exercices (feuille 1);
# [[INFO517-cours4|lundi 13 octobre 2008]]
#* adresses et pointeurs;
#* passage par adresse;
#* les tableaux comme pointeurs;
#* opérateur <tt>sizeof</tt>;
#* arithmétique de pointeurs;
#* allocation des variables locales: le problème des tableaux;
#* allocation dynamique: <tt>malloc()</tt>, <tt>free()</tt>, <tt>realloc()</tt>;
# [[INFO517-cours5|lundi 20 octobre 2008]]
#* modèle mémoire: pile, tas, segment de code;
#* différence entre déclaration de tableau et déclaration de pointeur;
#* affichage des données de la pile d'exécution, adresses de retour;
# [[INFO517-cours6|lundi 3 novembre 2008]]
#* types complexes: <tt>struct</tt>, <tt>union</tt>, <tt>enum</tt>;
#* premier partiel;
# [[INFO517-cours7|lundi 10 novembre 2008]]
#* pointeurs vers <tt>struct</tt>;
#* structures récursives;
#* exemple: les piles (FILO);
#* <tt>Makefile</tt>s;
#* exercices (feuille 2);
# [[INFO517-cours8|lundi 17 novembre 2008]]
#* correction du premier partiel;
#* exercices (suite de la feuille 2);
# [[INFO517-cours9|lundi 24 novembre 2008]]
#* préparation du TP1
#* entrées et sorties dans des fichiers
#* opérations bit-à-bit;
# [[INFO517-cours10|lundi 1er décembre 2008]]
#* deuxième partiel;
#* pointeurs sur fonctions;
#* une session DDD;

== Séances de TP ==

Les sujets de TP se trouvent sur
[http://www.lama.univ-savoie.fr/~vaux/ens/INFO-517-TP cette page].

# mercredi 15 octobre 2008 : [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-517-TP/TP0.html TP0 — Préliminaires]
# vendredi 28 novembre 2008 : [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-517-TP/TP1.html TP1 — Formats d'image]
# vendredi 12 décembre 2008 : [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-517-TP/TP2.html TP2 — Affichage et interface graphique]

==Références==

* ''The C programming language'', de Kernighan et Ritchie;
* ''Le langage C'', version française du précédent;
* Le polycopié de Bernard Cassagne, disponible [http://www-clips.imag.fr/commun/bernard.cassagne/Introduction_ANSI_C.html ici], au format [http://www-clips.imag.fr/commun/bernard.cassagne/Introduction_ANSI_C.html html] (consultable en ligne) ou [ftp://ftp.imag.fr/pub/labo-CLIPS/commun/C/Introduction_ANSI_C.pdf pdf];
* Le wikilivre [http://fr.wikibooks.org/wiki/Programmation_C ''Programmation C'']: un livre de cours sur le mode wikipedia.

INFO517 : Programmation C

2009-01-30T10:58:25Z

Lvaux : /* Supports */ exam

Cours du semestre 5 de la licence STIC INFO.

Responsable pour 2008--2009: [http://www.lama.univ-savoie.fr/~vaux Lionel Vaux].

Pensez à consulter les [[Comment compiler le C ?|indications pour compiler un petit programme sur une machine des salles de TP]].

N'hésitez pas à contribuer au wiki, et en particulier à cette page:
clarifications, compléments, exemples… Si vous n'avez pas compris un point
particulier, vous pouvez signaler votre problème sur la page de discussion
(onglet en haut de cette page) ou par les moyens habituels. Il sera ensuite
très positif de revenir sur cette page et de consigner ce qui vous posait
problème et ce qui vous a permis de mieux comprendre.

== Fonctionnement ==

Cet enseignement comprendra 10 séances de cours/TD (1h30) et 3 séances de TP (4h).

La distinction entre cours et TD restera floue. Je vous demanderai
généralement d'écrire quelques petits programmes d'une semaine sur l'autre.
Autant que possible, envoyez-moi vos fichiers sources à l'adresse
<tt>lionel.vaux@univ-savoie.fr</tt>, afin que je puisse évaluer le niveau de
chacun et ajuster le contenu des séances suivantes.

Et dites-moi si ça ne
va pas, ou je risque d'avancer trop vite.

== Objectifs du cours ==

=== Cours/TD ===
* Principes généraux et particularités du langage: programmation impérative, typage fort à la compilation, adressage mémoire explicite
* Syntaxe de base
* Bibliothèque standard: entrée-sorties et interaction avec le système d'exploitation
* C avancé:
** allocation dynamique
** modèle mémoire (pile, tas, code)
** pointeurs sur structures
** pointeurs sur fonctions
* Bonnes pratiques

=== En TP ===
* un TP de mise en route et de précision de la notion de compilation en C
* un projet logiciel sur les deux dernières séances (8h)

=== Outils et concepts (survol théorique et utilisation optionnelle en TP) ===
* automatisation de la compilation (make),
* analyse de l'exécution et déboguage (gdb et DDD),
* boîte à outils graphique (gtk+)

== Supports ==

* Exercices de TD :
*# la [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-TD1.pdf feuille 1] ;
*# la [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-TD2.pdf feuille 2] et une archive [http://www.lama.univ-savoie.fr/~vaux/ens/liste.tar.gz <tt>liste.tar.gz</tt>] comprenant une solution pour l'implémentation des listes et des listes triées (les piles ont été traitées en [[INFO517-cours7|séance 7]]).

* Devoir à la maison : le sujet [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-DM1.pdf <tt>INFO517-DM1.pdf</tt>] et les fichiers sources [http://www.lama.univ-savoie.fr/~vaux/ens/dm1.c <tt>dm1.c</tt>] et [http://www.lama.univ-savoie.fr/~vaux/ens/mat.c <tt>mat.c</tt>] associés.

* Partiels :
*# sujet [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Partiel1.pdf <tt>INFO517-Partiel1.pdf</tt>] et corrigé [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Partiel1-correction.pdf <tt>INFO517-Partiel1-correction.pdf</tt>].
*# sujet [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Partiel2.pdf <tt>INFO517-Partiel2.pdf</tt>] et corrigé [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-Partiel2-correction.pdf <tt>INFO517-Partiel2-correction.pdf</tt>].
*# sujet [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-CT.pdf <tt>INFO517-CT.pdf</tt>] et corrigé [http://www.lama.univ-savoie.fr/~vaux/ens/INFO517-CT-correction.pdf <tt>INFO517-CT-correction.pdf</tt>].

== Séances de Cours/TD ==

# [[INFO517-cours1|lundi 22 septembre 2008]].
#* mise en route: exemples de programmes simples et compilation;
#* syntaxe de base: types, déclarations, affectations, boucles, entrées et sorties simples (caractère par caractère);
# [[INFO517-cours2|lundi 29 septembre 2008]]
#* fonctions;
#* tableaux et chaînes;
#* récursion;
# [[INFO517-cours3|lundi 6 octobre 2008]]
#* exercices (feuille 1);
# [[INFO517-cours4|lundi 13 octobre 2008]]
#* adresses et pointeurs;
#* passage par adresse;
#* les tableaux comme pointeurs;
#* opérateur <tt>sizeof</tt>;
#* arithmétique de pointeurs;
#* allocation des variables locales: le problème des tableaux;
#* allocation dynamique: <tt>malloc()</tt>, <tt>free()</tt>, <tt>realloc()</tt>;
# [[INFO517-cours5|lundi 20 octobre 2008]]
#* modèle mémoire: pile, tas, segment de code;
#* différence entre déclaration de tableau et déclaration de pointeur;
#* affichage des données de la pile d'exécution, adresses de retour;
# [[INFO517-cours6|lundi 3 novembre 2008]]
#* types complexes: <tt>struct</tt>, <tt>union</tt>, <tt>enum</tt>;
#* premier partiel;
# [[INFO517-cours7|lundi 10 novembre 2008]]
#* pointeurs vers <tt>struct</tt>;
#* structures récursives;
#* exemple: les piles (FILO);
#* <tt>Makefile</tt>s;
#* exercices (feuille 2);
# [[INFO517-cours8|lundi 17 novembre 2008]]
#* correction du premier partiel;
#* exercices (suite de la feuille 2);
# [[INFO517-cours9|lundi 24 novembre 2008]]
#* préparation du TP1
#* entrées et sorties dans des fichiers
#* opérations bit-à-bit;
# [[INFO517-cours10|lundi 1er décembre 2008]]
#* deuxième partiel;
#* pointeurs sur fonctions;
#* une session DDD;

== Séances de TP ==

Les sujets de TP se trouvent sur
[http://www.lama.univ-savoie.fr/~vaux/ens/INFO-517-TP cette page].

# mercredi 15 octobre 2008 : [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-517-TP/TP0.html TP0 — Préliminaires]
# vendredi 28 novembre 2008 : [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-517-TP/TP1.html TP1 — Formats d'image]
# vendredi 12 décembre 2008 : [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-517-TP/TP2.html TP2 — Affichage et interface graphique]

==Références==

* ''The C programming language'', de Kernighan et Ritchie;
* ''Le langage C'', version française du précédent;
* Le polycopié de Bernard Cassagne, disponible [http://www-clips.imag.fr/commun/bernard.cassagne/Introduction_ANSI_C.html ici], au format [http://www-clips.imag.fr/commun/bernard.cassagne/Introduction_ANSI_C.html html] (consultable en ligne) ou [ftp://ftp.imag.fr/pub/labo-CLIPS/commun/C/Introduction_ANSI_C.pdf pdf];
* Le wikilivre [http://fr.wikibooks.org/wiki/Programmation_C ''Programmation C'']: un livre de cours sur le mode wikipedia.

INFO302 : Introduction à la Programmation Orientée Objet et Java

2009-01-26T18:12:50Z

Lvaux :

Cours du semestre 3 de la licence STIC INFO.

Responsable pour 2008--2009: Miguel Tomasena.

Le sujet du TP final est diponible sur [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-302/TP cette page].

INFO302 : Introduction à la Programmation Orientée Objet et Java

2009-01-26T18:11:09Z

Lvaux :

INFO202 : Informatique et multimédia

2009-01-26T18:10:53Z

Lvaux :

Cours du semestre 2 des licences de l'UFR SFA.

Responsable pour 2008--2009: Miguel Tomasena.

===Sujets de TP===

* [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-202-TP/TP1/tp1_info202.html TP1].

INFO302 : Introduction à la Programmation Orientée Objet et Java

2009-01-26T18:09:42Z

Lvaux : /* Sujets de TP */

Cours du semestre 2 des licences de l'UFR SFA.

Responsable pour 2008--2009: Miguel Tomasena.

===Sujets de TP===

* [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-202-TP/TP1 TP1].

INFO302 : Introduction à la Programmation Orientée Objet et Java

2009-01-26T18:09:33Z

Lvaux :

Cours du semestre 2 des licences de l'UFR SFA.

Responsable pour 2008--2009: Miguel Tomasena.

===Sujets de TP===

* [http://www.lama.univ-savoie.fr/~vaux/ens/INFO-202-TP/TP1 TP1].

INFO202

2009-01-26T18:05:52Z

Lvaux : Redirecting to INFO202 : Informatique et multimédia

#REDIRECT[[INFO202 : Informatique et multimédia]]

Installation de Debian GNU-Linux sur les postes clients

2009-01-17T17:26:36Z

Lvaux : /* Installation */ remarque sur a123.lama

=== Préalables ===
# noter le nom et le numéro IP de la machine à installer
# la machine doit booter sur le CD-ROM au démarrage (modifier éventuellement le setup accessible par F2 ou Suppr)

=== Installation ===
# mettre le CD et rebooter la machine
# choisir "install" ou "64 bit install" dans le menu de démarrage
# choisir la langue "Francais", le pays "France", le clavier "Francais"
# si la détection DHCP échoue, configurer le réseau à la main:
#* IP statique (éventuellement dhcp pour les machines récentes) <tt>193.48.12{0,1,2,3}.NNN</tt>
#* sous-masque réseau : 255.255.252.0
#* gateway : <tt>193.48.123.1</tt>
#* dns primaire : <tt>193.48.120.32</tt> et secondaire <tt>193.48.120.4</tt>
# Nom de la machine: nom de la machine associée à l'IP <tt>lama-{a,b,c,d}NNN</tt> et nom de réseau <tt>univ-savoie.fr</tt>.
#* ''Remarque: si on utilise <tt>a123.lama</tt> au lieu de <tt>lama-a123</tt>, l'installeur est perturbé par le point et croit que le nom de machine est <tt>a123</tt> et le nom de réseau <tt>lama</tt>.''
# Partitionnement
#* On doit avoir 3 partitions : 10 Go pour linux monté sur <tt>/</tt> (type <tt>ext3</tt>, primaire en début), 2 fois la taille de la mémoire vive de la machine pour le swap (type <tt>swap</tt>, logique, pas de point de montage) et le reste pour la partition de données (monté sur <tt>/export</tt>, type <tt>ext3</tt>, logique).
#*''Remarque : pour changer une partition et/ou en augmenter la taille il faut la supprimer et recréer ensuite avec les bonnes caractéristiques. (On peut laisser la partition <tt>/export</tt> en <tt>ext2</tt> pour éviter de la formater).''
#* Bien vérifier quelles sont les partitions à formater, sauvegarder les modifications et éventuellement formater les partitions sélectionnées (on évite dans la mesure du possible de formater <tt>/export</tt>).
# L'intalleur Debian demande un mot de passe pour <tt>root</tt>: en donner un temporairement, qu'on désactivera une fois le paquet <tt>sudo</tt> configuré
# Utilisateur : création d'un administrateur commun à toutes les machines: <tt>admin-lama</tt>
# Choisir un miroir: France
# Participer à l'étude statistique sur l'utilisation des paquets: Oui
# Choix des paquets: conserver « Environnement graphique » et « Système standard »
# Installation des paquets automatique à partir de là: prendre un café
# Reboot

=== Premier démarrage ===
# Connexion sur une console (<tt>Ctrl+Alt+F1</tt>) et connexion en <tt>root</tt>
# Montage temporaire du disque /home du serveur www.lama
#* <tt>mount -t nfs www.lama:/home /mnt</tt>
# Lancement du script pour finir la configuration des machines (<tt>sudo</tt>, <tt>NIS</tt>, <tt>AMD</tt>, <tt>CUPS</tt>, ...)
#* <tt>tar xjf /mnt/home/lvaux/lama_setup.tar.bz2</tt>
#* <tt>cd lama_setup</tt>
#* <tt>./lama_setup</tt>
# Reboot
# Connexion en tant que <tt>admin-lama</tt> et désactivation du mot-de-passe pour le compte root:
#* <tt>sudo passwd -l root</tt>

Installation de ubuntu linux sur les postes clients

2009-01-17T17:23:42Z

Lvaux : /* Installation */ lama-a123

===Préalables===
# noter le nom et le numéro IP de la machine à installer
# la machine doit booter sur le CD-ROM au démarrage (modifier éventuellement le setup accessible par F2 ou Suppr)

===Installation===
# mettre le CD et rebooter la machine
# choisir "installation" dans le menu proposé
# choisir "Préférences francais, Paris, keyboard francais" et interrompre momentanénement l'installation
# Configuration du réseau à partir du menu "Système/Administration/Réseau".
#* ''Remarque : cette étape peut être évitée car elle sert à utiliser le réseau pour effectuer une installation la plus complète possible. La machine d164 étant dorénavant mirroir de la distribution Ubuntu V7.10, l'installation la plus complète peut être faite avec le script do_install plus rapidement.''
# si la détection DHCP échoue, configurer le réseau à la main:
#* IP statique (éventuellement dhcp pour les machines récentes) <tt>193.48.12{0,1,2,3}.NNN</tt>
#* sous-masque réseau : 255.255.252.0
#* gateway : <tt>193.48.123.1</tt>
#* dns primaire : <tt>193.48.120.32</tt> et secondaire <tt>193.48.120.4</tt>
#* nom de la machine dépendant de l'IP: <tt>{a,b,c,d}NNN.lama</tt>
#** ''Remarque: La DSI préfère parfois <tt>lama-a123</tt> à <tt>a123.lama</tt>.''
#* nom de domaine: <tt>univ-savoie.fr</tt>.
#*''Remarque : certaines machines ont deux cartes réseau. Dans ce cas, connecter le cable sur la carte d'origine et débrancher la deuxième, toutes les cartes étant prises en charge par la distribution (driver OK).''
# Test de l'installation du réseau (firefox ou ping sur une machine extérieure), si ca marche on reprend l'installation.
# Partitionnement
#* On doit avoir 3 partitions : 10 Go pour linux monté sur <tt>/</tt> (type <tt>ext3</tt>, primaire en début), 2 fois la taille de la mémoire vive de la machine pour le swap (type <tt>swap</tt>, logique, pas de point de montage) et le reste pour la partition de données (monté sur <tt>/export</tt>, type <tt>ext3</tt>, logique).
#*''Remarque : pour changer une partition et/ou en augmenter la taille il faut la supprimer et recréer ensuite avec les bonnes caractéristiques. (On peut laisser la partition <tt>/export</tt> en <tt>ext2</tt> pour éviter de la formater).''
#* Bien vérifier quelles sont les partitions à formater, sauvegarder les modifications et éventuellement formater les partitions sélectionnées (on évite dans la mesure du possible de formater <tt>/export</tt>).
# Utilisateur : création d'un administrateur commun à toutes les machines: <tt>admin-lama</tt>
# Reboot

=== Premier démarrage ===
# Installation du paquet nfs-common avec apt-get install pour pouvoir monter le disque /home du serveur en NFS
# Montage temporaire du disque /home du serveur www.lama
#* <tt>sudo mount -t nfs www.lama:/home /mnt</tt>
# Lancement du script pour finir la configuration des machines (NIS, AMD, CUPS, ...)
#* <tt>cd /mnt/install/ubuntu</tt>
#* <tt>sudo ./do_install</tt>
# Reboot
# Installation des mises à jour logicielles détectées au reboot

===Infos diverses===

*Infos matérielles
**Infos sur le processeur : /proc/cpuinfo
**Infos sur la mémoire du proc. /proc/meminfo
*Infos logicielles
**Infos sur le noyau : /proc/version
**Infos sur la version de la distribution /etc/issue
*Configuration de 2 écrans
** modifier le fichier /etc/X11/xorg.conf

Installation de Debian GNU-Linux sur les postes clients

2009-01-17T17:22:23Z

Lvaux : /* Installation */ lama-a123 à la place de a123-lama

=== Préalables ===
# noter le nom et le numéro IP de la machine à installer
# la machine doit booter sur le CD-ROM au démarrage (modifier éventuellement le setup accessible par F2 ou Suppr)

=== Installation ===
# mettre le CD et rebooter la machine
# choisir "install" ou "64 bit install" dans le menu de démarrage
# choisir la langue "Francais", le pays "France", le clavier "Francais"
# si la détection DHCP échoue, configurer le réseau à la main:
#* IP statique (éventuellement dhcp pour les machines récentes) <tt>193.48.12{0,1,2,3}.NNN</tt>
#* sous-masque réseau : 255.255.252.0
#* gateway : <tt>193.48.123.1</tt>
#* dns primaire : <tt>193.48.120.32</tt> et secondaire <tt>193.48.120.4</tt>
# Nom de la machine: nom de la machine associée à l'IP <tt>lama-{a,b,c,d}NNN</tt> et nom de domaine <tt>univ-savoie.fr</tt>.
#* ''Remarque: La DSI préfère <tt>lama-a123</tt> à <tt>a123.lama</tt>.''
# Partitionnement
#* On doit avoir 3 partitions : 10 Go pour linux monté sur <tt>/</tt> (type <tt>ext3</tt>, primaire en début), 2 fois la taille de la mémoire vive de la machine pour le swap (type <tt>swap</tt>, logique, pas de point de montage) et le reste pour la partition de données (monté sur <tt>/export</tt>, type <tt>ext3</tt>, logique).
#*''Remarque : pour changer une partition et/ou en augmenter la taille il faut la supprimer et recréer ensuite avec les bonnes caractéristiques. (On peut laisser la partition <tt>/export</tt> en <tt>ext2</tt> pour éviter de la formater).''
#* Bien vérifier quelles sont les partitions à formater, sauvegarder les modifications et éventuellement formater les partitions sélectionnées (on évite dans la mesure du possible de formater <tt>/export</tt>).
# L'intalleur Debian demande un mot de passe pour <tt>root</tt>: en donner un temporairement, qu'on désactivera une fois le paquet <tt>sudo</tt> configuré
# Utilisateur : création d'un administrateur commun à toutes les machines: <tt>admin-lama</tt>
# Choisir un miroir: France
# Participer à l'étude statistique sur l'utilisation des paquets: Oui
# Choix des paquets: conserver « Environnement graphique » et « Système standard »
# Installation des paquets automatique à partir de là: prendre un café
# Reboot

=== Premier démarrage ===
# Connexion sur une console (<tt>Ctrl+Alt+F1</tt>) et connexion en <tt>root</tt>
# Montage temporaire du disque /home du serveur www.lama
#* <tt>mount -t nfs www.lama:/home /mnt</tt>
# Lancement du script pour finir la configuration des machines (<tt>sudo</tt>, <tt>NIS</tt>, <tt>AMD</tt>, <tt>CUPS</tt>, ...)
#* <tt>tar xjf /mnt/home/lvaux/lama_setup.tar.bz2</tt>
#* <tt>cd lama_setup</tt>
#* <tt>./lama_setup</tt>
# Reboot
# Connexion en tant que <tt>admin-lama</tt> et désactivation du mot-de-passe pour le compte root:
#* <tt>sudo passwd -l root</tt>

Installation de ubuntu linux sur les postes clients

2009-01-16T15:20:04Z

Lvaux : a123-lama au lieu de a123.lama

===Préalables===
# noter le nom et le numéro IP de la machine à installer
# la machine doit booter sur le CD-ROM au démarrage (modifier éventuellement le setup accessible par F2 ou Suppr)

===Installation===
# mettre le CD et rebooter la machine
# choisir "installation" dans le menu proposé
# choisir "Préférences francais, Paris, keyboard francais" et interrompre momentanénement l'installation
# Configuration du réseau à partir du menu "Système/Administration/Réseau".
#* ''Remarque : cette étape peut être évitée car elle sert à utiliser le réseau pour effectuer une installation la plus complète possible. La machine d164 étant dorénavant mirroir de la distribution Ubuntu V7.10, l'installation la plus complète peut être faite avec le script do_install plus rapidement.''
# si la détection DHCP échoue, configurer le réseau à la main:
#* IP statique (éventuellement dhcp pour les machines récentes) <tt>193.48.12{0,1,2,3}.NNN</tt>
#* sous-masque réseau : 255.255.252.0
#* gateway : <tt>193.48.123.1</tt>
#* dns primaire : <tt>193.48.120.32</tt> et secondaire <tt>193.48.120.4</tt>
#* nom de la machine dépendant de l'IP: <tt>{a,b,c,d}NNN-lama</tt>
#** ''Remarque: La DSI préfère <tt>a123-lama</tt> à <tt>a123.lama</tt>.''
#* nom de domaine: <tt>univ-savoie.fr</tt>.
#*''Remarque : certaines machines ont deux cartes réseau. Dans ce cas, connecter le cable sur la carte d'origine et débrancher la deuxième, toutes les cartes étant prises en charge par la distribution (driver OK).''
# Test de l'installation du réseau (firefox ou ping sur une machine extérieure), si ca marche on reprend l'installation.
# Partitionnement
#* On doit avoir 3 partitions : 10 Go pour linux monté sur <tt>/</tt> (type <tt>ext3</tt>, primaire en début), 2 fois la taille de la mémoire vive de la machine pour le swap (type <tt>swap</tt>, logique, pas de point de montage) et le reste pour la partition de données (monté sur <tt>/export</tt>, type <tt>ext3</tt>, logique).
#*''Remarque : pour changer une partition et/ou en augmenter la taille il faut la supprimer et recréer ensuite avec les bonnes caractéristiques. (On peut laisser la partition <tt>/export</tt> en <tt>ext2</tt> pour éviter de la formater).''
#* Bien vérifier quelles sont les partitions à formater, sauvegarder les modifications et éventuellement formater les partitions sélectionnées (on évite dans la mesure du possible de formater <tt>/export</tt>).
# Utilisateur : création d'un administrateur commun à toutes les machines: <tt>admin-lama</tt>
# Reboot

=== Premier démarrage ===
# Installation du paquet nfs-common avec apt-get install pour pouvoir monter le disque /home du serveur en NFS
# Montage temporaire du disque /home du serveur www.lama
#* <tt>sudo mount -t nfs www.lama:/home /mnt</tt>
# Lancement du script pour finir la configuration des machines (NIS, AMD, CUPS, ...)
#* <tt>cd /mnt/install/ubuntu</tt>
#* <tt>sudo ./do_install</tt>
# Reboot
# Installation des mises à jour logicielles détectées au reboot

===Infos diverses===

*Infos matérielles
**Infos sur le processeur : /proc/cpuinfo
**Infos sur la mémoire du proc. /proc/meminfo
*Infos logicielles
**Infos sur le noyau : /proc/version
**Infos sur la version de la distribution /etc/issue
*Configuration de 2 écrans
** modifier le fichier /etc/X11/xorg.conf

Documentation

2009-01-16T08:14:21Z

Lvaux : /* Documentation pour les administrateurs du réseau LAMA */

==Documentation pour les utilisateurs du réseau LAMA==

[[ Utilisation des imprimantes ]]

[[ Accès au sauvegarde périodique de votre compte ]]

[[ Accès à vos fichiers à partir de Mac OS ]]

[[ Accès à vos fichiers à partir de Windows ]]

[http://www.lama.univ-savoie.fr/wiki/index.php/MUST Accès à la grille de calcul MUST]

[[ Mathrice ]]

[http://www.projet-plume.org/le-projet-description Projet PLUME : promotion du lociel libre]

[[ Synchronisation des comptes : unison ]]

== Problèmes connus sur le réseau LAMA ==

N'hésitez pas à ajouter quelque chose dans cette section si vous rencontrez un problème. Les administrateurs du réseau reçoivent un mail automatiquement lorsque cette page est modifiée.

- Les options (recto-verso,...) ne sont pas toujours transmises correctement aux imprimantes ...
en cours d'investigation. Si vous n'arrivez pas à faire autrement, un ssh sur www.lama.univ-savoie.fr
et l'utilisation de la commande lpr permet de contourner ce problème.

- Evince (visualisateur pdf et postscript par défaut sous gnome) ne permet pas d'imprimer sur des serveurs cups distants (le bouton "imprimer" reste grisé). Solution : utiliser kghostview ou un autre visualisateur.

==Documentation pour les administrateurs du réseau LAMA==

[[ Ouverture des comptes ]]

[[ Installation de ubuntu linux sur les postes clients ]]

[[Installation de Debian GNU-Linux sur les postes clients]]

[[ Organisation du serveur web www.lama.univ-savoie.fr ]]

Installation de Debian GNU-Linux sur les postes clients

2009-01-12T13:07:17Z

Lvaux : /* Premier démarrage */

=== Préalables ===
# noter le nom et le numéro IP de la machine à installer
# la machine doit booter sur le CD-ROM au démarrage (modifier éventuellement le setup accessible par F2 ou Suppr)

=== Installation ===
# mettre le CD et rebooter la machine
# choisir "install" ou "64 bit install" dans le menu de démarrage
# choisir la langue "Francais", le pays "France", le clavier "Francais"
# si la détection DHCP échoue, configurer le réseau à la main:
#* IP statique (éventuellement dhcp pour les machines récentes) <tt>193.48.12{0,1,2,3}.NNN</tt>
#* sous-masque réseau : 255.255.252.0
#* gateway : <tt>193.48.123.1</tt>
#* dns primaire : <tt>193.48.120.32</tt> et secondaire <tt>193.48.120.4</tt>
# Nom de la machine: nom de la machine associée à l'IP <tt>{a,b,c,d}NNN-lama</tt> et nom de domaine <tt>univ-savoie.fr</tt>.
#* ''Remarque: La DSI préfère <tt>a123-lama</tt> à <tt>a123.lama</tt>.''
# Partitionnement
#* On doit avoir 3 partitions : 10 Go pour linux monté sur <tt>/</tt> (type <tt>ext3</tt>, primaire en début), 2 fois la taille de la mémoire vive de la machine pour le swap (type <tt>swap</tt>, logique, pas de point de montage) et le reste pour la partition de données (monté sur <tt>/export</tt>, type <tt>ext3</tt>, logique).
#*''Remarque : pour changer une partition et/ou en augmenter la taille il faut la supprimer et recréer ensuite avec les bonnes caractéristiques. (On peut laisser la partition <tt>/export</tt> en <tt>ext2</tt> pour éviter de la formater).''
#* Bien vérifier quelles sont les partitions à formater, sauvegarder les modifications et éventuellement formater les partitions sélectionnées (on évite dans la mesure du possible de formater <tt>/export</tt>).
# L'intalleur Debian demande un mot de passe pour <tt>root</tt>: en donner un temporairement, qu'on désactivera une fois le paquet <tt>sudo</tt> configuré
# Utilisateur : création d'un administrateur commun à toutes les machines: <tt>admin-lama</tt>
# Choisir un miroir: France
# Participer à l'étude statistique sur l'utilisation des paquets: Oui
# Choix des paquets: conserver « Environnement graphique » et « Système standard »
# Installation des paquets automatique à partir de là: prendre un café
# Reboot

=== Premier démarrage ===
# Connexion sur une console (<tt>Ctrl+Alt+F1</tt>) et connexion en <tt>root</tt>
# Montage temporaire du disque /home du serveur www.lama
#* <tt>mount -t nfs www.lama:/home /mnt</tt>
# Lancement du script pour finir la configuration des machines (<tt>sudo</tt>, <tt>NIS</tt>, <tt>AMD</tt>, <tt>CUPS</tt>, ...)
#* <tt>tar xjf /mnt/home/lvaux/lama_setup.tar.bz2</tt>
#* <tt>cd lama_setup</tt>
#* <tt>./lama_setup</tt>
# Reboot
# Connexion en tant que <tt>admin-lama</tt> et désactivation du mot-de-passe pour le compte root:
#* <tt>sudo passwd -l root</tt>