Vérification statique de contraintes d'intégrité dynamiques: une approche sémantique - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1999

Vérification statique de contraintes d'intégrité dynamiques: une approche sémantique

Véronique Benzaken
Centre de Recherche en Informatique de Paris 1
CV
Serena Cerrito
  • Fonction : Auteur
Sébastien Praud
  • Fonction : Auteur
Centre de Recherche en Informatique de Paris 1

Domaines

Autre [cs.OH]

Charlotte Hug  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00707622

Soumis le : mercredi 13 juin 2012-10:46:07

Dernière modification le : jeudi 6 avril 2023-10:54:11

Fichier non déposé

Dates et versions

hal-00707622 , version 1 (13-06-2012)

Identifiants

  • HAL Id : hal-00707622 , version 1

Citer

Véronique Benzaken, Serena Cerrito, Sébastien Praud. Vérification statique de contraintes d'intégrité dynamiques: une approche sémantique. Bases de Données Avancées, 1999, France. pp.283 - 301. ⟨hal-00707622⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS1 CRI
29 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More