ICDT '88: 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings - Brossura

Brossura

ISBN 10: 3662186136 ISBN 13: 9783662186138

Casa editrice: Springer, 2014

Riassunto

Updates, a new frontier.- Data models and languages for databases.- A theory of atomic transactions.- Improving integrity constraint checking in deductive databases.- On the composition and decomposition of datalog program mappings.- On the semantics of rule-based expert systems with uncertainty.- Efficient consistency control in deductive databases.- Idempotent single-predicate horn clauses.- Hypothetical datalog: Complexity and expressibility.- On using conditional rotation operations to adaptively structure binary search trees.- An O(N2) equivalence algorithm for fan-out free queries.- Two-way join optimization in partitioned database systems.- Deciding whether a production rule is relational computable.- Modeling inheritance and genericity in object oriented-databases.- Semantics of types for database objects.- Towards abstracting complex database objects: Generalization, reduction and unification of set-type objects (extended abstract).- On the complexity of queries in the logical data model.- On domain independent disjunctive databases.- Update in hierarchical data bases.- Parallel update transactions.- Transformation of dynamic integrity constraints into transaction specifications.- View update translation via deduction and annotation.- Conceptual level concurrency control of relational update transactions.- Version consistency and serializability in design databases.- Object-history and spreadsheet p-simulation.- Efficient management of replicated data.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2014
• Lingua: Inglese
• ISBN 10: 3662186136
• ISBN 13: 9783662186138
• Rilegatura: Paperback
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile