ICDT '88 : 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988 : proceedings
Author(s)
Bibliographic Information
ICDT '88 : 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988 : proceedings
(Lecture notes in computer science, 326)
Springer-Verlag, c1988
- : gw
- : us
Available at 60 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||32688040185
Note
Includes bibliographical references
Description and Table of Contents
Description
This volume is the proceedings of the second International Conference on Database Theory (ICDT) held in Bruges, Belgium, August 31 - September 2, 1988. ICDT intends to provide a European forum for the international research community working on theoretical issues related to database and knowledge base systems. The proceedings of this conference contain all invited and accepted papers, which represent the latest results obtained in ongoing research in database theory worldwide. 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.
Table of Contents
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.
by "Nielsen BookData"