Eine räumliche Anfragesprache für dreidimensionale Gebäudemodelle stellt dem Nutzer eine höhere Abstraktion geometrischer Informationen zur Verfügung und eröffnet ein breites Spektrum von Anwendungsgebieten, darunter die Bildung von Partialmodellen anhand räumlicher Kriterien und die räumliche Analyse von Bauwerksmodellen. Grundlage für die Entwicklung einer räumlichen Anfragesprache ist die formale Spezifikation der Semantik der räumlichen Typen und der räumlichen Operatoren. Die topologische, metrische und direktionale Operatoren wurden mit Hilfe von Punktmengentheorie und Punktmengentopologie definiert. Zur Implementierung dieser Operatoren wurden zwei Varianten entwickelt, eine oktalbaumbasierte und eine auf der Boundary Representation der Operanden beruhende.     «

Eine räumliche Anfragesprache für dreidimensionale Gebäudemodelle stellt dem Nutzer eine höhere Abstraktion geometrischer Informationen zur Verfügung und eröffnet ein breites Spektrum von Anwendungsgebieten, darunter die Bildung von Partialmodellen anhand räumlicher Kriterien und die räumliche Analyse von Bauwerksmodellen. Grundlage für die Entwicklung einer räumlichen Anfragesprache ist die formale Spezifikation der Semantik der räumlichen Typen und der räumlichen Operatoren. Die topologische,...     »