ICDT '88

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.