Abstract is missing.
- Treating Programs as Objects: The Computational Proxy ExperienceDavid Maier, Judith Bayard Cushing. 1-12
- Foundations of Aggregation in Deductive DatabasesAllen Van Gelder. 13-34
- The Differential Fixpoint Operator with SubsumptionGerhard Köstler, Werner Kießling, Helmut Thöne, Ulrich Güntzer. 35-48
- Datalog with Non-Deterministic Choice Computes NDB-PTIMELuca Corciulo, Fosca Giannotti, Dino Pedreschi. 49-66
- A Deductive and Object-Oriented Approach to a Complex Scheduling ProblemYves Caseau, Pierre-Yves Guillo, Eric Levenez. 67-80
- On the Logical Foundations of Schema Integration and Evolution in Heterogeneous Database SystemsLaks V. S. Lakshmanan, Fereidoon Sadri, Iyer N. Subramanian. 81-100
- Explaining Program Execution in Deductive SystemsTarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava. 101-119
- A Logic for Rule-Based Query Optimization in Graph-Based Data ModelsNeil Coburn, Grant E. Weddell. 120-145
- Specifying Rule-Based Query Optimizers in a Reflective FrameworkLeonidas Fegaras, David Maier, Tim Sheard. 146-168
- Semantic Query Optimization in Deductive Object-Oriented DatabasesJong P. Yoon, Larry Kerschberg. 169-182
- An Implementation Overview of the Aditi Deductive Database SystemKotagiri Ramamohanarao. 184-203
- Negation and Aggregates in Recursive Rules: the LDL++ ApproachCarlo Zaniolo, Natraj Arni, KayLiang Ong. 204-221
- ISALOG- : A Deductive Language with Negation for Complex-Object Databases with HierarchiesPaolo Atzeni, Luca Cabibbo, Giansalvatore Mecca. 222-235
- On Efficient Reasoning with Implication ConstraintsXubo Zhang, Z. Meral Özsoyoglu. 236-252
- Bottom-Up Query Evaluation with Partially Ordered DefaultsStefan Brass, Udo W. Lipeck. 253-266
- Query ClassesMartin Staudt, Matthias Jarke, Manfred A. Jeusfeld, Hans W. Nissen. 283-295
- Super-Key Classes for Updating Materialized Derived Classes in Object BasesShin ichi Konomi, Tetsuya Furukawa, Yahiko Kambayashi. 310-326
- Beyond Data Dictionaries: Towards a Reflective Architecture of Intelligent Database SystemsRainer Manthey. 328-339
- A Deductive and Typed Object-Oriented LanguageRené Bal, Herman Balsters. 340-359
- Noodle: A Language for Declarative Querying in an Object-Oriented DatabaseInderpal Singh Mumick, Kenneth A. Ross. 360-378
- Tracking Causal Dependencies in an Active Object-Oriented DatabaseDavid Mattox, Kenneth Smith, Stephen C. Y. Lu. 379-394
- Automatic Class and Method Generation for Object-Oriented DatabasesRamez Elmasri, Suresh James, Vram Kouramajian. 395-414
- Modeling Multilevel Entities Using Single Level ObjectsElisa Bertino, Sushil Jajodia. 415-428
- A Model Using Classes as Basic Organization ToolThong wei Koh, Beng Chin Ooi, Yin Seong Ho. 429-443
- Versioning of Objects in Deductive DatabasesF. Nihan Kesim, Marek J. Sergot. 459-472
- A Model for Sets and Multiple Inheritance in Deductive Object-Oriented SystemsGillian Dobbie, Rodney W. Topor. 473-488