Abstract
This paper describes work in progress at Queen Mary and Westfield College on integrating heterogeneous distributed knowledgebases. It advocates the use of concurrent logic programming languages for rapid prototyping distributed database management systems. Concurrent logic languages are identified as generalised decision table languages. As an archetype, the paper describes a stream based interface, StrIng, between the commercial distributed implementation of the concurrent logic programming language STRAND 88 and the commercial relational database Ingres.
Funding for this work was provided by SERC grant:GR/G 39167
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
H. Abelson and G. Sussman. The Structure and Interpretation of Computer Programs. MIT Press, 1985.
M. M. Astrahan, M. W. Blasgen, D. D. Chamberlin, K. P. Eswaran, J. N. Gray, P. P. Griffiths, W. F. King, R. A. Lorie, P. R. McJones, J. W. Mehl, G. R. Putzolu, I. L. Traiger, B. W. Wade, and V. Watson. System R: Relational approach to Database Management. ACM TODS, 1(2):97–137, June 1976.
L. M. Brown. Decision table experience on a file maintainance system. In Proceedings of the Decision Tables Symposium, pages 75–80. ACM, 1962.
P. Bunemann and E. Clemons. Efficiently monitoring relational databases. ACM TODS, September 1979.
S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Surveys in Computer Science. Springer Verlag, 1990.
S. Ceri, G. Gottlob, and G. Weiderhold. Efficient database access through Prolog. IEEE Transactions on Software Engineering, February 1989.
K. L. Clark and S. Gregory. Parlog: Parallel programming in logic. ACM TOPLAS, 8:1–49, 1986.
CODASYL Systems Group. Preliminary Specifications for a Decision Table Structured Language, 1962.
D. Cohen, M. M. Huntbach, and G. A. Ringwood. Logical Occam. In P. Kacsuk and M. Wise, editors, Implementations of Distributed Prolog. Wiley, 1992.
D. Cohen and G. A. Ringwood. Stalks reports 1-4 — the first two years. Technical Report 614, QMW Department of Computer Science, August 1992.
E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages, pages 43–112. Academic Press, 1968.
C. Draxler. Accessing Relational and Higher Databases Through Database Set Predicates in Logic Programming Languages. PhD thesis, UniversitÄt Zürich, 1991.
J. Grant and J. Minker. The impact of logic programming on databases. Communications of the ACM, 35(3):66–81, March 1992.
D. Gudeman, K. De Bosschere, and S. K. Debray. jc: An efficient and portable sequential implementation of janus. In K. Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 399–413, Washington, USA, 1992. The MIT Press.
A. Guttman. R-trees: A dynamic index structure for spatial searching. SIGMOD Record, 14(2):47–57, 1984.
D. I. Howells, N. J. Fiddian, and W. A. Gray. A source-to-source meta-translation system for database query languages — implementation in Prolog. In P. M. D. Gray and R. J. Lucas, editors, Prolog and Databases. Ellis Horwood, 1988.
Interop. The Internet Gopher. ConneXions, July 1992.
T. Irving. A generalized interface between Prolog and relational databases. In P. M. D. Gray and R. J. Lucas, editors, Prolog and Databases. Ellis Horwood, 1988.
B. Kahle. An information system for corporate users: Wide Area Information Servers. Technical Report TMC-199, Thinking Machines, April 1991. Available via anonymous ftp: /pub/wais/doc/wais-corp.txt@quake.think.com Also in ONLINE Magazine, August 1991.
T. Kazic, E. Lusk, R. Olson, R. Overbeek, and S. Tuecke. Prototyping databases in Prolog. In L. S. Sterling, editor, The Practice of Prolog. MIT Press, 1990.
R.-M. Kung, E. Hanson, Y. Ioannidis, T. Sellis, L. Shapiro, and M. Stonebraker. Heuristic search in database systems. In L. Kerschberg, editor, Expert Database Systems. Benjamin/Cummings, 1984. Proceedings of the 1st International Workshop on Expert Database Systems, Kiowah, SC, October 1984.
P. J. Landin. A correspondence betweeen Algol 60 and Church's Lambda-Notation, Parts i and ii. Communications of the ACM, 8(2 and 3), 1965.
R. Lucas. Database Applications using Prolog. Ellis Horwood, 1988.
J. R. Metzner and B. H. Barnes. Decision Table Languages and Systems. Academic Press, 1977.
C. Mierowsky, S. Taylor, E. Shapiro, J. Levy, and M. Safra. The design and implementation of Flat Concurrent Prolog. Technical Report CS85-09, Weizmann Institute, 1985.
M. Minsky. A framework for representing knowledge. In P. H. Winston, editor, The Psychology of Computer Vision. McGraw-Hill, New York, 1975.
M. T. Ozsu and P. Valduriez. Principles of Distributed Database Systems. Prentice-Hall, 1991.
D. S. Parker. Stream data analysis in Prolog. In L. S. Sterling, editor, The Practice of Prolog. MIT Press, 1990.
Quintus Computer Systems Inc. ProDBI Users' Guide and Reference Manual.
G. A. Ringwood. Metalogic machines: a retrospective rationale for the Japanese fifth generation. The Knowledge Engineering Review, 3(3):303–320, 1988.
G. A. Ringwood. A comparative exploration of concurrent logic languages. The Knowledge Engineering Review, 4(4):305–332, 1989.
G. A. Ringwood. Predicates and pixels. New Generation Computing, 7:59–80, 1989.
D. C. Tsichritzis and A. Klug. The ANSI/X3/SPARC DBMS framework report of the study group on database management systems. Information Systems, 1:173–191, 1978.
K. Ueda. Guarded Horn Clauses. DEng dissertation, University of Tokyo, 1986.
R. Venken and A. Mulkers. The interaction between BIM-Prolog and relational databases. In P. M. D. Gray and R. J. Lucas, editors, Prolog and Databases. Ellis Horwood, 1988.
P. H. Winston. Artificial Intelligence. Addison-Wesley, 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cohen, D., Ringwood, G. (1993). Distributed databases tied with string. In: Worboys, M.F., Grundy, A.F. (eds) Advances in Databases. BNCOD 1993. Lecture Notes in Computer Science, vol 696. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56921-9_5
Download citation
DOI: https://doi.org/10.1007/3-540-56921-9_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56921-3
Online ISBN: 978-3-540-47785-3
eBook Packages: Springer Book Archive