Umfang:
1 Online-Ressource (XII, 464 S.)
ISBN:
9783663095729
,
9783528047009
Serie:
Artificial Intelligence / Künstliche Intelligenz
Anmerkung:
Der Begriff "deduktive Datenbank" wurde vor etwa zwanzig Jahren geprägt, um eine neue Forschungsrichtung zu bezeichnen, die sich im Grenzbereich zwischen Künstlicher Intelligenz und Datenbankforschung zu entwickeln begann. Das we sentliche Anliegen der Wissenschaftler, die sich seit. her diesem Thema gewidmet haben, ist die Realisierung effizienter, automatischer Inferenzmethoden, die es er lauben, große Faktenmengen durch einzelne definierende Ausdrücke statt durch explizite Aufzählung darzustellen. Erste Experimente in den späten sechziger und frühen siebziger Jahren mit Kopplungen von automatischen Beweissystemen und Datenbanksystemen können 1 als Ausgangspunkt der Forschungen angesehen werden. Nach einer intensiven Aus einandersetzung mit den theoretischen Grundlagen deduktiver Datenbanken rich tete sich das Forschungsinteresse Mitte der achtziger Jahre zunehmend auf prakti sche Implementierungstechniken, vorwiegend im Kontext des relationalen Datenmo dells. In jüngster Zeit werden regelbasierte Wissensdarstellung und automatische Inferenz von Daten auch im Rahmen anderer Datenmodelle, insbesondere objekt orientierter Systeme, vorgeschlagen und untersucht. In der Künstlichen Intelligenz entwickelte sich ungefähr zur gleichen Zeit die logische Programmierung. Sie basiert ebenfalls auf Methoden zum automatischen Beweisen, die zwischen 1960 und 1970 vorgeschlagen wurden. Die Verwendung von Logik als Programmiersprache zielt auf eine stärker deskriptive und weniger präskriptive Formulierung von Algorithmen. Populär wurde diese Forschungsrich tung in erster Linie durch die starke Verbreitung der Programmiersprache Prolog
Sprache:
Deutsch
Schlagwort(e):
Deduktives Datenbanksystem
;
Logische Programmierung
DOI:
10.1007/978-3-663-09572-9
Mehr zum Autor:
Hinze, Ralf 1965-
Mehr zum Autor:
Cremers, Armin B. 1946-
Bookmarklink
