001041332
100  $a                         y50      
101  $afre
2001 $aUn langage de spécification sémantique pour les bases de données$bressource électronique
210  $aUniversité d'Oran1 - Ahmed Ben Bella : Département d'Informatique$cUniversité d'Oran1 - Ahmed Ben Bella
328 1$bDoctorat$cInformatique Fondamentale$eDépartement d'Informatique , Université d'Oran1 - Ahmed Ben Bella
330  $aLa 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.
610  $amodèle, configuration formelle, BD, parallélisme, preuve
700  $aBENABBOU, amel
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac