thesis

Une sémantique ensembliste pour les bases de données : application au modèle relationnel

Defense date:

Jan. 1, 1987

Edit

Institution:

Paris 11

Disciplines:

Directors:

Abstract EN:

We propose a set-theoretic semantics for databases and we apply it to the relational model. It that allows a semantic approach to the problems of queries and updates in this model and we show that we obtain a refinement of the so-called Weak-Instance model. We define a first order logic language that allows us to extend this semantics to more powerfull representation systems.

Abstract FR:

Nous proposons une sémantique ensembliste pour les bases de données et nous l'appliquons au cas du modèle relationnel. Cela permet une approche sémantique du problème du calcul des requêtes et des mises à jour dans ce modèle. Nous montrons que cette sémantique affine celle connue sous le nom « d’instances faibles ». Enfin, nous définissons un langage logique du premier ordre qui permet d'étendre cette sémantique à un cadre plus général que le modèle relationnel.