Hoppa till sidans huvudinnehåll

Del 9

Updating Logical Databases

Häftad, Engelska, 2005

Av Marianne Winslett, Urbana-Champaign) Winslett, Marianne (University of Illinois, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

659 kr

Beställningsvara. Skickas inom 10-15 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 författare

Scientific and Statistical Database Management

Scientific and Statistical Database Management

Marianne Winslett

1 459 kr

Hoppa över listan

Du kanske också är intresserad av

Belief Revision
Del 29

Belief Revision

Peter Gärdenfors, Peter Gärdenfors, Sweden) Gardenfors, Peter (Lunds Universitet, Peter Gardenfors, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 099 kr

The Uncertain Reasoner's Companion
Del 39

The Uncertain Reasoner's Companion

J. B. Paris, J. B. (University of Manchester) Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

829 kr

Extensions of First-Order Logic
Del 19

Extensions of First-Order Logic

Maria Manzano, Maria (Universitat de Barcelona) Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 189 kr

Topology via Logic
Del 5

Topology via Logic

Steven Vickers, London) Vickers, Steven (Imperial College of Science, Technology and Medicine, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

809 kr

Algorithmic Information Theory
Del 1

Algorithmic Information Theory

Gregory. J. Chaitin, Gregory J. Chaitin, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

849 kr

Logic and Computation
Del 2

Logic and Computation

Lawrence C. Paulson, Lawrence C. (University of Cambridge) Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

899 kr

Formal Methods in Artificial Intelligence
Del 6

Formal Methods in Artificial Intelligence

Allan M. Ramsay, Allan M. (University College Dublin) Ramsay, Allan Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

729 kr

Theoretical Foundations of VLSI Design
Del 10

Theoretical Foundations of VLSI Design

K. McEvoy, J. V. Tucker, K. (University of Leeds) McEvoy, Swansea) Tucker, J. V. (University of Wales, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

839 kr

The Optimal Implementation of Functional Programming Languages
Del 45

The Optimal Implementation of Functional Programming Languages

Andrea Asperti, Stefano Guerrini, Italy) Asperti, Andrea (Universita degli Studi, Bologna, Queen Mary University of London) Guerrini, Stefano (Professor, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

1 409 kr

The Logic of Typed Feature Structures
Del 32

The Logic of Typed Feature Structures

Robert L. Carpenter, Pennsylvania) Carpenter, Robert L. (Carnegie Mellon University, Bob Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

799 kr