Petri Net Semantics of Logic Programs and Deductive Databases,

Sprache: Englisch

Verlag: Verlag Dr. Kovac, Hamburg, 1994

3860641506 / 9783860641507

  • Erstausgabe
  • Softcover
  • Neu
Alle Details anzeigen

Anbieter: Verlag Dr. Kovac GmbH, Hamburg, DeutschlandVerlag Dr. Kovac GmbH

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 24. Januar 2011

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Neu

EUR 45,90

EUR 17,60 Versand 
Versand von Deutschland nach USA

Anzahl: 5 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Forschungsergebnisse zur Informatik, Band 13 140 pages. Joining ideas from database theory and logic programming leads to the theory of deductive databases. In addition to the data stored in a database (extensional facts), a deductive database stores rule based knowledge concerning parts of the real world which are modeled by the system. A deductive database management system (DDBMS) consists of two parts: 1) An arbitrary database management system and 2) a deduction mechanism that uses extensional as well as intensional facts and rules for deducing new data (intensional facts). Since rules can be seen as a declarative (programming, query) language, one of the main serious problems arising from logic programming and deductive databases is to find a (constructive) semantics which coincides with the user's intuitive meaning of the rules. The aim of this work is to introduce a Petri net semantics for logic programs and deductive databases which is more constructive than any currently known semantics. Logic programs and deductive databases are transformed into a Petri net class whose elements are called, according to their dynamical behaviour, fixpoint nets. The problems of non-monotonic reasoning are expressed by means of generalized conflict situations in fixpoint nets. The semantics of a logic program or a deductive database is defined by means of logical consequences of a set of (possibly three-valued) models, which can be generated from the saturated marking of the program's Petri net representation. It is shown that for stratified normal programs and for positive disjunctive programs the Petri net semantics coincides with the perfect model semantics and the Minker/Rajasekar semantics respectively.

Bestandsnummer des Verkäufers x150

Titel
Petri Net Semantics of Logic Programs and Deductive Databases,
Autor
Michael Dahr
Verlag
Verlag Dr. Kovac, Hamburg
Veröffentlichungsjahr
1994
Zustand
neu
Einband
Softcover
Sprache
Englisch
ISBN-10
3860641506
ISBN-13
9783860641507
Ausgabe
1. Auflage.

Verlag Dr. Kovac GmbH

Hamburg, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 24. Januar 2011

Versandkosten von Deutschland nach USA

Artikel16 bis 35 Werktage7 bis 14 Werktage
Erster ArtikelEUR 17,60EUR 34,35
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Shop-Beschreibung

Der Wissenschaftsverlag Dr. Kovač wurde 1982 gegründet und ist ein Fachverlag für wissenschaftliche Literatur. Seit mehr als 40 Jahren verlegen Wissenschaftler/innen aus unterschiedlichsten Fachbereichen bei uns. Das Gros der mehr als 12.400 Forscher/innen, die wir verlegen, stammt von Universitäten im deutschsprachigen Raum.

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Verlag Dr. Kovac GmbH

Leverkusenstr. 13
Hamburg, Deutschland 22761