000			01258nmm a2200181Ia 4500
008			220920s9999||||xx |||||||||||||| ||und||
020			_a9780511663109
082			_a005.74 _bW72U
100			_aWinslett, Marianne. _eAuthor _lEnglish _91843
245		0	_aUpdating Logical Databases _c/ by Marianne Winslett. _h[Electronic Resource]
260			_aCambridge _b: Cambridge University Press, _c1990
300			_ax, 211p.
520			_aThis 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.
650			_aAlgorithmics _915712
650			_aComplexity _915713
856			_uhttps://doi.org/10.1017/CBO9780511663109 _qPDF _yClick to Access the Online Book
942			_cEBK _nYes
999			_c12236 _d12236