DEDALE, A Spatial Constraint Database

Stéphane Grumbach 1 Philippe Rigaux 2 Michel Scholl 2 Luc Segoufin 3
1 VERSO - Databases
Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR8629
3 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01124533
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 10:38:28 AM
Last modification on : Tuesday, February 26, 2019 - 4:16:02 PM

Identifiers

  • HAL Id : hal-01124533, version 1

Collections

Citation

Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin. DEDALE, A Spatial Constraint Database. Intl. Workshop on Database Programming Languages (DBPL), Jan 1997, X, France. ⟨hal-01124533⟩

Share

Metrics

Record views

200