Petri Net Semantics of Logic Programs and Deductive Databases,

Language: English

Published by Verlag Dr. Kovac, Hamburg, 1994

3860641506 / 9783860641507

  • First Edition
  • Softcover
  • New
See all details

Seller: Verlag Dr. Kovac GmbH, Hamburg, GermanyVerlag Dr. Kovac GmbH

5-star seller

AbeBooks seller since January 24, 2011

View this seller's items
Softcover

Condition: New

£ 40.63

£ 15.12 shipping 
Ships from Germany to U.S.A.

Quantity: 5 available

Add to basket
Free 30-day returns

Item description from seller

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.

Seller Inventory # x150

Bibliographic details

Title
Petri Net Semantics of Logic Programs and Deductive Databases,
Author
Michael Dahr
Publisher
Verlag Dr. Kovac, Hamburg
Publication year
1994
Condition
neu
Binding
Softcover
Language
English
ISBN 10
3860641506
ISBN 13
9783860641507
Edition
1. Auflage.

Verlag Dr. Kovac GmbH

Hamburg, Germany

5-star seller

AbeBooks seller since January 24, 2011

Shipping rates from Germany to U.S.A.

Item16 to 35 business days7 to 14 business days
First item£ 15.12£ 29.52
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

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

Store description

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.

Seller's business information

Verlag Dr. Kovac GmbH

Leverkusenstr. 13
Hamburg, Germany 22761