Optimizing the Rule-Data Interface in a KMS

No abstract is available for this paper.

• Publication year

  1986

• Venue

  Very Large Data Bases Conference

• Publication date

  1986-08-25

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Automated Theorem Proving

  2014cited by this paper
• Optimization of Nonrecursive Queries

  1986cited by this paper
• From Data Management to Knowledge Management

  1986cited by this paper
• LDL: A Logic-Based Data Language

  1986cited by this paper
• Safety and Compilation of Non-recursive Horn Clauses

  1986cited by this paper
• Naive Evaluation of Recursively Defined Relations

  1986cited by this paper
• The Representation and Deductive Retrieval of Complex Objects

  1985cited by this paper
• Magic sets and other strange ways to implement logic programs (extended abstract)

  1985cited by this paper
• Implementation of logical query languages for databases

  1985cited by this paper
• Logic and Databases: A Deductive Approach

  1984cited by this paper
• On compiling queries in recursive first-order databases

  1984cited by this paper
• An optimizing prolog front-end to a relational query system

  1984cited by this paper
• A Nonclausal Connection-Graph Resolution Theorem-Proving Program

  1982cited by this paper
• Using Active Connection Graphs for Reasoning with Recursive Rules

  1981cited by this paper
• Reasoning with Data in a Deductively Augmented Data Management System

  1979cited by this paper
• Deductive Question-Answering on Relational Data Bases

  1977cited by this paper
• A Deductive Capability for Data Management

  1976cited by this paper
• A Search Technique for Clause Interconnectivity Graphs

  1976cited by this paper
• A Proof Procedure Using Connection Graphs

  1975cited by this paper

• Decomposition Abstraction in Parallel Rule Languages

  1996cites this paper
• The processing strategy for the NF2 relational frc-interface

  1996cites this paper
• THE PROCESSING STRATEGY FOR THE NF 2 RELATIONAL FRC-INTERFACE

  1996cites this paper
• A Framework for Join Pattern Indexing in Intelligent Database Systems

  1995cites this paper
• Rule Management in Expert Database Systems

  1994cites this paper
• Efficient maintenance of rule-derived data through join pattern indexing

  1993cites this paper
• Operation-oriented query language approach for recursive queries - Part 2. Prototype implementation and its integration with relational databases

  1992cites this paper
• Prolog-Based Meta-Rules For Relational Database Representation and Manipulation

  1991cites this paper
• Evaluation of rule processing strategies in expert databases

  1991cites this paper
• Efficient compilation of large rule bases using logical access paths

  1990cites this paper
• The LDL System Prototype

  1990cites this paper
• Knowledge base architecture

  1990cites this paper
• The Intelligent Database Interface: Integrating AI and Database Systems

  1990cites this paper
• An effective representation of complex clauses in a relational database

  1990cites this paper
• The S 63, JC System Prototype

  1990cites this paper
• Extended database logic: Complex objects and deduction

  1990cites this paper
• Intensional Query Processing in Deductive Database Systems.

  1988cites this paper
• LDL-a technology for the realization of tightly coupled expert database systems

  1988cites this paper
• An Effective Method for Storing and Retrieving Prolog Clauses from a Relational Database

  1988cites this paper
• Handling redundancy in the processing of recursive database queries

  1987cites this paper
• An Algebraic Deductive Database Managing a Mass of Rule Clauses

  1987cites this paper
• Optimization of Nonrecursive Queries

  1986cites this paper
• LDL: A Logic-Based Data Language

  1986cites this paper