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

739 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 479 kr

Security and Privacy in Social Networks

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

Häftad, 2014

1 549 kr

KI-99: Advances in Artificial Intelligence

Wolfram Burgard, Thomas Christaller, Armin B. Cremers

Häftad, 1999

719 kr

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

Frank Oemig, Armin B. Cremers

Häftad, 1991

729 kr

Mer från samma serie

Fuzzy Sets and Fuzzy Logic

Siegfried Gottwald

Häftad, 2012

479 kr

Grundlagen zur Neuroinformatik und Neurobiologie

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

Häftad, 2012

1 079 kr

Fuzzy-Systems in Computer Science

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

Häftad, 2012

739 kr

Wissensbasierte Systeme

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

Häftad, 1992

739 kr

Wissensrepräsentation und Inferenz

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

Häftad, 1993

809 kr

Neuronale Netze

Andreas Scherer, Wolfgang Bibel

Häftad, 1997

679 kr

Einführung in Evolutionäre Algorithmen

Volker Nissen, Wolfgang Bibel

Häftad, 1997

609 kr

Fuzzy-Clusteranalyse

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

Häftad, 1997

609 kr

Evolutionäre Algorithmen

Ingrid Gerdes, Frank Klawonn, Rudolf Kruse

Häftad, 2004

449 kr

Betriebswirtschaftliche Anwendungen des Soft Computing

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

Häftad, 1998

679 kr

Du kanske också är intresserad av

Security and Privacy in Social Networks

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

Inbunden, 2012

1 479 kr

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

Frank Oemig, Armin B. Cremers

Häftad, 1991

729 kr

Implementation and Application of Functional Languages

Ralf Hinze

Häftad, 2013

689 kr

KI-99: Advances in Artificial Intelligence

Wolfram Burgard, Thomas Christaller, Armin B. Cremers

Häftad, 1999

719 kr

Security and Privacy in Social Networks

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

Häftad, 2014

1 549 kr

Del 9129

Mathematics of Program Construction

Ralf Hinze, Janis Voigtländer

Häftad, 2015

719 kr

Datatype-Generic Programming

Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring

Häftad, 2007

749 kr

Introducing String Diagrams

Ralf Hinze, Dan Marsden

Inbunden, 2023

829 kr

Fuzzy Sets and Fuzzy Logic

Siegfried Gottwald

Häftad, 2012

479 kr

Fuzzy Theorie und Stochastik

Rudolf Seising

Häftad, 1999

1 079 kr

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

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