Deductive and Object-Oriented Databases : Third International Conference, DOOD '93, Phoenix, Arizona, USA, December 6-8, 1993. Proceedings. 1st ed. 1993
- 種類:
- 電子ブック
- 責任表示:
- edited by Stefano Ceri, Katsumi Tanaka, Shalom Tsur
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 760
- ISBN:
- 9783540482123 [3540482121]
- 注記:
- Treating programs as objects: The computational proxy experience -- Foundations of aggregation in deductive databases -- The differential fixpoint operator with subsumption -- Datalog with non-deterministic choice computes NDB-PTIME -- A deductive and object-oriented approach to a complex scheduling problem -- On the logical foundations of schema integration and evolution in heterogeneous database systems -- Explaining program execution in deductive systems -- A logic for rule-based query optimization in graph-based data models -- Specifying rule-based query optimizers in a reflective framework -- Semantic query optimization in deductive object-oriented databases -- Research in deductive and object-oriented databases -- An implementation overview of the Aditi deductive database system -- Negation and aggregates in recursive rules: the LDL++ approach -- IsaLog¬: A deductive language with negation for complex-object databases with hierarchies -- On efficient reasoning with implication constraints -- Bottom-up q
This volume contains the proceedings of the Third International Conference on Deductive and Object-Oriented Databases. Its central tenet is that the object-oriented and deductive paradigms for modeling, organizing, and processing data complement each other, rather than competing, and that problems involving massive volumes of complex data can best be solved by integrating the best of both approaches. Central questions in the area are: - How do we design a tool that presents the best of the object-oriented and declarative ideas? - How can the users of this tool express their problems in a combination of declarative and procedural features? The volume includes 29 papers that contribute towards answering these questions. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer-Verlag Berlin Heidelberg | |
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
