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 DatabaseSession 3A: Recursive Queries Differential Fixpoint Methods and Stratification of Logic Programs Selection of Processing Strategies for Different Recursive Queries One-Directional Recursive FormulasSession 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 ProgramsSession 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 EvaluationSession 5: Models, Part 1 Active Database Systems An Execution Model for Active DB Management Systems Incorporating Data Types in an Extensible Database ArchitectureSession 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 AbstractionSession 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 EvaluationSession 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 FunctionSession 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 LanguageSession 9: Parallelism Parallelism and Data Management Two Level Transaction Management in a Multiprocessor Database MachineSession 10: Theory and Languages 2 Datalog Automata On Safety, Domain Independence, and Capturability of Database Queries Non-Deterministic Choice in Datalog