Download Deduktive Datenbanken: Eine Einführung aus der Sicht der by Armin B. Cremers, Ulrike Griefahn, Ralf Hinze, Rudolf Kruse, PDF

By Armin B. Cremers, Ulrike Griefahn, Ralf Hinze, Rudolf Kruse, Wolfgang Bibel

Das Leitmotiv dieses Buches ist die Verwendung von Logik als Datenbanksprache. Zunächst werden die Grundlagen der logischen Programmierung erarbeitet und ein spezielles Grundmodell deduktiver Datenbanken definiert. Es folgt die schrittweise Erweiterung dieses Grundmodells um Datenbankkonzepte wie Anfrageauswertung, Integritätsprüfung und Änderungsbearbeitung. Anschließend werden Typ- und Modussysteme diskutiert. Das Buch schließt mit einem praktischen Teil, in dem die prototypische Realisierung des vorgestellten deduktiven Datenbanksystems in Prolog erörtert wird.

Show description

Read or Download Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung PDF

Best german_5 books

Rechnergestützter Entwurf hochintegrierter MOS-Schaltungen

Dieses Buch enthält die notwendigen Grundlagen für das Verständnis und den Entwurf hochintegrierter MOS-Schaltungen. Obwohl der rechnerunterstützte Entwurf dabei im Vordergrund steht, werden die notwendigen physikalischen und elektrotechnischen Grundbegriffe nicht vernachlässigt. Auch wird die Herstellung integrierter Schaltungen kurz angesprochen, da ein gewisses produktionstechnisches Verständnis für den Entwurf notwendig ist.

Mathematik für Physiker: Grundkurs

Bei unseren Mathematikvorlesungen für Physiker stellten wir immer wieder fest, daß es zwar eine Fülle vorzüglicher Einzeldarstellungen der verschiedenen ma­ thematischen Teilgebiete gibt, daß aber eine auf naturwissenschaftliche Frage­ stellungen zugeschnittene Zusammenfassung bisher fehlte. Mit diesem ersten Band einer geplanten dreibändigen Gesamtdarstellung wollen wir dem Physiker eine integrierte Darstellung der für ihn wichtigsten mathema­ tischen Grundlagen, wie sie üblicherweise im Grundstudium behandelt werden, an die Hand geben.

Finanzwirtschaft des Unternehmens und Kapitalmarkt

Das Buch vermittelt einen ? berblick ? ber die moderne Kapitalmarkttheorie und verdeutlicht deren Bedeutung f? r unternehmerische Entscheidungen im Investitions- und Finanzierungsbereich. Auch die Zusammenh? nge zwischen Finanzwirtschaft und Rechnungswesen des Unternehmens werden ausf? hrlich er? rtert .

Extra resources for Deduktive Datenbanken: Eine Einführung aus der Sicht der logischen Programmierung

Example text

65535}. Obwohl dieser Weg in den meisten Datenbanksystemen eingeschlagen wird, wählen wir eine Darstellung, die es ermöglicht, alle natürlichen Zahlen zu repräsentieren. Die Darstellung geht auf die Axiomatisierung der natürlichen Zahlen durch G. Peano zurück. : ~uccessor) einer natürlichen Zahl wiederum eine natürliche Zahl ist. Mit Hilfe der Sorte nat können wir eine geeignete Darstellung für das Datum finden, das wir für die Fälligkeit von Rechnungen benötigen. sort date = {date(nat,nat,nat)} Die Menge II umfaßt die folgenden Prädikatensymbole.

Formeln werden darüber hinaus verwendet, um Integritätsbedingungen, Sichten und Programme zu definieren. In dieser einheitlichen Vorgehensweise ist eine der Stärken des logischen Datenmodells zu sehen. Wir verwenden im Gegensatz zu den meisten in der Literatur beschriebenen Ansätzen eine mehrsortige Logik, da sich Sorten gut eignen, um die in relationalen Datenbanken üblichen Bereichsbeschränkungen zu formulieren. Das Kapitel gliedert sich in drei Teile. 1 die Syntax der Prädikatenlogik erster Stufe vorgestellt.

Wein Modell hat. 6 2. W heißt unerfüllbar (inkonsistent, widerspruchsvoll) gdw. W kein Modell hat. 5 Die Umbenennung von Variablen ist technisch komplizierter, als man auf den ersten Blick vermuten möchte. Da die durch einen Quantor gebundene Variable in der quantifizierten Formel frei auftritt, kann man sich auf die Umbenennung freier Variablen beschränken. Dabei muß man dafür sorgen, daß gleichnamige, aber gebundene Variablen nicht umbenannt werden und daß eine in einer Teilformel freie Variable nicht durch einen inneren Quantor gebunden wird.

Download PDF sample

Rated 4.70 of 5 – based on 48 votes