Mémoires de Fin d’Etudes
Etablissement
Université d’Oran1 - Ahmed Ben Bella
Affiliation
Département d’Informatique
Auteur
BENABBOU, Amel
Directeur de thèse
NAIT BAHLOUL Safia (Maitre de conférence)
Filière
Informatique Fondamentale
Diplôme
Doctorat
Titre
Un langage de spécification sémantique pour les bases de données
Mots clés
modèle, configuration formelle, BD, parallélisme, preuve
Résumé
La définition rigoureuse d’un système de type est une étape cruciale pour déterminer un modèle en entier consistant, en permettant notamment son abstraction et spécification sémantique. Cette thèse décrit les fondements théoriques d’un langage sémantique pour les bases de données. En plus d’une gestion explicite de parallélisme dans le langage sémantique de bases de données prise en charge. Cette étude concerne : (1) présentation des bases théoriques (algèbre de type, combinaisons booléennes, etc.) ; (2) aspects algorithmiques (calcul de relation des sous-langages, filtrage, etc.) ; (3) intégration du parallélisme ; (4) définition du langage de spécification sémantique parallèle.
Statut
Validé