Transactions and Change in Logic Databases

Transactions and Change in Logic Databases
Author :
Publisher : Springer Science & Business Media
Total Pages : 412
Release :
ISBN-10 : 3540653058
ISBN-13 : 9783540653059
Rating : 4/5 (58 Downloads)

Book Synopsis Transactions and Change in Logic Databases by : Burkhard Freitag

Download or read book Transactions and Change in Logic Databases written by Burkhard Freitag and published by Springer Science & Business Media. This book was released on 1998-10-28 with total page 412 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming. The technical papers presenting original research results were carefully reviewed and selected for inclusion in the present book, together with several survey articles summarizing the state of the art in the area. Thus, the book is the ultimate reference for anybody interested in the theory and application of deductive databases and logic programming.


Transactions and Change in Logic Databases Related Books

Transactions and Change in Logic Databases
Language: en
Pages: 412
Authors: Burkhard Freitag
Categories: Computers
Type: BOOK - Published: 1998-10-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic progr
Logic Programming and Nonmonotonic Reasoning
Language: en
Pages: 465
Authors: Chitta Baral
Categories: Computers
Type: BOOK - Published: 2005-08-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005, held in Diamante
Logical Foundations for Cognitive Agents
Language: en
Pages: 419
Authors: Hector J. Levesque
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

It is a pleasure and an honor to be able to present this collection of papers to Ray Reiter on the occasion of his 60th birthday. To say that Ray's research has
On the Move to Meaningful Internet Systems 2003
Language: en
Pages: 1565
Authors: R. Meersman
Categories: Computers
Type: BOOK - Published: 2003-10-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the joint refereed proceedings of the three confederated conferences, CoopIS 2003, DOA 2003, and ODBASE 2003, held in Catania, Sicily, Ita
Formal Methods in Databases and Software Engineering
Language: en
Pages: 201
Authors: V.S. Alagar
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information syste