ENGLISH

Updating Logical Databases

By Winslett M.

Book information

Publisher
Cambridge University Press
Year
1990
ISBN
0521373719
Language
english
Format
DJVU
Filesize
2 MB (2047783 bytes)
Series
Cambridge Tracts in Theoretical Computer Science 09
Pages
222\222
Library
Kolxo3
DPI
300
Time added
2013-12-29 19:00:00

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

Similar books