Entwicklung von Konzepten für ein quantenlogikbasiertes Retrieval-Datenbank-Anfragesystem: Anfragesprache, interaktive Suchformulierung sowie effiziente Anfrageauswertung

这种做法是在一个以Prädikatenlogik为基础的传统数据银行系统中进行的。Dort können die Daten eine Anfrage努尔erfüllen or der nicht erfüllen.这个数据库没有渐进式的结果。Dies ermöglichen jedoch Retrieval-System mit Retrieval-Bedingungen，welche auf völlig anderen Konzepten，zum Beispiel dem Vektorraummodell，basiren.但是，检索-Bedingungen必须使用传统的Datenbankbedingungen这样的范例。许多现代化的应用程序，从多媒体、Web和XML的角度出发，将数据库和检索结合起来。该集成问题是一种“不确定数据推理”的范式，由Lowell-Report 1中的数据银行研究人员提出，并得到了一些研究人员的认可。项目的核心是通过一个检索-数据库-数据库系统的集成，建立了量子力学和量子逻辑的统一形式。Dieser Ancherlaubt die Einbettung von Datenbank- und Retrieval-Konzepten und schlägt eine elegante Brücke zwischen linearer Algebra，Logik und Wahrscheinlichkeitsrechnung. Damit韦尔登Ergebnisse aus diesen gut erforschten Gebieten zur Lösung von Datenbank- und Retrieval-Fragestellungen erschlossen.

Die Suche in einem klassischen Datenbanksystem basiert auf Prädikatenlogik erster Ordnung. Dort können die Daten eine Anfrage nur erfüllen oder nicht erfüllen. Diese sogenannten Datenbankbedingungen unterstützen keine graduelle Erfüllung. Dies ermöglichen jedoch Retrieval-Systeme mit Retrieval-Bedingungen, welche auf völlig anderen Konzepten, zum Beispiel dem Vektorraummodell, basieren. Damit stellen Retrieval-Bedingungen gegenüber den konventionellen Datenbankbedingungen ein weiteres Suchparadigma dar. Viele moderne Anwendungen, zum Beispiel aus dem Bereich Multimedia, Web und XML, benötigen jedoch die Kombination von Datenbank- und Retrieval-Bedingungen. Die Problematik der Integration dieser Paradigmen für ein „Reasoning about Uncertain Data“ wurde von führenden Datenbankforschern im aktuellen Lowell-Report1 als wichtiges Forschungsziel identifiziert. Kernidee des Projektes ist die Integration durch Konzepte eines Retrieval- Datenbank-Anfragesystems auf der Grundlage des vereinheitlichenden Formalismus der Quantenmechanik und Quantenlogik. Dieser Ansatz erlaubt die Einbettung von Datenbank- und Retrieval-Konzepten und schlägt eine elegante Brücke zwischen linearer Algebra, Logik und Wahrscheinlichkeitsrechnung. Damit werden Ergebnisse aus diesen gut erforschten Gebieten zur Lösung von Datenbank- und Retrieval-Fragestellungen erschlossen.