Petri Net Semantics of Logic Programs and Deductive Databases,

Lingua: inglese

Editore: Verlag Dr. Kovac, Hamburg, 1994

3860641506 / 9783860641507

  • Prima edizione
  • Brossura
  • Nuovo
Visualizza tutti i dettagli

Da: Verlag Dr. Kovac GmbH, Hamburg, GermaniaVerlag Dr. Kovac GmbH

Venditore con 5 stelle

Venditore AbeBooks dal 24 gennaio 2011

Visualizza gli articoli di questo venditore
Brossura

Condizione: Nuovo

EUR 45,90

EUR 17,60 spedizione 
Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

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.

Codice articolo x150

Titolo
Petri Net Semantics of Logic Programs and Deductive Databases,
Autore
Michael Dahr
Editore
Verlag Dr. Kovac, Hamburg
Anno di pubblicazione
1994
Condizione
neu
Rilegatura
Softcover
Lingua
inglese
ISBN 10
3860641506
ISBN 13
9783860641507
Edizione
1. Auflage.

Verlag Dr. Kovac GmbH

Hamburg, Germania

Venditore con 5 stelle

Venditore AbeBooks dal 24 gennaio 2011

Tariffe di spedizione da Germania a U.S.A.

ArticoloDa 16 a 35 giorni lavorativiDa 7 a 14 giorni lavorativi
Primo articoloEUR 17,60EUR 34,35
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

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

Descrizione dello Store

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.

Informazioni sull’azienda del venditore

Verlag Dr. Kovac GmbH

Leverkusenstr. 13
Hamburg, Germania 22761