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.

N� de ref. del art�culo x150

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Petri Net Semantics of Logic Programs and Deductive Databases,

Editor

Verlag Dr. Kovac, Hamburg

Fecha de publicaci�n

1994

Idioma

Ingl�s

ISBN 10

3860641506

ISBN 13

9783860641507

Encuadernaci�n

Softcover

Edici�n

1. Auflage.

Estado

neu

Cat�logos de vendedores

Descripci�n de la librer�a

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.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

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

Condiciones de venta y env�o

Condiciones de venta

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 ...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

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.

Tarifas de env�o de Alemania a Espa�a

Tarifas de env�o de Alemania a Espa�a
Cantidad del pedido	De 8 a 21 d�as h�biles	De 8 a 14 d�as h�biles
Primer art�culo	EUR 6.00	EUR 25.95

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.

Informaci�n detallada sobre el vendedor