Proceedings of the Third International Conference on Data and Knowledge Bases

Proceedings of the Third International Conference on Data and Knowledge Bases

Improving Usability and Responsiveness

1st Edition - January 1, 1988

Write a review

  • Editors: C. Beeri, J. W. Schmidt, U. Dayal
  • eBook ISBN: 9781483226569

Purchase options

Purchase options
DRM-free (PDF)
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order


Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness compiles papers presented at the Third International Conference on Data and Knowledge Bases held in Jerusalem, Israel on June 28-30, 1988. This book discusses the management system for graph-like documents, selection of processing strategies for different recursive queries, and supporting concurrent access to facts in logic programs. The design considerations for a Prolog database engine, experience with the domain algebra, and two level transaction management in a multiprocessor database machine are also described. This publication likewise covers the non-deterministic choice in Datalog and locally balanced compact Trie Hashing. This compilation is a good source for researchers and specialists of disciplines related to computer science.

Table of Contents

  • 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

Product details

  • No. of pages: 432
  • Language: English
  • Copyright: © Morgan Kaufmann 1988
  • Published: January 1, 1988
  • Imprint: Morgan Kaufmann
  • eBook ISBN: 9781483226569

About the Editors

C. Beeri

J. W. Schmidt

U. Dayal

Ratings and Reviews

Write a review

There are currently no reviews for "Proceedings of the Third International Conference on Data and Knowledge Bases"