Del 9 i serien Cambridge Tracts in Theoretical Computer Science
Updating Logical Databases
Häftad, Engelska, 2005
849 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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.
Produktinformation
- Utgivningsdatum2005-02-17
- Mått187 x 245 x 12 mm
- Vikt410 g
- FormatHäftad
- SpråkEngelska
- SerieCambridge Tracts in Theoretical Computer Science
- Antal sidor224
- FörlagCambridge University Press
- ISBN9780521619721
Tillhör följande kategorier
Hoppa över listan
Mer från samma serie
Del 27
Del 23
Nets, Terms and Formulas
E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 019 kr
Del 34
Two-Level Functional Languages
Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen
Häftad, 2005
1 149 kr
Del 19
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 509 kr
Del 40
Del 32
The Logic of Typed Feature Structures
Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 019 kr
Del 28
Del 39
The Uncertain Reasoner's Companion
J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2006
1 069 kr
Del 3
Del 42
Hoppa över listan
Du kanske också är intresserad av
Del 23
Nets, Terms and Formulas
E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 019 kr
Del 39
The Uncertain Reasoner's Companion
J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2006
1 069 kr
Del 19
Extensions of First-Order Logic
Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 509 kr
Del 5
Topology via Logic
Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 1996
1 119 kr
Del 1
Algorithmic Information Theory
Gregory. J. Chaitin, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2004
1 149 kr
Del 2
Logic and Computation
Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 1990
979 kr
Del 6
Formal Methods in Artificial Intelligence
Allan M. Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 1991
789 kr
Del 45
The Optimal Implementation of Functional Programming Languages
Andrea Asperti, Stefano Guerrini, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Inbunden, 1998
1 809 kr
Del 32
The Logic of Typed Feature Structures
Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky
Häftad, 2005
1 019 kr