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.
FREE Two-Day Shipping for students on millions of items. Learn more |
| |||||||||||||||
Book Description
Editorial Reviews
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?
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
Suppose that one wishes to construct, use, and maintain a body of information describing what is known about the state of the world. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
lazy graph, tuple splitting, same constant interpretations, logical relationship space, same truth valuation, completion axioms, null substitution, cost estimation function, reverse topological sort, satisfiability tester, update equivalence, data atom, history atoms, cardinality counting, truth valuations, history predicates, equality atoms, restrictive semantics, backward pruning, ordinary relational databases, ground updates, update identifiers, most general substitution, wff form, reason maintenance system Key Phrases - Capitalized Phrases (CAPs): (learn more)
Splitting Rule, Lazy Algorithm, Splitting Algorithm, Possible Models Approach, Let Toposort, Under Hegner New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Suppose that one wishes to construct, use, and maintain a body of information describing what is known about the state of the world. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
lazy graph, tuple splitting, same constant interpretations, logical relationship space, same truth valuation, completion axioms, null substitution, cost estimation function, reverse topological sort, satisfiability tester, update equivalence, data atom, history atoms, cardinality counting, truth valuations, history predicates, equality atoms, restrictive semantics, backward pruning, ordinary relational databases, ground updates, update identifiers, most general substitution, wff form, reason maintenance system Key Phrases - Capitalized Phrases (CAPs): (learn more)
Splitting Rule, Lazy Algorithm, Splitting Algorithm, Possible Models Approach, Let Toposort, Under Hegner New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 20
books:
See all 20 books this book cites
56
books
cite this book:
See all 56 books citing this book
- Updating Logical Databases (Cambridge Tracts in Theoretical Computer Science) by Marianne Winslett in Front Matter (1), Front Matter (2), and Back Matter
- Database Systems: Concepts, Languages and Architectures by Paolo Atzeni in Back Matter (1), and Back Matter (2)
- The Varieties of Religious Experience by William James on page 10, and page 141
- Improving Database Usability and Responsiveness by Peter Scheuermann in Back Matter
- Knowledge Representation (Special Issues of Artificial Intelligence) by Hector J. Levesque in Back Matter
See all 20 books this book cites
- Handbook of Defeasible Reasoning and Uncertainty Management by Dov M. Gabbay on page 145, page 230, and page 392
- Belief Revision (Cambridge Tracts in Theoretical Computer Science) by Peter Gärdenfors in Front Matter, and page 203
- Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science) by J.-J. Ch. Meyer in Front Matter, and Back Matter
- ICDT'86: International Conference on Database Theory. Rome, Italy, September 8-10, 1986. Proceedings (Lecture Notes in Computer Science) by Giorgio Ausiello on page 421, and page 434
- Mathematical Theory of Domains (Cambridge Tracts in Theoretical Computer Science) by V. Stoltenberg-Hansen in Front Matter
See all 56 books citing this book
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
So You'd Like to...
Look for Similar Items by Category
- Books > Computers & Technology > Databases
- Books > Computers & Technology > Networking > Network Administration
- Books > Computers & Technology > Programming > Languages & Tools
- Books > Computers & Technology > Programming > Software Design, Testing & Engineering > Object-Oriented Design
- Books > New & Used Textbooks > Computer Science > Database Storage & Design
- Books > New & Used Textbooks > Computer Science > Object-Oriented Software Design
- Books > Science & Math > Mathematics
