Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science, Series Number 9) by Marianne Winslett (PDF)

Description

This book tackles the problems of update algorithms for databases. How can one construct and maintain a database of facts, capable of incorporating new information and getting rid of all outdated information, and yet in the process not disturb any other information in the database? The author has produced a formal method of specifying the desired change intentionally using a “formula-based” approach to updating needs rather than a “model-based” technique. The complexity of the algorithms, choice of semantics and means of enforcing integrity constraints are also discussed.

User’s Reviews

Editorial Reviews: Review “The book is written in a readable and inspiring style. The motivations for new concepts are well explained.” Urs-Martin KÜnzi, Journal of Symbolic Logic Book Description The book will be of value to all involved in database research.

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐

⭐

Keywords

Free Download Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science, Series Number 9) in PDF format
Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science, Series Number 9) PDF Free Download
Download Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science, Series Number 9) 2005 PDF Free
Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science, Series Number 9) 2005 PDF Free Download
Download Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science, Series Number 9) PDF
Free Download Ebook Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science, Series Number 9)