Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles - Université Clermont Auvergne Accéder directement au contenu
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
Michel Schneider
  • Fonction : Auteur
  • PersonId : 1011812

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⟩
11 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More