The DEDALE Prototype

Chapitre D'ouvrage Année : 2000

(1) , (2) , (2) , (3)

1
2
3

Stéphane Grumbach

Databases

Philippe Rigaux

Michel Scholl

Luc Segoufin

Verification in databases

Informatique [cs] Base de données [cs.DB]

https://hal.science/hal-01124489

Soumis le : vendredi 6 mars 2015-10:36:53

Dernière modification le : vendredi 24 mars 2023-14:53:00

hal-01124489 , version 1 (06-03-2015)

Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin. The DEDALE Prototype. The DEDALE Prototype, 2000. ⟨hal-01124489⟩

CNRS INRIA ENS-CACHAN CNAM INRIA2 CEDRIC-CNAM ENS-PARIS-SACLAY

173 Consultations

0 Téléchargements