Updating Logical Databases by Marianne Winslett
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 for 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 a means of enforcing integrity constraints are also discussed. The book will be of value to all involved in database research.
"The book is written in a readable and inspiring styleThe motivations for new concepts are well explained." Urs-Martin KÜnzi, Journal of Symbolic Logic
| SKU | Unavailable |
| ISBN 13 | 9780521373715 |
| ISBN 10 | 0521373719 |
| Title | Updating Logical Databases |
| Author | Marianne Winslett |
| Series | Cambridge Tracts In Theoretical Computer Science |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Cambridge University Press |
| Year published | 1990-10-26 |
| Number of pages | 221 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |