Journal of Logic Programming
On compiling queries in recursive first-order databases
Journal of the ACM (JACM)
Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
Operational characteristics of a harware-based pattern matcher
ACM Transactions on Database Systems (TODS)
Search strategy and selection function for an inferential relational system
ACM Transactions on Database Systems (TODS)
A Proof Procedure Using Connection Graphs
Journal of the ACM (JACM)
Bidirectional Heuristic Search Again
Journal of the ACM (JACM)
Communicating sequential processes
Communications of the ACM
State-space problem-reduction, and theorem proving—some relationships
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
Performing inferences over relation data bases
SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Principles of Database Systems
Principles of Database Systems
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Hardware sorter and its application to data base machine
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Handling redundancy in the processing of recursive database queries
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs
IEEE Transactions on Software Engineering
SYGRAF: Implementing Logic Programs in a Database Style
IEEE Transactions on Software Engineering
An interpreter for large knowledge bases
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
On compile-time query optimization in deductive databases by means of static filtering
ACM Transactions on Database Systems (TODS)
Logic Approaches for Deductive Databases
IEEE Expert: Intelligent Systems and Their Applications
Modelling Non Deterministic Queries and Updates in Deductive Databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
| Hi-index | 0.00 |
Recently developed inferential database systems face some common problems: a very fast growth of search space and difficulties in recognizing inference termination (especially for recursive axioms). These shortcomings stem mainly from the fact that the inference process is usually separated from database operations. A problem-oriented inferential system i8 described which refers to the database prior to query (or subquery) processing, so that the inference from the very beginning is directed by data relevant to the query. A multiprocessor implementation of the system is presented based on a computer network conforming to database relations and axioms. The system provides an efficient indication of query termination, and is complete in the sense that it produces all correct answers to a query in a finite time.