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

• Antragsteller: Professor Dr.-Ing. Ingo Schmitt
• Fachliche Zuordnung: Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme
• Förderung: Förderung von 2009 bis 2014
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 96336018

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.

• DFG-Verfahren: Sachbeihilfen