1. EDS Conference 1986, Charleston, South Carolina

Keynote Address

• Ronald J. Brachman, Hector J. Levesque: Tales from the Far Side of KRYPTON. 3-43

Object-Oriented Database Systems

• Gia Toan Nguyen: Object Prototypes and database Samples for Expert Database Systems. 47-58
• David Maier, Peter Nordquist, Mark Grossman: Displaying Database Objects. 59-74
• Hiromichi Fujisawa, Atsushi Hatakeyama, Jun'ichi Higashino: A Personal Universal Filing System Based on the Concept-Relation Model. 75-88

Theory of Knowledge Bases

• Andrew S. Cromarty: Control of Processes by Communication over Ports as a Paradigm for Distributed Knowledge-Based System Design. 91-103
• Hervé Kauffmann, Alain Grumbach: Representing and Manipulating Knowledge within "Worlds". 105-117
• V. Wiktor Marek: Completeness and Consistency in Knowledge Base Systems. 119-126

Intelligent Database Interfaces

• Amihai Motro: Extending the Relational Database Model to Support Goal Queries. 129-150
• Giorgio Brajnik, Giovanni Guida, Carlo Tasso: Design and Experimentation of IR-NLI: An Intelligent User Interface to Bibliographic Data Bases. 151-162
• Dennis Shasha: When Does Non-Linear Text Help? 163-174

Knowledge System Architectures

• Michael van Biema, Daniel P. Miranker, Salvatore J. Stolfo: The Do-loop Considered Harmful in Production System Programming. 177-190
• Robert M. Abarbanel, Michael D. Williams: A Relational Representation for Knowledge Bases. 191-206
• Stefano Ceri, Georg Gottlob, Gio Wiederhold: Interfacing Relational Databases and Prolog Efficiently. 207-223

Deductive Databases

• Shamim A. Naqvi: Negative Queries in Horn Databases. 227-236
• Carlo Zaniolo: Safety and Compilation of Non-recursive Horn Clauses. 237-252
• Laurent Vieille: Recursive Axioms in Deductive Databases: The Query/Subquery Approach. 253-267

Reasoning in Expert Database Systems

• Patrick Valduriez, Haran Boral: Evaluation of Recursive Queries Using Join Indices. 271-293
• Yannis E. Ioannidis, Eugene Wong: An Algebraic Approach to Recursive Inference. 295-309
• Arie Zvieli: A Fuzzy Relational Calculus. 311-326

Semantic Query Optimization

• Christopher V. Malley, Stanley B. Zdonik: A Knowledge-Based Approach to Query Optimization. 329-343
• Upen S. Chakravarthy, Jack Minker, John Grant: Semantic Query Optimization: Additional Constraints and Control Strategies. 345-379
• Hendrik Decker: Integrity Enforcement on Deductive Databases. 381-395

Knowledge-Based Modeling and Design

• Michel Pilote: Modeling Linguistic User Interfaces. 399-412
• Stanley Letovsky: How Abstraction Can Reduce Ambiguity In Explanation Problems. 413-421
• Antonio L. Furtado, Marco A. Casanova, Luiz Tucherman: A Framework for Design/Redesign Experts. 423-438
• Michael Prietula, Gary Dickson: Flexible Interfaces and the Support of Physical Database Design Reasoning. 439-452

Knowledge Management

• Mark S. Fox: Beyond The Knowledge Level. 455-463
• Michael Stonebraker, Timos K. Sellis, Eric N. Hanson: An Analysis of Rule Indexing Implementations in Data Base Systems. 465-476
• Laurence Cholvy, Robert Demolombe: Querying a Rule Base. 477-485
• Andreas Weber: Updating Propositional Formulas. 487-500