<電子ブック>
ICDT '88 : 2nd International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988. Proceedings / edited by Marc Gyssens, Jan Paredaens, Dirk Van Gucht
(Lecture Notes in Computer Science. ISSN:16113349 ; 326)
版 | 1st ed. 1988. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1988 |
本文言語 | 英語 |
大きさ | VIII, 412 p : online resource |
著者標目 | Gyssens, Marc editor Paredaens, Jan editor Van Gucht, Dirk editor SpringerLink (Online service) |
件 名 | LCSH:Data structures (Computer science) LCSH:Information theory LCSH:Computer science LCSH:Database management FREE:Data Structures and Information Theory FREE:Computer Science FREE:Database Management FREE:Models of Computation |
一般注記 | 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 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 HTTP:URL=https://doi.org/10.1007/3-540-50171-1 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540459439 |
|
電子リソース |
|
EB00224756 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA76.9.D35 LCC:Q350-390 DC23:005.73 DC23:003.54 |
書誌ID | 4001088565 |
ISBN | 9783540459439 |