Proceedings of the Third International Conference on Data and Knowledge Bases. Improving Usability and Responsiveness

Content: 
Front Matter, Page ifc1
Copyright, Page ifc2
FOREWORD, Pages i-ii, C. Beeri, U. Dayal, J.W. Schmidt
PROGRAM COMMITTEE, Page iii
REVIEWERS, Page iii
Author Index, Page iv
CALIDA: A System for Integrated Retrieval from Multiple Heterogeneous Databases, Pages 3-18, G. Jakobson, G. Piatetsky-Shapiro, C. Lafond, M. Rajinikanth, J. Hernandez
GRAS, A MANAGEMENT SYSTEM FOR GRAPH-LIKE DOCUMENTS, Pages 19-31, Claus Lewerentz, Andy Schürr
AN AIRTRAVEL EXPERT DATABASE, Pages 32-46, B. Freitag, O. Biernath
Differential Fixpoint Methods and Stratification of Logic Programs, Pages 49-58, Domenico Saccà, Carlo Zaniolo
Selection of Processing Strategies for Different Recursive Queries, Pages 59-68, Jiawei Han
ONE-DIRECTIONAL RECURSIVE FORMULAS, Pages 69-78, Cheong Youn, Lawrence J. Henschen, Jiawei Han
Transaction Control Mechanism for the Object Cache Interface of R2D2, Pages 81-89, Martin Dürr, Alfons Kemper
A dynamic and integrated concurrency control for distributed databases, Pages 90-101, J.F. Pons, J.F. Vilarem
Supporting Concurrent Access to Facts in Logic Programs, Pages 102-108, U. Schreier, H. Wedekind
Design Considerations for a Prolog Database Engine, Pages 111-120, K.F. Wong, M.H. Williams
PROLOG-DBMS COUPLING: a hybrid approach, half interpreted, half compiled, Pages 121-134, Li Lei, Georges-Henri Moll, Jacques Kouloumdjian
A PROLOG-Relational DBMS interface using delayed evaluation, Pages 135-148, F. Cuppens, R. Demolombe
ACTIVE DATABASE MANAGEMENT SYSTEMS, Pages 150-169, Umeshwar Dayal
AN EXECUTION MODEL FOR ACTIVE DATA BASE MANAGEMENT SYSTEMS, Pages 171-179, Meichun Hsu, Rivka Ladin, Dennis R. McCarthy
INCORPORATING DATA TYPES IN AN EXTENSIBLE DATABASE ARCHITECTURE, Pages 180-192, P.F. Wilms, P.M. Schwarz, H.-J. Schek, L.M. Haas
FUGUE: a Model for Engineering Information Systems and Other Baroque Applications, Pages 195-210, Sandra Heiler, Stanley B. Zdonik
An Application Program Interface for a Complex Object Database, Pages 211-226, R. Erbe, N. Südkamp
Modelling CAD-Objects by Abstraction, Pages 227-240, T. Berkel, P. Klahold, G. Schlageter, W. Wilkes
Locally Balanced Compact Trie Hashing, Pages 242-254, Ekow J. Otoo
An Effective Method for Storing and Retrieving PROLOG Clauses from a Relational Database, Pages 255-268, Kurt Rothermel
SPECIAL HARDWARE FOR THE SUPPORT OF FILE MANAGEMENT AND QUERY FUNCTIONS, Pages 269-280, Hans Diet, Helmut Weber, Jürgen Kreyßig, Horst Schukat, Hans Christoph Zeidler
ARMS: An Assumption-Based Reasoning Tool in a Logic Programming Environment, Pages 282-290, Prasanta K. Bose
ON THE COUPLING OF A PRODUCTION SYSTEM SHELL AND A DBMS, Pages 291-309, Arie Tzvieli
Operations on Families of Sets for Exhaustive Search, Given a Monotonic Function, Pages 310-322, Stanislaw Romański
THE CONNECTION OF STATIC CONSTRAINTS WITH DETERMINISM AND BOUNDEDNESS OF DYNAMIC SPECIFICATIONS, Pages 324-334, Serge Abiteboul, Victor Vianu
EXPERIENCE WITH THE DOMAIN ALGEBRA, Pages 335-346, T.H. Merrett
Embedding ψ-terms in a Horn-clause Logic Language, Pages 347-359, Catriel Beeri, Roger Nasr, Shalom Tsur
PARALLELISM AND DATA MANAGEMENT, Pages 362-373, Haran Boral
Two-Level Transaction Management In A Multiprocessor Database Machine, Pages 374-386, Günter von Bültzingsloewen, Cirano Iochpe, Rolf-Peter Liedtke, Klaus R. Dittrich, Peter C. Lockemann
Datalog Automata Extended Abstract, Pages 389-404, Bernard LANG
ON SAFETY, DOMAIN INDEPENDENCE, AND CAPTURABILITY OF DATABASE QUERIES (Preliminary Report), Pages 405-415, MICHAEL KIFER
Non-Deterministic Choice in Datalog, Pages 416-424, Ravi Krishnamurthy, Shamim Naqvi