• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Databaser

    Updating Logical Databases

    AvMarianne Winslett,C. J. Van Rijsbergen

    Häftad, Engelska, 2005

    Del 9 i serien Cambridge Tracts in Theoretical Computer Science

    546 kr

    Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

    Beskrivning

    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

    • Utgivningsdatum:2005-02-17
    • Mått:187 x 245 x 12 mm
    • Vikt:410 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Cambridge Tracts in Theoretical Computer Science
    • Antal sidor:224
    • Förlag:Cambridge University Press
    • ISBN:9780521619721

    Utforska kategorier

    • Databaser inom Data och IT

    Recensioner i media

    "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

    Innehållsförteckning

    • Acknowledgments; 1. Introduction; 2. Classes of update semantics; 3. Model-based semantics for updates; 4. Update algorithms for model-based semantics; 5. Updates with variables; 6. Lazy evolution of updates; 7. Integrity constraints; 8. Adding knowledge to relational theories; 9. Implementation; Bibliography; Index of definitions.
    Hoppa över listan

    Mer från samma författare

    Marianne Winslett - Scientific and Statistical Database Management, Häftad

    Scientific and Statistical Database Management

    Marianne Winslett

    Häftad, 2009

    1 110 kr

    Marianne Winslett - Scientific and Statistical Database Management, E-bok

    Scientific and Statistical Database Management

    Marianne Winslett

    E-bok
    2009

    1 455 kr

    Hoppa över listan

    Mer från samma serie

    Wim H. Hesselink, C. J. van Rijsbergen - Programs, Recursion and Unbounded Choice, Häftad
    Del 27

    Programs, Recursion and Unbounded Choice

    Wim H. Hesselink, C. J. van Rijsbergen

    Häftad, 2005

    657 kr

    E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Nets, Terms and Formulas, Häftad
    Del 23

    Nets, Terms and Formulas

    E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

    Häftad, 2005

    657 kr

    Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen - Two-Level Functional Languages, Häftad
    Del 34

    Two-Level Functional Languages

    Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen

    Häftad, 2005

    739 kr

    Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Extensions of First-Order Logic, Häftad
    Del 19

    Extensions of First-Order Logic

    Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

    Häftad, 2005

    973 kr

    Jorg Desel, Javier Esparza, C. J. van Rijsbergen - Free Choice Petri Nets, Häftad
    Del 40

    Free Choice Petri Nets

    Jorg Desel, Javier Esparza, C. J. van Rijsbergen

    Häftad, 2005

    584 kr

    Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Logic of Typed Feature Structures, Häftad
    Del 32

    The Logic of Typed Feature Structures

    Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

    Häftad, 2005

    657 kr

    Peter Padawitz, C. J. van Rijsbergen - Deductive and Declarative Programming, Häftad
    Del 28

    Deductive and Declarative Programming

    Peter Padawitz, C. J. van Rijsbergen

    Häftad, 2006

    657 kr

    J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Uncertain Reasoner's Companion, Häftad
    Del 39

    The Uncertain Reasoner's Companion

    J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

    Häftad, 2006

    684 kr

    J. M. Spivey - Understanding Z, Häftad
    Del 3

    Understanding Z

    J. M. Spivey

    Häftad, 2008

    509 kr

    J. Roger Hindley - Basic Simple Type Theory, Häftad
    Del 42

    Basic Simple Type Theory

    J. Roger Hindley

    Häftad, 2008

    520 kr

    Hoppa över listan

    Du kanske också är intresserad av

    E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Nets, Terms and Formulas, Häftad
    Del 23

    Nets, Terms and Formulas

    E. -R. Olderog, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

    Häftad, 2005

    657 kr

    J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Uncertain Reasoner's Companion, Häftad
    Del 39

    The Uncertain Reasoner's Companion

    J. B. Paris, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

    Häftad, 2006

    684 kr

    Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Extensions of First-Order Logic, Häftad
    Del 19

    Extensions of First-Order Logic

    Maria Manzano, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

    Häftad, 2005

    973 kr

    Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Topology via Logic, Häftad
    Del 5

    Topology via Logic

    Steven Vickers, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

    Häftad, 1996

    687 kr

    Gregory. J. Chaitin, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Algorithmic Information Theory, Häftad
    Del 1

    Algorithmic Information Theory

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

    Häftad, 2004

    707 kr

    Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Logic and Computation, Häftad
    Del 2

    Logic and Computation

    Lawrence C. Paulson, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

    Häftad, 1990

    745 kr

    Allan M. Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - Formal Methods in Artificial Intelligence, Häftad
    Del 6

    Formal Methods in Artificial Intelligence

    Allan M. Ramsay, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

    Häftad, 1991

    601 kr

    Andrea Asperti, Stefano Guerrini, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Optimal Implementation of Functional Programming Languages, Inbunden
    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 171 kr

    Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky - The Logic of Typed Feature Structures, Häftad
    Del 32

    The Logic of Typed Feature Structures

    Robert L. Carpenter, C. J. Van Rijsbergen, C. J. van Rijsbergen, Samson Abramsky

    Häftad, 2005

    657 kr

    Marianne Winslett - Scientific and Statistical Database Management, E-bok

    Scientific and Statistical Database Management

    Marianne Winslett

    E-bok
    2009

    1 455 kr