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 BibTeX
Claus Lewerentz, Andy Schürr: GRAS, A Management System for Graph-Like Documents. 19-31 BibTeX
Burkhard Freitag, Olaf Biernath: An Airtravel Expert Database. 32-46 BibTeX

Recursive Queries

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

Transaction Management

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

Prolog-DBMS Coupling

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

Models, Part 1

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

Models, Part 2

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

Storage Management

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

Knowledge Management

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

Theory and Languages 1

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

Parallelism

Haran Boral: Parallelism and Data Management. 362-373 BibTeX
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 BibTeX

Theory and Languages 2

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