 |
Conference papers
Spatio-Temporal Data Handling with Constraints
Stéphane Grumbach
1
Philippe Rigaux
2
Luc Segoufin
3
1
VERSO - Databases
Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR8629
2
CEDRIC - VERTIGO - CEDRIC. Bases de données avancées
CEDRIC - Centre d'études et de recherche en informatique et communications
3
DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Stéphane Grumbach 1
Mail :
Author IdHAL : sgrumbach
Philippe Rigaux 2
Mail :
Author IdHAL : philippe-rigaux ORCID : https://orcid.org/0000-0002-9189-7292
Luc Segoufin 3
Author
1
VERSO - Databases (France)
- Inria Paris-Rocquencourt (INRIA Rocquencourt : Domaine de Voluceau, Rocquencourt B.P. 105 78153 le Chesnay Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8629 (France)
2
CEDRIC - VERTIGO - CEDRIC. Bases de données avancées (France)
- CEDRIC - Centre d'études et de recherche en informatique et communications (292 rue Saint-Martin
75141 PARIS Cedex 03
Case courrier 2D4P30 - France)
- ENSIIE - Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise : EA4629 (France)
- CNAM - Conservatoire National des Arts et Métiers [CNAM] : EA4629 (France)
3
DAHU - Verification in databases (LSV ENS de Cachan 61 avenue du Président Wilson 94235 CACHAN Cedex FRANCE - France)
- LSV - Laboratoire Spécification et Vérification [Cachan] (Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX - France)
- ENS Cachan - École normale supérieure - Cachan (61, avenue du Président Wilson - 94230 Cachan - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8643 (France)
- Inria Saclay - Ile de France (1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
Campus de l'École Polytechnique
91120 Palaiseau - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01124457
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 10:35:40 AM
Last modification on : Thursday, July 2, 2020 - 5:26:03 PM
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 10:35:40 AM
Last modification on : Thursday, July 2, 2020 - 5:26:03 PM
Identifiers
- HAL Id : hal-01124457, version 1
Collections
CNRS | INRIA | CNAM | ENS-CACHAN | CEDRIC-CNAM
Citation
Stéphane Grumbach, Philippe Rigaux, Luc Segoufin. Spatio-Temporal Data Handling with Constraints. Intl. Symposium on Geographic Information Systems (ACM-GIS'98), Jan 1998, X, France. ⟨hal-01124457⟩
Metrics
Record views
