9780521619721: Updating Logical Databases

Synopsis

The book will be of value to all involved in database research.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Revue de presse

"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

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9780521373715: Updating Logical Databases

Edition présentée

ISBN 10 :  0521373719 ISBN 13 :  9780521373715
Editeur : Cambridge University Press, 1990
Couverture rigide