Abstract
This paper gives an overall presentation of the OPALE project. This project aims at designing a database machine oriented toward the execution of PROLOG, considered as data description and data manipulation language.
We present the motivations of the project, and an overview of PROLOG language and of its utilization for data bases. We present two important points in the interpretation of PROLOG for data base machine, the parallel execution and the execution of unification on the fly. We then outline the architecture of the machine.
The machine will be distributed, based on the interconnection of 4 types of specialized processors. Each disk is managed and controlled by a dedicated processor, including a sequential filter. The VLSI integration of the main components of the machine is planned.
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.
References
Haran Boral, David J. De Witt, W. Kevin Wilkinson Performance evaluation of associative disk designs 6th Workshop on comp. arch, for non numeric processing, june 1981
U.S. Chakravarthy, J. Hinker, D. Tran Interfacing predicate logic languages and relationnal databases 1st int logic programming conference, Marseilles, September 1982
J.S. Conery, D.F. Kibler Parallel interpretation of logic programs ACM Conf. on functionnal prog. lang. and Comp. arch. Portsmouth, October 1981.
N. Eisinger, S. Kasif, J. Minker Logic programming: a parallel approach 1st Int. Logic programming conf. Marseilles, September 1982.
H. Gallaire Impacts of logic on data bases VLDB 81
G. Berger Sabbatel, Nguyen G.T. Projet OPALE: Motivations et principes pour une machine bases de donnees PROLOG IMAG. RR. 339. December 1982
R. Kowalski Predicate logic as a programming language. IFIP. 1974
D. Plateau Une structure compacte pour indexer un fichier et son evaluation. Séminaire ADI bases de donnees, Toulouse, november 1982.
J.A. Robinson A machine oriented logic based on the resolution principle JACM 12, 1, december 1965, pp227–234
J. Rohmer Associative filtering by automata: a key operator for data base machines 6th Workshop on comp. arch, for non numeric processing, june 1981
J. Roussel PROLOG: manuel de reference et d1 utilisation Rapport, Groupe d’ intelligence artificielle, Universite d’Aix Marseille II, 1975
David H.D. Warren, L.M. Pereira, F. Pereira PROLOG: the language and its implementation compared with LISP ACM symposium on artificial intelligence an programming language, august 1977
WAR 81] David H.D. Warren Efficient processing of interactive relationnal database queries expressed in logic VLDB 81
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Berger Sabbatel, G., Ianeselli, J.C., Nguyen, G.T. (1983). A Prolog Data Base Machine. In: Leilich, HO., Missikoff, M. (eds) Database Machines. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69419-6_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-69419-6_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12959-2
Online ISBN: 978-3-642-69419-6
eBook Packages: Springer Book Archive