3. JCDKB 1988: Jerusalem, Israel

Catriel Beeri, Joachim W. Schmidt, Umeshwar Dayal (Eds.): Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, June 28-30, 1988, Jerusalem, Israel. Morgan Kaufmann, 1988, ISBN 0-93413-95-8

Knowledge Based Applications

Gabriel Jakobson, Gregory Piatetsky-Shapiro, Carol Lafond, M. Rajinikanth, J. Hernandez: CALIDA: A System for Integrated Retrieval from Multiple Heterogeneous Databases. 3-18
Claus Lewerentz, Andy Schürr: GRAS, A Management System for Graph-Like Documents. 19-31
Burkhard Freitag, Olaf Biernath: An Airtravel Expert Database. 32-46

Recursive Queries

Domenico Saccà, Carlo Zaniolo: Differential Fixpoint Methods and Stratification of Logic Programs. 49-58
Jiawei Han: Selection of Processing Strategies for Different Recursive Queries. 59-68
Cheong Youn, Lawrence J. Henschen, Jiawei Han: One-Directional Recursive Formulas. 69-78

Transaction Management

Martin Dürr, Alfons Kemper: Transaction Control Mechanism for the Object Cache Interface of R²D². 81-89
Jean-François Pons, Jean-François Vilarem: A Dynamic and Integrated Concurrency Control for Distributed Databases. 90-101
Ulf Schreier, Hartmut Wedekind: Supporting Concurrent Acces to Facts in Logic Programs. 102-108

Prolog-DBMS Coupling

Kam-Fai Wong, M. Howard Williams: Design Considerations for a Prolog Database Engine. 111-120
Li Lei, Georges-Henri Moll, Jacques Kouloumdjian: Prolog-DBMS Coupling: A Hybrid Approach, Half interpreted, Half Compiled. 121-134
Frédéric Cuppens, Robert Demolombe: A Prolog-Relational DBMS Interface Using Delayed Evaluation. 135-148

Models, Part 1

Umeshwar Dayal: Active Database Management Systems. 150-169
Meichun Hsu, Rivka Ladin, Dennis R. McCarthy: An Execution Model for Active Data Base Management Systems. 171-179
Paul F. Wilms, Peter M. Schwarz, Hans-Jörg Schek, Laura M. Haas: Incorporating Data Types in an Extensible Database Architecture. 180-192

Models, Part 2

Sandra Heiler, Stanley B. Zdonik: FUGUE: A Model for Engineering Information Systems and Other Baroque Applications. 195-210
R. Erbe, Norbert Südkamp: An Application Program Interface for a Complex Object Database. 211-226
Thomas Berkel, Peter Klahold, Gunter Schlageter, Wolfgang Wilkes: Modelling CAD-Objects by Abstraction. 227-240

Storage Management

Ekow J. Otoo: Locally Balanced Compact Trie Hashing. 242-254
Kurt Rothermel: An Effective Method for Storing and Retrieving Prolog Clauses from a Relational Database. 255-268
Hans Diel, Helmut Weber, Jürgen Kreyßig, Hans Christoph Zeidler: Special Hardware for the Support of File Management and Query Functions. 269-280

Knowledge Management

Prasanta K. Bose: ARMS: An Assumption-Based Reasoning Tool in a Logic Programming Environment. 282-290
Arie Tzvieli: On the Coupling of a Production System Shell and a DBMS. 291-309
Stanislaw Romanski: Operations on Families of Sets for Exhaustive Search, Given a Monotonic Function. 310-322

Theory and Languages 1

Serge Abiteboul, Victor Vianu: The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications. 324-334
T. H. Merrett: Experience with the Domain Algebra. 335-346
Catriel Beeri, Roger Nasr, Shalom Tsur: Embedding Psi-Terms in a Horn-Clause Logic Language. 347-359

Parallelism

Haran Boral: Parallelism and Data Management. 362-373
Günter von Bültzingsloewen, Cirano Iochpe, Rolf-Peter Liedtke, Klaus R. Dittrich, Peter C. Lockemann: Two-Level Transaction Management In A Multiprocessor Database Machine. 374-386

Theory and Languages 2

Bernard Lang: Datalog Automata. 389-404
Michael Kifer: On Safety, Domain Independence, and Capturability of Database Queries (Preliminary Report). 405-415
Ravi Krishnamurthy, Shamim A. Naqvi: Non-Deterministic Choice in Datalog. 416-424