Paper Info
Title
A set-oriented inference mechanism for large data-intensive logic-bases
Abstract
Several strategies for processing queries in data-intensive logic bases (deductive databases) have been recently proposed. These strategies can be grouped into the one-tuple-at-a-time and the set-of-tuples-at-a-time classes. A strategy of the first class searches the logic base for one solution to the processed query at any point in time and uses backtracking to find alternative solutions. A strategy of the second class searches the logic base to find all of the solutions to the query simultaneously, thus eliminating the need for backtracking. The modification of Prolog's tuple-at-a-time processing strategy into a set-at-a-time one is investigated. The set-modified version of Prolog has been implemented, and the resulting interpreter has been benchmarked against a classical Prolog one, showing a dramatic improvement in performance
Year
DOI
Venue
1989
10.1109/CMPSAC.1989.65187
COMPSAC
Keywords
Field
DocType
database management systems,inference mechanisms,prolog,backtracking,interpreter,large data-intensive logic-bases,queries,set-oriented inference mechanism,logic,throughput,data structures,hardware,database systems
Data structure,Programming language,Computer science,Inference,Theoretical computer science,Interpreter,Prolog,First class,Throughput,Backtracking
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
1
Name
Order
Citations
PageRank
Qadah, G.Z.15477.84