Abstract is missing.
- Towards a new Step of Logic ParadigmKazuhiro Fuchi. 3
- Object Identity and Inheritance in Deductive Databases - an Evolutionary ApproachCarlo Zaniolo. 7-21
- Query Evaluation in Recursive Databases: Bottom-up and Top-down ReconciledFrançois Bry. 25-44
- On Termination of Datalog ProgramsAlexander Brodsky, Yehoshua Sagiv. 47-64
- The Level-Cycle Merging MethodJiawei Han, Lawrence J. Henschen. 65-81
- Distribution of Selections: The Missing Link between Strategies for Relational Databases and Deductive DatabasesNobuyoshi Miyazaki. 83-102
- Combining Deduction by Certainty with the Power of MagicHelmut Schmidt, Nikolaus Steger, Ulrich Güntzer, Werner Kießling, Rüdiger Azone, Rudolf Bayer. 103-122
- On Deductive Query Evaluation in the DedGin* SystemAlexandre Lefebvre, Laurent Vieille. 123-144
- A Theory of Functional Dependencies for Object-Oriented Data ModelsGrant E. Weddell. 165-184
- Object Identity, Equality and Relational ConceptYoshifumi Masunaga. 185-202
- A Formal System for Producing Demons from Rules in an Object-Oriented DatabaseYves Caseau. 203-219
- The Object-Oriented Database System ManifestoMalcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik. 223-240
- Meta Operations for Type Management in Object-Oriented DatabasesLichao Tan, Takuya Katayama. 241-258
- A Tool Kit System for the Synthesis and the Management of Active Media ObjectsYuzuru Tanaka. 259-277
- Object-Oriented Queries: Equivalence and OptimizationGail M. Shaw, Stanley B. Zdonik. 281-295
- On Natural Joins in Object-Oriented DatabasesKatsumi Tanaka, Tae-Soo Chang. 297-311
- Reloop, an Algebra Based Query Language for an Object-Oriented Database SystemSophie Cluet, Claude Delobel, Christophe Lécluse, Philippe Richard. 313-332
- Next Generation Database Management Systems Technology (Panel)Michael L. Brodie, François Bancilhon, Craig Harris, Michael Kifer, Yoshifumi Masunaga, Earl D. Saberdoti, Katsumi Tanaka. 335-346
- Integration of Functions Defined with Rewriting Rules in DatalogStéphane Grumbach. 349-368
- Possible Model Semantics for Disjunctive DatabasesChiaki Sakama. 369-383
- The Well Founded Semantics for Disjunctive Logic ProgramsKenneth A. Ross. 385-402
- Formal Models for Object Oriented DatabasesCatriel Beeri. 405-430
- HILOG: A High-Order Logic Programming Language for Non-1NF Deductive DatabasesQiming Chen, Wesley W. Chu. 431-452
- Towards a Deductive Object-Oriented Database LanguageSerge Abiteboul. 453-472
- Semantics and Evaluation of Rules over Complex ObjectsAndreas Heuer, Peter Sander. 473-492
- Inference Rules in Object Oriented Programminh SystemsLimsoon Wong. 493-509
- Features of the TEDM Object ModelDavid Maier, Jianhua Zhu, Hitomi Ohkawa. 511-530
- Software Process Modeling as a Strategy for KBMS ImplementationMatthias Jarke, Manfred A. Jeusfeld, Thomas Rose. 531-550
- Query Optimization for Database Programming LanguagesPatrick Valduriez, Scott Danforth. 553-571
- Integrating Complex Objects and RecursionHarald Schöning. 573-592
- OOLP: A Translation Approach to Object-Oriented Logic ProgrammingMukesh Dalal, Dipayan Gangopadhyay. 593-606