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