Proceedings of the Third International Conference on Data and Knowledge Bases

Session 2: Knowledge Based Applications

CALIDA: A Knowledge-Based System for Integrating Multiple Heterogeneous

GRAS, A Management System for Graph-Like Documents

An Air Travel Expert Database

Session 3A: Recursive Queries

Differential Fixpoint Methods and Stratification of Logic Programs

Selection of Processing Strategies for Different Recursive Queries

One-Directional Recursive Formulas

Session 3B: Transaction Management

Transaction Control Mechanism for the Object Cache Interface of R2D2

A Dynamic and Integrated Concurrency Control for Distributed Databases

Supporting Concurrent Access to Facts in Logic Programs

Session 4: Prolog-DBMS Coupling

Design Considerations for a Prolog Database Engine

PROLOG-DBMS Coupling: An Hybrid Approach, Half Interpreted, Half Compiled

A Prolog-Relational DBMS Interface Using Delayed Evaluation

Session 5: Models, Part 1

Active Database Systems

An Execution Model for Active DB Management Systems

Incorporating Data Types in an Extensible Database Architecture

Session 6: Models, Part 2

FUGUE: A Model for Engineering Information Systems and Other Baroque Applications

An Application Program Interface for a Complex Object Database

Modelling CAD Objects by Abstraction

Session 7A: Storage Management

Locally Balanced Compact Trie Hashing

An Effective Method for Storing and Retrieving PROLOG Clauses from a Relational Database

Special Hardware for the Support of File Management and Query Evaluation

Session 7B: Knowledge Managemenet

ARMS: An Assumption-Based Reasoning Tool in a Logic Programming Environment

On Implementation of Production Systems Using DBMS

Operations on Families of Sets for Exhaustive Search, Given a Monotonic Function

Session 8A: Theory and Languages 1

The Connection of Static Constraints with Determinism and Boundedness of Dynamic Specifications

Experience with the Domain Algebra

Embedding Psi-Terms in a Horn-Clause Logic Language

Session 9: Parallelism

Parallelism and Data Management

Two Level Transaction Management in a Multiprocessor Database Machine

Session 10: Theory and Languages 2

Datalog Automata

On Safety, Domain Independence, and Capturability of Database Queries

Non-Deterministic Choice in Datalog