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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. Bocca. On the Evaluation Strategy of EDUCE. In Proc. of ACM-SIGMOD International Conference on Management of Data’86, pages 368–378, 1986.
K. Bowen. AMALGAMATING LANGUAGE AND METALANGUAGE IN LOGIC PROGRAMMING. Technical Report, Syracuse University, June 1981.
S. Ceri, G. Gottlob, and L. Lavazza. Translation and optimization of logic queries: the algebraic approach. In Proc. of the 12th Conference on Very Large Data Base, pages 395–402, 1986.
A.V. Gelder. A Message Passing Framework for Logical Query Evaluation. In Proc. of ACM-SIGMOD International Conference on Management of Data’86, pages 155–165, 1986.
H. Gallaire and J. Minker, editors. LOGIC AND DATABASES. Plenum press, 1978.
C. Kellog, A.O’. Hare, and L. Travis. Optimizing the Rule-Data Interface in a KBMS. In Proc. of the 12th Conference on Very Large Data Base, pages 42–51, 1986.
M. Kifer and E.L. Lozinskii. A Framework for an Efficient Implementation of Deductive Databases. In Proc. of the 6th Advanced Database Symposium, pages 109–116, Information Processing Society of Japan, 1986.
J. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1984.
N. Miyazaki. Compiling Horn Clause Queries in Deductive Databases: A Horn Clause Transformation Approach. Technical Report 183, ICOT, 1986.
Y. Morita, H. Yokota, K. Nishida, and I. Itoh. Retrieval-By-Unification Operation in a Relational Knowledge Base. In Proc. of the 12th Conference on Very Large Data Base, pages 52–59, 1986.
T. Ohmori. An Algebraic Approach to Deductive Database system for managing a large amount of procedural knowledge. Master’s thesis, The University of Tokyo, 1987.
R. Reiter. Deductive Question-Answering on Relational Data Bases. In [GM78], pages 149–177, 1978.
T.K. Sellis. GROBAL QUERY OPTIMIZATION. In Proc. of ACM-SIGMOD International Conference on Management of Data’86, pages 191–205, 1986.
J. Ullman. Principles of Data Base Systems. Computer Science Press, 1982.
J. Ullman. Implementation of Logical Query Languages for Databases. ACM Transaction on Database Systems, vol.10(No.3):pp.289–321, 1985.
H. Yokota and H. Itoh. A Model and an Architecture for a Relational Knowledge Base. In Proc. of the 13th International Symposium on Computer Architecture, pages 2–9, 1986.
H. Yokota, K. Sakai, and H. Itoh. Deductive Database System based on Unit Resolution. In Proc. of the 2nd International Conference on Data Engineering, 1986.
C. Zaniolo. The Representation and Deductive Retrieval of Complex Objects. In Proc. of the 11th Conference on Very Large Data Base, pages 458–469, 1985.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Kluwer Academic Publishers, Boston
About this chapter
Cite this chapter
Ohmori, T., Tanaka, H. (1988). An Algebraic Deductive Database Managing a Mass of Rule Clauses. In: Kitsuregawa, M., Tanaka, H. (eds) Database Machines and Knowledge Base Machines. The Kluwer International Series in Engineering and Computer Science, vol 43. Springer, Boston, MA. https://doi.org/10.1007/978-1-4613-1679-4_47
Download citation
DOI: https://doi.org/10.1007/978-1-4613-1679-4_47
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4612-8948-7
Online ISBN: 978-1-4613-1679-4
eBook Packages: Springer Book Archive