Updating Logical Databases: 9 (Cambridge Tracts in Theoretical Computer Science, Series Number 9) - Softcover
Book 38 of 40: Cambridge Tracts in Theoretical Computer Science
Synopsis
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.
"synopsis" may belong to another edition of this title.
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
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?
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Updating Logical Databases: 9 (Cambridge Tracts in...
Stock Image
Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science, Series Number 9)
Published by
Cambridge University Press, 2005
ISBN 10: 0521619726
ISBN 13: 9780521619721
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9780521619721
Stock Image
Updating Logical Databases
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 211 pages. 9.25x7.50x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __0521619726
Buy New
£ 42.46
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science, Series Number 9)
Published by
Cambridge University Press, 2005
ISBN 10: 0521619726
ISBN 13: 9780521619721
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521619721_new
Buy New
£ 42.61
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Updating Logical Databases: 9 (Cambridge Tracts in Theoretical Computer Science, Series Number 9)
Published by
Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521619726
ISBN 13: 9780521619721
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9780521619721
Buy New
£ 41.50
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Updating Logical Databases
Published by
Cambridge University Press, 2005
ISBN 10: 0521619726
ISBN 13: 9780521619721
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521619721
Buy New
£ 46.10
£ 15.15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Updating Logical Databases
Published by
Cambridge University Press CUP, 2005
ISBN 10: 0521619726
ISBN 13: 9780521619721
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 224. Seller Inventory # 26520456
Stock Image
Updating Logical Databases
Published by
Cambridge University Press, 2005
ISBN 10: 0521619726
ISBN 13: 9780521619721
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 224 Illus. Seller Inventory # 7360215
Buy New
£ 63.76
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Updating Logical Databases
Published by
Cambridge University Press, 2005
ISBN 10: 0521619726
ISBN 13: 9780521619721
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 224 Acknowledgements. Seller Inventory # 18520450
Stock Image
Updating Logical Databases (Paperback)
Published by
Cambridge University Press, Cambridge, 2005
ISBN 10: 0521619726
ISBN 13: 9780521619721
New
Paperback
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: new. Paperback. 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. 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? This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780521619721
Buy New
£ 48.99
£ 37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Updating Logical Databases: 9 (Cambridge Tracts in Theoretical Computer Science, Series Number 9)
Published by
Cambridge University Press, 2005
ISBN 10: 0521619726
ISBN 13: 9780521619721
New
Softcover
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. The book will be of value to all involved in database research. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 224 pages, black & white illustrations. BIC Classification: UN. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 12. Weight in Grams: 410. . 2008. Illustrated. paperback. . . . . Books ship from the US and Ireland. Seller Inventory # V9780521619721