Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles
Identifieur interne : 000D30 ( Main/Exploration ); précédent : 000D29; suivant : 000D31Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles
Auteurs : Magali Duboisset [France] ; François Pinet [France] ; Myoung-Ah Kang [France] ; Michel Schneider [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2005.
Abstract
Abstract: Recent works underline that the integration of topological relationships into the Object Constraint Language (OCL) is an important field of investigation. The final goal is to provide an expressive language adapted to precisely model alphanumerical and topological constraints. In order to reach this goal, the present paper focuses on the integration of the 9 Intersection Method (9IM) into OCL. We show that this OCL+9IM language is especially suitable for the specification of topological constraints implying composite spatial objects. The expressive power of the language is also studied from a spatial point of view, and the SQL code generation from OCL+9IM expressions is considered. An important validation is related to the use of the language in the context of agricultural information systems.
Url:
DOI: 10.1007/11568322_30
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000569
- to stream Istex, to step Curation: 000541
- to stream Istex, to step Checkpoint: 000668
- to stream Main, to step Merge: 000D36
- to stream Main, to step Curation: 000D30
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles</title><author><name sortKey="Duboisset, Magali" sort="Duboisset, Magali" uniqKey="Duboisset M" first="Magali" last="Duboisset">Magali Duboisset</name></author><author><name sortKey="Pinet, Francois" sort="Pinet, Francois" uniqKey="Pinet F" first="François" last="Pinet">François Pinet</name></author><author><name sortKey="Kang, Myoung Ah" sort="Kang, Myoung Ah" uniqKey="Kang M" first="Myoung-Ah" last="Kang">Myoung-Ah Kang</name></author><author><name sortKey="Schneider, Michel" sort="Schneider, Michel" uniqKey="Schneider M" first="Michel" last="Schneider">Michel Schneider</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:AA35313065274BF2A30B64DFC43FE84A52C7296E</idno><date when="2005" year="2005">2005</date><idno type="doi">10.1007/11568322_30</idno><idno type="url">https://api.istex.fr/document/AA35313065274BF2A30B64DFC43FE84A52C7296E/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">000569</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000569</idno><idno type="wicri:Area/Istex/Curation">000541</idno><idno type="wicri:Area/Istex/Checkpoint">000668</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000668</idno><idno type="wicri:doubleKey">0302-9743:2005:Duboisset M:precise:modeling:and</idno><idno type="wicri:Area/Main/Merge">000D36</idno><idno type="wicri:Area/Main/Curation">000D30</idno><idno type="wicri:Area/Main/Exploration">000D30</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles</title><author><name sortKey="Duboisset, Magali" sort="Duboisset, Magali" uniqKey="Duboisset M" first="Magali" last="Duboisset">Magali Duboisset</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>Cemagref, Clermont Ferrand</wicri:regionArea><placeName><region type="region">Auvergne-Rhône-Alpes</region><region type="old region">Auvergne (région administrative)</region><settlement type="city">Clermont-Ferrand</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Pinet, Francois" sort="Pinet, Francois" uniqKey="Pinet F" first="François" last="Pinet">François Pinet</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>Cemagref, Clermont Ferrand</wicri:regionArea><placeName><region type="region">Auvergne-Rhône-Alpes</region><region type="old region">Auvergne (région administrative)</region><settlement type="city">Clermont-Ferrand</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Kang, Myoung Ah" sort="Kang, Myoung Ah" uniqKey="Kang M" first="Myoung-Ah" last="Kang">Myoung-Ah Kang</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>Laboratory of Computer Science, Modeling and System Optimisation (LIMOS), Blaise Pascal University, Clermont Ferrand</wicri:regionArea><placeName><region type="region">Auvergne-Rhône-Alpes</region><region type="old region">Auvergne (région administrative)</region><settlement type="city">Clermont-Ferrand</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Schneider, Michel" sort="Schneider, Michel" uniqKey="Schneider M" first="Michel" last="Schneider">Michel Schneider</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>Laboratory of Computer Science, Modeling and System Optimisation (LIMOS), Blaise Pascal University, Clermont Ferrand</wicri:regionArea><placeName><region type="region">Auvergne-Rhône-Alpes</region><region type="old region">Auvergne (région administrative)</region><settlement type="city">Clermont-Ferrand</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>2005</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">AA35313065274BF2A30B64DFC43FE84A52C7296E</idno><idno type="DOI">10.1007/11568322_30</idno><idno type="ChapterID">30</idno><idno type="ChapterID">Chap30</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Recent works underline that the integration of topological relationships into the Object Constraint Language (OCL) is an important field of investigation. The final goal is to provide an expressive language adapted to precisely model alphanumerical and topological constraints. In order to reach this goal, the present paper focuses on the integration of the 9 Intersection Method (9IM) into OCL. We show that this OCL+9IM language is especially suitable for the specification of topological constraints implying composite spatial objects. The expressive power of the language is also studied from a spatial point of view, and the SQL code generation from OCL+9IM expressions is considered. An important validation is related to the use of the language in the context of agricultural information systems.</div></front></TEI><affiliations><list><country><li>France</li></country><region><li>Auvergne (région administrative)</li><li>Auvergne-Rhône-Alpes</li></region><settlement><li>Clermont-Ferrand</li></settlement></list><tree><country name="France"><region name="Auvergne-Rhône-Alpes"><name sortKey="Duboisset, Magali" sort="Duboisset, Magali" uniqKey="Duboisset M" first="Magali" last="Duboisset">Magali Duboisset</name></region><name sortKey="Duboisset, Magali" sort="Duboisset, Magali" uniqKey="Duboisset M" first="Magali" last="Duboisset">Magali Duboisset</name><name sortKey="Kang, Myoung Ah" sort="Kang, Myoung Ah" uniqKey="Kang M" first="Myoung-Ah" last="Kang">Myoung-Ah Kang</name><name sortKey="Kang, Myoung Ah" sort="Kang, Myoung Ah" uniqKey="Kang M" first="Myoung-Ah" last="Kang">Myoung-Ah Kang</name><name sortKey="Pinet, Francois" sort="Pinet, Francois" uniqKey="Pinet F" first="François" last="Pinet">François Pinet</name><name sortKey="Pinet, Francois" sort="Pinet, Francois" uniqKey="Pinet F" first="François" last="Pinet">François Pinet</name><name sortKey="Schneider, Michel" sort="Schneider, Michel" uniqKey="Schneider M" first="Michel" last="Schneider">Michel Schneider</name><name sortKey="Schneider, Michel" sort="Schneider, Michel" uniqKey="Schneider M" first="Michel" last="Schneider">Michel Schneider</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Agronomie/explor/SisAgriV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000D30 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000D30 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Agronomie
|area= SisAgriV1
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:AA35313065274BF2A30B64DFC43FE84A52C7296E
|texte= Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles
}}
| This area was generated with Dilib version V0.6.28. |  |