Del i serien Computational Intelligence

Deduktive Datenbanken

Eine Einführung aus der Sicht der logischen Programmierung

Häftad, Tyska, 1993

AvArmin B. Cremers,Ulrike Griefahn,Ralf Hinze

719 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.

Mer från samma författare

Security and Privacy in Social Networks

Yaniv Altshuler, Yuval Elovici, Armin B. Cremers, Nadav Aharony, Alex Pentland

Inbunden, 2012

1 439 kr

Security and Privacy in Social Networks

Yaniv Altshuler, Yuval Elovici, Armin B. Cremers, Nadav Aharony, Alex Pentland

Häftad, 2014

1 509 kr

KI-99: Advances in Artificial Intelligence

Wolfram Burgard, Thomas Christaller, Armin B. Cremers

Häftad, 1999

699 kr

Wissensbasierte Textverarbeitung: Schriftsatz Und Typographie: Möglichkeiten Einer Intelligenteren Textverarbeitung

Frank Oemig, Armin B. Cremers

Häftad, 1991

709 kr

Mer från samma serie

Fuzzy Sets and Fuzzy Logic

Siegfried Gottwald

Häftad, 2012

459 kr

Grundlagen zur Neuroinformatik und Neurobiologie

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

Häftad, 2012

1 049 kr

Fuzzy-Systems in Computer Science

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

Häftad, 2012

719 kr

Wissensbasierte Systeme

Doris Altenkrüger, Winfried Büttner, Wolfgang Bibel

Häftad, 1992

719 kr

Wissensrepräsentation und Inferenz

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

Häftad, 1993

789 kr

Neuronale Netze

Andreas Scherer, Wolfgang Bibel

Häftad, 1997

649 kr

Einführung in Evolutionäre Algorithmen

Volker Nissen, Wolfgang Bibel

Häftad, 1997

589 kr

Fuzzy-Clusteranalyse

Frank Höppner, Frank Klawonn, Rudolf Kruse, Wolfgang Bibel

Häftad, 1997

589 kr

Evolutionäre Algorithmen

Ingrid Gerdes, Frank Klawonn, Rudolf Kruse

Häftad, 2004

439 kr

Betriebswirtschaftliche Anwendungen des Soft Computing

Jörg Biethahn, Albrecht Hönerloh, Jochen Kuhl, Marie-Claire Leisewitz, Volker Nissen, Martin Tietze

Häftad, 1998

659 kr

Du kanske också är intresserad av

Fuzzy Sets and Fuzzy Logic

Siegfried Gottwald

Häftad, 2012

459 kr

Fuzzy Theorie und Stochastik

Rudolf Seising

Häftad, 1999

1 049 kr

Quantum Computing verstehen

Matthias Homeister

Häftad, 2026

849 kr

Fuzzy-Systems in Computer Science

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

Häftad, 2012

719 kr

Multiobjective Heuristic Search

Pallab Dasgupta, P. P. Chakrabarti, S. C. DeSarkar, Wolfgang Bibel

Häftad, 1999

719 kr

Data Mining

Thomas A. Runkler

Häftad, 2015

479 kr

Wissensrepräsentation und Inferenz

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

Häftad, 1993

789 kr

Grundlagen zur Neuroinformatik und Neurobiologie

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

Häftad, 2012

1 049 kr

Einführung in Evolutionäre Algorithmen

Volker Nissen, Wolfgang Bibel

Häftad, 1997

589 kr

Evolutionäre Algorithmen

Ingrid Gerdes, Frank Klawonn, Rudolf Kruse

Häftad, 2004

439 kr