| 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é |
|