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

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

Petri Net Semantics of Logic Programs and Deductive Databases,

Editore

Verlag Dr. Kovac, Hamburg

Data di pubblicazione

1994

Lingua

Inglese

ISBN 10

3860641506

ISBN 13

9783860641507

Rilegatura

Softcover

Edizione

1. Auflage.

Condizione

neu

Cataloghi dei venditori

Descrizione libreria

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.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Verlag Dr. Kovac GmbH
Leverkusenstr. 13, Hamburg, 22761, Germany

Condizioni di vendita e spedizione

Condizioni di vendita

R�ckgabebelehrung

R�ckgaberecht
Sie k�nnen die erhaltene Ware ohne Angabe von Gr�nden innerhalb
von 14 Tagen durch R�cksendung der Ware zur�ckgeben. Die Frist
beginnt nach Erhalt dieser Belehrung in Textform (z. B. als
Brief, Fax, E-Mail), jedoch nicht vor Eingang der Ware beim
Empf�nger (bei der wiederkehrenden Lieferung gleichartiger Waren
nicht vor Eingang der ersten Teillieferung) und auch nicht vor
Erf�llung unserer Informationspflichten gem�� Artikel 246 � 2 in
Verbindung mit � 1 Absatz 1 ...

Ulteriori informazioni

Diritto di recesso

Condizioni di spedizione

Die Versandkostenpauschalen basieren auf Sendungen mit einem durchschnittlichen Gewicht. Falls das von Ihnen bestellte Buch besonders schwer oder sperrig sein sollte, werden wir Sie informieren, falls zus�tzliche Versandkosten anfallen.

Tariffe di spedizione da Germania a Italia

Tariffe di spedizione da Germania a Italia
Quantit� dell?ordine	Da 8 a 14 giorni lavorativi	Da 2 a 4 giorni lavorativi
Primo articolo	EUR 5.50	EUR 9.00

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.

Informazioni dettagliate sul venditore