Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles - Archive ouverte HAL
Communication Dans Un Congrès Année : 2005

Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles

Magali Duboisset
  • Fonction : Auteur
François Pinet
Myoung-Ah Kang
Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
Michel Schneider
  • Fonction : Auteur
  • PersonId : 1011812

Domaines

Base de données [cs.DB]

Bastien DOREAU  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02082974

Soumis le : jeudi 28 mars 2019-15:45:40

Dernière modification le : mercredi 27 mars 2024-15:20:01

Consulter sur la plateforme ISTEX

Dates et versions

hal-02082974 , version 1 (28-03-2019)

Identifiants

Citer

Magali Duboisset, François Pinet, Myoung-Ah Kang, Michel Schneider. Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles. Conceptual Modeling - ER 2005, 2005, Klagenfurt, Austria. pp.465--482, ⟨10.1007/11568322_30⟩. ⟨hal-02082974⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

PRES_CLERMONT CNRS LIMOS CLERMONT-AUVERGNE-INP
18 Consultations
0 Téléchargements

Altmetric

Partager

More