Fri frakt över 249 kr
•
Snabba leveranser
•
Billiga böcker

10% rabatt på allt* med kod JULI10 →

Deduktive Datenbanken

Eine Einführung aus der Sicht der logischen Programmierung

AvArmin B. Cremers,Ulrike Griefahn

Häftad, Tyska, 1993

Del i serien Computational Intelligence

560 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1993-12-01
Mått:170 x 244 x 26 mm
Vikt:821 g
Format:Häftad
Språk:Tyska
Serie:Computational Intelligence
Antal sidor:464
Upplaga:1994
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783528047009

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

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

Yaniv Altshuler, Yuval Elovici, Armin B. Cremers, Nadav Aharony, Alex Pentland - Security and Privacy in Social Networks, Inbunden

Security and Privacy in Social Networks

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

Inbunden, 2012

1 116 kr

Alex Pentland, Nadav Aharony, Armin B. Cremers, Yuval Elovici, Yaniv Altshuler - Security and Privacy in Social Networks, E-bok

Security and Privacy in Social Networks

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

E-bok

2012

1 459 kr

Yaniv Altshuler, Yuval Elovici, Armin B. Cremers, Nadav Aharony, Alex Pentland - Security and Privacy in Social Networks, Häftad

Security and Privacy in Social Networks

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

Häftad, 2014

1 171 kr

Armin B. Cremers, Thomas Christaller, Wolfram Burgard - KI-99: Advances in Artificial Intelligence, E-bok

KI-99: Advances in Artificial Intelligence

Armin B. Cremers, Thomas Christaller, Wolfram Burgard

E-bok

2003

712 kr

Wolfram Burgard, Thomas Christaller, Armin B. Cremers - KI-99: Advances in Artificial Intelligence, Häftad

KI-99: Advances in Artificial Intelligence

Wolfram Burgard, Thomas Christaller, Armin B. Cremers

Häftad, 1999

545 kr

Ralf Hinze, Ulrike Griefahn, Armin B. Cremers - Deduktive Datenbanken, E-bok

Deduktive Datenbanken

Ralf Hinze, Ulrike Griefahn, Armin B. Cremers

E-bok

2013

570 kr

Gerhard Heyer, Armin B. Cremers, Frank Oemig - Wissensbasierte Textverarbeitung: Schriftsatz und Typographie, E-bok

Wissensbasierte Textverarbeitung: Schriftsatz und Typographie

Gerhard Heyer, Armin B. Cremers, Frank Oemig

E-bok

2013

562 kr

Frank Oemig, Armin B. Cremers - Wissensbasierte Textverarbeitung: Schriftsatz Und Typographie: Möglichkeiten Einer Intelligenteren Textverarbeitung, Häftad

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

Frank Oemig, Armin B. Cremers

Häftad, 1991

552 kr

Mer från samma serie

Siegfried Gottwald - Fuzzy Sets and Fuzzy Logic, Häftad

Fuzzy Sets and Fuzzy Logic

Siegfried Gottwald

Häftad, 2012

359 kr

Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel - Grundlagen zur Neuroinformatik und Neurobiologie, Häftad

Grundlagen zur Neuroinformatik und Neurobiologie

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

Häftad, 2012

812 kr

Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel - Fuzzy-Systems in Computer Science, Häftad

Fuzzy-Systems in Computer Science

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

Häftad, 2012

560 kr

Doris Altenkrüger, Winfried Büttner, Wolfgang Bibel - Wissensbasierte Systeme, Häftad

Wissensbasierte Systeme

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

Häftad, 1992

560 kr

Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub, Wolfgang Bibel - Wissensrepräsentation und Inferenz, Häftad

Wissensrepräsentation und Inferenz

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

Häftad, 1993

611 kr

Andreas Scherer, Wolfgang Bibel - Neuronale Netze, Häftad

Neuronale Netze

Andreas Scherer, Wolfgang Bibel

Häftad, 1997

510 kr

Volker Nissen, Wolfgang Bibel - Einführung in Evolutionäre Algorithmen, Häftad

Einführung in Evolutionäre Algorithmen

Volker Nissen, Wolfgang Bibel

Häftad, 1997

460 kr

Frank Höppner, Frank Klawonn, Rudolf Kruse, Wolfgang Bibel - Fuzzy-Clusteranalyse, Häftad

Fuzzy-Clusteranalyse

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

Häftad, 1997

460 kr

Ingrid Gerdes, Frank Klawonn, Rudolf Kruse - Evolutionäre Algorithmen, Häftad

Evolutionäre Algorithmen

Ingrid Gerdes, Frank Klawonn, Rudolf Kruse

Häftad, 2004

339 kr

Jörg Biethahn, Albrecht Hönerloh, Jochen Kuhl, Marie-Claire Leisewitz, Volker Nissen, Martin Tietze - Betriebswirtschaftliche Anwendungen des Soft Computing, Häftad

Betriebswirtschaftliche Anwendungen des Soft Computing

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

Häftad, 1998

510 kr

Du kanske också är intresserad av

Siegfried Gottwald - Fuzzy Sets and Fuzzy Logic, Häftad

Fuzzy Sets and Fuzzy Logic

Siegfried Gottwald

Häftad, 2012

359 kr

Rudolf Seising - Fuzzy Theorie und Stochastik, Häftad

Fuzzy Theorie und Stochastik

Rudolf Seising

Häftad, 1999

812 kr

Matthias Homeister - Quantum Computing verstehen, Häftad

Quantum Computing verstehen

Matthias Homeister

Häftad, 2027

686 kr

Rudolf Kruse, Jörg Gebhardt, Rainer (Eds.) Palm, Wolfgang Bibel - Fuzzy-Systems in Computer Science, Häftad

Fuzzy-Systems in Computer Science

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

Häftad, 2012

560 kr

Thomas A. Runkler - Data Mining, Häftad

Data Mining

Thomas A. Runkler

Häftad, 2015

370 kr

Pallab Dasgupta, P. P. Chakrabarti, S. C. DeSarkar, Wolfgang Bibel - Multiobjective Heuristic Search, Häftad

Multiobjective Heuristic Search

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

Häftad, 1999

561 kr

Wolfgang Bibel, Steffen Hölldobler, Torsten Schaub, Wolfgang Bibel - Wissensrepräsentation und Inferenz, Häftad

Wissensrepräsentation und Inferenz

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

Häftad, 1993

611 kr

Patricia S. Churchland, Terrence J. Sejnowski, Wolfgang Bibel - Grundlagen zur Neuroinformatik und Neurobiologie, Häftad

Grundlagen zur Neuroinformatik und Neurobiologie

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

Häftad, 2012

812 kr

Volker Nissen, Wolfgang Bibel - Einführung in Evolutionäre Algorithmen, Häftad

Einführung in Evolutionäre Algorithmen

Volker Nissen, Wolfgang Bibel

Häftad, 1997

460 kr

Ingrid Gerdes, Frank Klawonn, Rudolf Kruse - Evolutionäre Algorithmen, Häftad

Evolutionäre Algorithmen

Ingrid Gerdes, Frank Klawonn, Rudolf Kruse

Häftad, 2004

339 kr