Transactions and Change in Logic Databases

International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 2

By: Burkhard Freitag (Editor), Hendrik Decker (Editor), Michael Kifer (Editor)

Write A Review

Paperback | 1 December 1998

At a Glance

Paperback
412 Pages

Dimensions(cm)
24.13 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Medicine Medicine in General Computing & I.T.Databases Database Software Computer Programming & Software Development Software Engineering Computer Science

Artificial Intelligence

The State of Change: A Survey	p. 1
Specification of Dynamics for Knowledge-Based Systems	p. 37
On Active Deductive Databases: The Statelog Approach	p. 69
Active-U-Datalog: Integrating Active Rules in a Logical Update Language	p. 107
Logical Transactions and Serializability	p. 134
Results on Reasoning about Updates in Transaction Logic	p. 166
The Dynamics of Database Views	p. 197
Inductive Definability and the Situation Calculus	p. 227
Some Notes on Knowledge Assimilation in Deductive Databases	p. 249
Applications of Belief Revision	p. 287
Analysing Rational Properties of Change Operators Based on Forward Chaining	p. 317
A Practical Approach to Hypothetical Database Queries	p. 340
From Extensional to Intensional Knowledge: Inductive Logic Programming Techniques and Their Application to Deductive Databases	p. 356
Author Index	p. 389
Subject Index	p. 391
Table of Contents provided by Blackwell. All Rights Reserved.

Transactions and Change in Logic Databases

International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 2

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Programming & Software Development

Videogame Architecture

Building Virtual Spaces

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

Designing Data-Intensive Applications 2e

The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The Self-taught Programmer

The Definitive Guide to Programming Professionally

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

The Practical Guide

The Practical Guide

The C Programming Language

Prentice Hall Software

MacBook Neo For Dummies

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Python & AI For Dummies

Addiction by Design â" Machine Gambling in Las Vegas

Machine Gambling in Las Vegas

Coding For Kids For Dummies

For Kids for Dummies

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Python All-in-One For Dummies

3rd Edition

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

Fundamentals of Software Architecture, 2nd Edition

A Modern Engineering Approach

Think Python 3e

How To Think Like a Computer Scientist

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

Building Websites All-in-One For Dummies

This product is categorised by