Fiche Module

STI

Semestre : 7
Crédits ECTS : 6

Coefficient : 1

Chaînes de Markov
Compilation
Fondements théoriques des bases de données
Modélisation et Théorie des graphes
Outils de preuve et vérification

Type	Nombre	Durée
Cours	8	01:20
TD	8	01:20

Type	Coefficient
Contrôle Continu	1

Enseignant	Type
Ciucanu Radu	Responsable
Ciucanu Radu	Intervenant

Lien vers ce module sur celene

Manipuler le langage SQL : interrogation, mise à jour et création de bases de données, avec une mise en oeuvre en utilisant le logiciel SQLite
Comprendre quelques langages théoriques de requête : Algèbre relationnelle, Calcul relationnel

UE	Semestre	Module
Principes de la programmation	5	Logique

Introduction to the Relational Model : Database Schema, Keys, Schema Diagrams
Introduction to SQL : SQL Data Definition, Basic Structure of SQL Queries, Additional Basic Operations, Set Operations, Null Values, Aggregate Functions, Nested Subqueries, Modification of the Database
Intermediate SQL : Join Expressions, Views, Integrity Constraints, SQL Data Types and Schemas
Formal Relational Query Languages : Relational Algebra, Tuple Relational Calculus, Domain Relational Calculus

Contrôle Continu Intégral : 2 rendus x 50%

Silberschatz, Korth, Sudarshan. Database System Concepts, McGraw-Hill, 2010. https://www.db-book.com/db6/index.html

Ref.	Verbe	Description	Niveau