Advances in Data Base Theory
Springer-Verlag New York Inc.
978-1-4615-9387-4 (ISBN)
Database Schema design: Cycles and Decomposition.- Towards Designing Acyclic Database Schemes,.- Minimal Coverings of Acyclic Database Schemata,.- Eliminating Cycles in Database Schemas,.- A Decomposition Method for Cyclic Databases,.- Horizontal Decomposition for Handling Exceptions to Functional Dependencies,.- Integrity Constraints.- Compiling Constraint-Checking Programs from First-Order Formulas,.- Applications of Finite Differencing to Database Integrity Control and Query/Transaction-Optimization,.- A Family of Temporal Languages for the Description of Transition Constraints,.- Incomplete Information.- Nonmonotonic Reasoning and Databases,.- On Algebraic Query Processing in Logical Databases,.- Abstract data types for Formal Specifications and Views.- Stepwise Construction of Algebraic Specifications,.- Properties of Views and Their Implementation,.- Query Language Theory.- On the Undecidability of Equivalence Problems for Relational Expressions,.- Name Index.- List of Referees.- Addresses of Contributing Authors.
Erscheint lt. Verlag | 3.2.2012 |
---|---|
Zusatzinfo | 16 Illustrations, black and white; 432 p. 16 illus. |
Verlagsort | New York, NY |
Sprache | englisch |
Maße | 170 x 244 mm |
Themenwelt | Informatik ► Theorie / Studium ► Algorithmen |
Informatik ► Theorie / Studium ► Kryptologie | |
ISBN-10 | 1-4615-9387-5 / 1461593875 |
ISBN-13 | 978-1-4615-9387-4 / 9781461593874 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich