Most major themes of research in database theory are covered in ICDT '88: the relational model, logic and databases, object-oriented databases, deductive databases, conceptual models, analysis and design of data structures, query languages, concurrency control and updates and transactions.

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.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com