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

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Une sémantique ensembliste pour les bases de données, application au modèle relationnel Goto Sponge NotDistinct Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
type	frbr:Work rdac:C10001
Thesis advisor	Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne) Spyratos, Nicolas (19..-....)
Praeses	Delobel, Claude (1938-.... ; mathématicien)
Author	Lécluse, Christophe (1964-....)
alternative label	A set theoretic semantics for databases, application to the relational model
dc:subject	Thèses et écrits académiques Bases de données -- Gestion Modèle relationnel Sémantique ensembliste
preferred label	Une sémantique ensembliste pour les bases de données, application au modèle relationnel
Language	http://lexvo.org/id/iso639-3/fra
Subject	http://www.idref.fr/027575918/id http://www.idref.fr/027253139/id
dc:title	Une sémantique ensembliste pour les bases de données, application au modèle relationnel
Degree granting institution	Université Paris-Sud (1970-2019)
Opponent	Bancilhon, François Demolombe, Robert (19..-....) Raoult, Jean-Claude
note	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. 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.
dc:type	Text
http://iflastandar...bd/elements/P1001	http://iflastandards.info/ns/isbd/terms/contentform/T1009
rdaw:P10219	1987
has content type	http://rdaregistry.info/termList/RDAContentType/1020
is primary topic of	http://www.idref.fr/245852573
is rdam:P30135 of	http://www.sudoc.fr/043587844/id http://www.sudoc.fr/245657002/id

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software