Advertisement

Datenbank-Spektrum

, Volume 14, Issue 3, pp 223–235 | Cite as

Eine Erweiterung des Relationalen Modells zur Repräsentation räumlichen Wissens

  • Norbert PaulEmail author
  • Patrick E. Bradley
Fachbeitrag
  • 202 Downloads

Zusammenfassung

Das Relationale Modell der Datenhaltung beruht auf der Mengenlehre und steht damit auf dem gleichen mathematischen Fundament wie die Topologie, eine wichtige mathematische Disziplin und gleichzeitig wesentliche Grundlage der räumlichen Datenmodellierung. Die enge Verwandtschaft von Topologie und Relationalem Modell kann genutzt werden, um topologische Konzepte in das Relationale Modell einzuführen: Jede Topologie für eine endliche Menge, etwa eine Datenstruktur oder eine Tabelle einer Datenbank, kann durch eine Relation dargestellt werden. Damit kann eine Tabelle zu einem topologischen Raum werden, und auf derartigen Räumen operieren die relationalen Anfrageoperatoren als topologische Fundamentalkonstruktionen, die wiederum Räume erzeugen. Der relationalen Abgeschlossenheit der Relationalen Algebra entspricht also eine Art „räumlicher Abgeschlossenheit“ in der Topologie. Die relationale Darstellung von Topologien ist nachweisbar effizient und hat für beliebige Topologien zu einer gegebenen Menge optimalen Speicherbedarf. Dieser ist auch im Wesentlichen unabhängig von der Dimension des modellierten Objekts.

Eine erste prototypische Implementierung dieser topologisch-Relationalen Algebra illustriert, wie Relationen zu topologischen Räumen werden können und wie die entsprechend erweiterte Relationale Algebra auf diesen Räumen operiert. Zudem gibt es dediziert topologische Anfragen, wie Inneres, Rand oder Abschluss von Mengen in Räumen. An einem Beispiel aus der räumlichen Wissensverarbeitung, dem Region-Connection-Calculus (RCC-8), wird der Nutzen dieses generischen Ansatzes deutlich: Mit räumlichen Datenbankanfragen lassen sich die topologisch definierten RCC-8-Prädikate realisieren und deren Eigenschaften genauer untersuchen.

Schlüsselwörter

Alexandroff-Topologie Relationales Modell Räumliches Wissen CAD Computational Topology 

Notes

Danksagung

Die Autoren danken Bertram Ludäscher für den Hinweis auf die RCC-8, und sie danken Werner Nutt für die freundliche und konstruktive Diskussion der gefundenen Resultate. Zudem danken sie Barbara Šepič für die Programmierung des OpenGL-Viewers (Online Ressource 2) für das relationale Modell eines 3D-Beispielwürfels. Schließlich danken sie einem anonymen Referee für wertvolle Hinweise, die zur wesentlichen Verbesserung des Textes beitrugen.

References

  1. 1.
    Alexandroff P: Diskrete Räume. Matematiećeskij Sbornik 44(2), 501–519 (1937)Google Scholar
  2. 2.
    Angles R, Gutierrez C (2008) Survey of graph database models. ACM Comput. Surv. 40(1), 1:1–1:39. (2008). doi:10.1145/ 1322432.1322433. http://doi.acm.org/10.1145/1322432.1322433
  3. 3.
    Baumgart BG: Winged-Edge Polyhedron Representation for Computer Vision. In: National Computer Conference (1975)Google Scholar
  4. 4.
    Bennett B, Cohn AG, Wolter F, Zakharyaschev M (2002) Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning. Applied Intelligence 17(3):239–251CrossRefzbMATHGoogle Scholar
  5. 5.
    Boyer CB, Merzbach UC: A History of Mathematics. John Wiley & Sons, Hoboken (1968)Google Scholar
  6. 6.
    Bradley PE, Paul N (2010) Using the Relational Model to Capture Topological Information of Spaces. The Computer Journal 53:69–89CrossRefGoogle Scholar
  7. 7.
    Braha D, Reich Y (2003) Topological structures for modeling engineering design processes. Res Eng Design 14(4):185–199CrossRefGoogle Scholar
  8. 8.
    Chazelle B (1984) Convex partitions of polyhedra: A lower bound and worst-case optimal algorithm. SIAM J. Computing 13:488–507zbMATHMathSciNetGoogle Scholar
  9. 9.
    Codd EF (1979) Extending the Database Relational Model to Capture More Meaning. ACM Trans Database Syst 4(4):397–434CrossRefGoogle Scholar
  10. 10.
    Codd EF: The Relational Model for Database Management. Addison-Wesley, Boston (1990)Google Scholar
  11. 11.
    Döllner J, Hagedorn B: Integrating urban GIS, CAD, and BIM data by servicebased virtual 3D city models. R. et al. (Ed.), Urban and Regional Data Management-Annual pp. 157–160 (2007)Google Scholar
  12. 12.
    Eckhardt U, Latecki L: Digital Topology. Inst. für Angewandte Mathematik, Universität Hamburg (1994)Google Scholar
  13. 13.
    Egenhofer MJ: Reasoning about Binary Topological Relations. In: O. Günther, HJ. Schek (eds.) Advances in Spatial Databases, Lecture Notes in Computer Science, vol. 525, pp. 141–160. Springer Berlin Heidelberg (1991)Google Scholar
  14. 14.
    Güting RH: Gral: An extensible relational database system for geometric applications. In: Apers PMG, G. Wiederhold (eds.) Proceedings of the Fifteenth International Conference on Very Large Data Bases, August 22–25, 1989, Amsterdam, The Netherlands, pp. 33–44. Morgan Kaufmann (1989)Google Scholar
  15. 15.
    Hartshorne R: Algebraic Geometry, Graduate Texts in Mathematics, vol. 52. Springer, New York (1977)Google Scholar
  16. 16.
    Hausdorff F: Felix Hausdorff-Gesammelte Werke Band III: Mengenlehre (1927, 1935) Deskripte Mengenlehre und Topologie. Springer, Heidelberg (2008)Google Scholar
  17. 17.
    Herrlich H: Einführung in die Topologie. Heldermann, Lemgo (1986)Google Scholar
  18. 18.
    Herrlich H: Topologie 1: Topologische Räume. Heldermann (1986)Google Scholar
  19. 19.
    Hogenboom F, Borgman B, Frasincar F, Kaymak U: Spatial knowledge representation on the semantic web. In: Semantic Computing (ICSC), 2010 IEEE Fourth International Conference on, pp. 252–259 (2010)Google Scholar
  20. 20.
    Jänich K: Topologie, 7. aufl. edn. Springer, Berlin (2001)Google Scholar
  21. 21.
    Kainz W, Egenhofer MJ, Greasley I (1993) Modelling spatial relations and operations with partially ordered sets. International Journal of Geographical Information Systems 7(3):215–229CrossRefGoogle Scholar
  22. 22.
    Karimi HA, Akinci B (eds): CAD and GIS Integration. CRC Press, Boca Raton (2010)Google Scholar
  23. 23.
    Kasccaemsuppakorn P, Roongpiboonsopit D, Karimi HA: Current Trends and Future Directions in GIS. In: H.A. Karimi, B. Akinci (eds.) CAD and GIS Integration, chap. 2, pp. 23–49. CRC Press (2010)Google Scholar
  24. 24.
    Maier D: The Theory of Relational Databases. Computer Science Press, Rockville (1983)Google Scholar
  25. 25.
    Mäntylä M: An introduction to solid modeling. Computer Science Press, Rockville (1988)Google Scholar
  26. 26.
    Nutt W: On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics. In: Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence, KI '99, pp. 113–124. Springer, London, UK (1999)Google Scholar
  27. 27.
    Oracle: Oracle Spatial and Graph Developer’s Guide 12c Release 1 (12.1). http://docs.oracle.com/cd/E16655_01/appdev.121/e17896/toc.htm (2013)
  28. 28.
    Paul N: Topologische Datenbanken für Architektonische Räume. Ph.D. thesis, Universität Karlsruhe (2008)Google Scholar
  29. 29.
    Paul N: Handbook of Research on Building Information Modeling and Construction Informatics, chap. Basic Topological Notions and their Relation to BIM. Information Science Reference (2010)Google Scholar
  30. 30.
    Pu S, Zlatanova S: Integration of GIS and CAD at DBMS Level. In: Proceedings of UDMS, 6, 9–61 (2006)Google Scholar
  31. 31.
    Randell DA, Cui Z, Cohn AG: A Spatial Logic based on Regions and Connection. In: Proceedings 3rd International Conference on Knowledge Representation and Reasoning (1992)Google Scholar
  32. 32.
    Vella A: A Fundamentally Topological Perspective on Graph Theory. Ph.D. thesis, University of Waterloo (2005)Google Scholar
  33. 33.
    Verna D: How to make Lisp go faster than C. IAENG International Journal of Computer Science 32(4) (2006)Google Scholar
  34. 34.
    Weiler K (1985) Edge-Based Data Structures for Solid Modeling in Curved-Surface Environments. IEEE Comput Graphics Appl 5(1):21–40CrossRefGoogle Scholar
  35. 35.
    Wolter F, Zakharyaschev M: Spatial representation and reasoning in RCC-8 with Boolean region terms. In: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI 2000), pp. 244–248 (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  1. 1.Geodätisches InstitutKITKarlsruheDeutschland
  2. 2.Institut für Photogrammetrie und FernerkundungKITKarlsruheDeutschland

Personalised recommendations