Paper Info
Title
An Algebraic Deductive Database Managing a Mass of Rule Clauses
Abstract
This paper proposes a deductive database which manages a mass of rule-clauses in a disk as well as many fact-clauses in a disk. For this purpose, we propose a variant of relational algebra, Relational Algebra extended with Unification (RAU). Our original point consists in query-processing by RAU in this DBMS. This paper describes a compilation of a query to a RAU’s expression, optimization strategies for it, and an algorithm for a heavy RAU-operator.
Year
DOI
Venue
1987
10.1007/978-1-4613-1679-4_47
IWDM
Field
DocType
Citations 
Query optimization,Horn clause,Algebraic number,Deductive database,Unification,Computer science,Theoretical computer science,Relational algebra
Conference
2
PageRank 
References 
Authors
1.96
10
2
Name
Order
Citations
PageRank
Tadashi Ohmori15647.58
Hidehiko Tanaka21719339.53