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

Orders over $89.00 qualify for free shipping.

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

Python Crash Course

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

Real-Time Intelligence with Microsoft Fabric

Empowering Data-Driven Decisions in the Era of AI

Foundations of High Performance Computing

A Comprehensive Guide to Systems, Concepts, and Programming

Mobile and Ubiquitous Systems: Computing, Networking and Services

22nd EAI International Conference, MobiQuitous 2025, Shanghai, China, November 7-9, 2025, Proceedings, Part I

Building Trustworthy Agentic AI Systems

Reliable Multi-Agent Systems with Java and Akka

Building Trustworthy Agentic AI Systems

Reliable Multi-Agent Systems with Java and Akka

Python All-in-One For Dummies

3rd Edition

Web Engineering

Theory and Practice

The Essence of Software Engineering

Introduction to Programming Languages

Swift

The Practical Guide

Windows 11 For Seniors For Dummies, 2nd Edition

For Dummies (Computer/Tech)

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Make: Electronics

Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast

Large Language Models - The Hard Part

Open Source AI Solutions for Common Pitfalls

Arduino For Dummies

For Dummies (Computer/Tech)

Microsoft 365 Excel VBA Programming For Dummies

For Dummies (Computer/Tech)

Learning Go

An Idiomatic Approach to Real-World Go Programming

The C Programming Language

Prentice Hall Software

Design Patterns

Elements of Reusable Object-Oriented Software

Fundamentals of Python

3rd Edition - First Programs

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Coding For Kids For Dummies

For Kids for Dummies

This product is categorised by