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.
References
Alexandroff P: Diskrete Räume. Matematiećeskij Sbornik 44(2), 501–519 (1937)
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
Baumgart BG: Winged-Edge Polyhedron Representation for Computer Vision. In: National Computer Conference (1975)
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–251
Boyer CB, Merzbach UC: A History of Mathematics. John Wiley & Sons, Hoboken (1968)
Bradley PE, Paul N (2010) Using the Relational Model to Capture Topological Information of Spaces. The Computer Journal 53:69–89
Braha D, Reich Y (2003) Topological structures for modeling engineering design processes. Res Eng Design 14(4):185–199
Chazelle B (1984) Convex partitions of polyhedra: A lower bound and worst-case optimal algorithm. SIAM J. Computing 13:488–507
Codd EF (1979) Extending the Database Relational Model to Capture More Meaning. ACM Trans Database Syst 4(4):397–434
Codd EF: The Relational Model for Database Management. Addison-Wesley, Boston (1990)
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)
Eckhardt U, Latecki L: Digital Topology. Inst. für Angewandte Mathematik, Universität Hamburg (1994)
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)
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)
Hartshorne R: Algebraic Geometry, Graduate Texts in Mathematics, vol. 52. Springer, New York (1977)
Hausdorff F: Felix Hausdorff-Gesammelte Werke Band III: Mengenlehre (1927, 1935) Deskripte Mengenlehre und Topologie. Springer, Heidelberg (2008)
Herrlich H: Einführung in die Topologie. Heldermann, Lemgo (1986)
Herrlich H: Topologie 1: Topologische Räume. Heldermann (1986)
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)
Jänich K: Topologie, 7. aufl. edn. Springer, Berlin (2001)
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–229
Karimi HA, Akinci B (eds): CAD and GIS Integration. CRC Press, Boca Raton (2010)
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)
Maier D: The Theory of Relational Databases. Computer Science Press, Rockville (1983)
Mäntylä M: An introduction to solid modeling. Computer Science Press, Rockville (1988)
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)
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)
Paul N: Topologische Datenbanken für Architektonische Räume. Ph.D. thesis, Universität Karlsruhe (2008)
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)
Pu S, Zlatanova S: Integration of GIS and CAD at DBMS Level. In: Proceedings of UDMS, 6, 9–61 (2006)
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)
Vella A: A Fundamentally Topological Perspective on Graph Theory. Ph.D. thesis, University of Waterloo (2005)
Verna D: How to make Lisp go faster than C. IAENG International Journal of Computer Science 32(4) (2006)
Weiler K (1985) Edge-Based Data Structures for Solid Modeling in Curved-Surface Environments. IEEE Comput Graphics Appl 5(1):21–40
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)
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
Diese Arbeit wurde von der Deutschen Forschungsgemeinschaft (DFG) mit Vorhaben BR 2128/12-2 und BR 3513/3-2 gefördert.
Rights and permissions
About this article
Cite this article
Paul, N., Bradley, P. Eine Erweiterung des Relationalen Modells zur Repräsentation räumlichen Wissens. Datenbank Spektrum 14, 223–235 (2014). https://doi.org/10.1007/s13222-014-0163-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13222-014-0163-0