Deduktive Datenbanken

Eine Einführung aus der Sicht der logischen Programmierung

Häftad, Tyska, 1993

Av Armin B. Cremers, Ulrike Griefahn, Ralf Hinze

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1993-12-01
Mått170 x 244 x 26 mm
Vikt821 g
FormatHäftad
SpråkTyska
SerieComputational Intelligence
Antal sidor464
Upplaga1994
FörlagSpringer Fachmedien Wiesbaden
ISBN9783528047009

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

1 Einleitung.- 2 Prädikatenlogik.- 3 Deduktive Datenbanken.- 4 Alternative Auswertungsmethoden.- 5 Typsysteme.- 6 Statische Transformationen.- 7 Integritätsprüfung.- 8 Änderungen.- A Prolog.- A.1 Prolog-Interpreter.- A.2 Korrektheit.- A.3 Vollständigkeit.- A.4 Effizienz.- A.5 Negation.- A.6 Kontrolle.- A.7 Datenbankprädikate.- A.8 Termmanipulation.- A.9 „all solutions“-Prädikate.- B Benutzungsschnittstelle.- B.1 Das Quellformat.- B.1.1 Deklarationen.- B.1.2 Klauseln und Änderungen.- B.1.3 Die Standardumgebung.- B.1.4 Bibliotheken.- B.2 Anweisungen der Schnittstelle.- B.3 Beispiel: Fahrraddatenbank.- B.3.1 Die Datenbank.- B.3.2 Anfragen.- B.3.3 Änderungen.- B.4 Beispiel: Graphen.- B.4.1 Die Datenbank.- B.4.2 Anfragen.- B.4.3 Änderungen.- C Realisierung in Prolog.- C.1 Übersetzung der Quelldatei.- C.1.1 Syntaxanalyse.- C.1.2 Meta-Programmierung.- C.1.3 Deklarationen.- C.1.4 Typinferenz.- C.1.5 Normalisierung.- C.1.6 Transformation in die relationale Form.- C.1.7 Modusprüfung.- C.1.8 Optimierung der Unifikation.- C.2 Bearbeitung von Anfragen.- C.3 Durchführung der Integritätsprüfung.- C.4 Bearbeitung von Änderungsanweisungen.- D Mathematische Grundlagen.- D.1 Logik.- D.2 Mengen, Relationen und Abbildungen.- D.3 Äquivalenzrelationen.- D.4 Monoide.- D.5 Natürliche Zahlen, Folgen und Bäume.- D.6 Graphen.- D.7 Induktive Definitionen.- D.8 Transitionssysteme.- D.9 Halbordnungen und vollständige Induktion.- D.10 Verbände und Fixpunkte.- D.11 Berechenbarkeit und Komplexität.- Sachwortverzeichnis.

Du kanske också är intresserad av

Fuzzy Sets and Fuzzy Logic

Fuzzy Sets and Fuzzy Logic

Siegfried Gottwald

469 kr

Fuzzy Theorie und Stochastik

Fuzzy Theorie und Stochastik

Rudolf Seising, Wolfgang Bibel

1 059 kr

Fuzzy-Systems in Computer Science

Fuzzy-Systems in Computer Science

Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Rainer (Eds. Palm, Wolfgang Bibel

729 kr

Data Mining

Data Mining

Thomas A. Runkler

479 kr

Wissensrepräsentation und Inferenz

Wissensrepräsentation und Inferenz

Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub, Wolfgang Bibel

799 kr

Grundlagen zur Neuroinformatik und Neurobiologie

Grundlagen zur Neuroinformatik und Neurobiologie

Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel

1 059 kr

Einführung in Evolutionäre Algorithmen

Einführung in Evolutionäre Algorithmen

Volker Nissen, Wolfgang Bibel

589 kr

Information Mining

Information Mining

Thomas A. Runkler, Wolfgang Bibel

729 kr

Computational Intelligence

Computational Intelligence

Rudolf Kruse, Christian Borgelt, Christian Braune, Frank Klawonn, Christian Moewes, Matthias Steinbrecher

919 kr

Evolutionäre Algorithmen

Evolutionäre Algorithmen

Ingrid Gerdes, Frank Klawonn, Rudolf Kruse

439 kr