Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content

Distributed databases tied with string

  • Technical Papers
  • Conference paper
  • First Online:
Advances in Databases (BNCOD 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 696))

Included in the following conference series:

  • 134 Accesses

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. H. Abelson and G. Sussman. The Structure and Interpretation of Computer Programs. MIT Press, 1985.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. L. M. Brown. Decision table experience on a file maintainance system. In Proceedings of the Decision Tables Symposium, pages 75–80. ACM, 1962.

    Google Scholar 

  4. P. Bunemann and E. Clemons. Efficiently monitoring relational databases. ACM TODS, September 1979.

    Google Scholar 

  5. S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Surveys in Computer Science. Springer Verlag, 1990.

    Google Scholar 

  6. S. Ceri, G. Gottlob, and G. Weiderhold. Efficient database access through Prolog. IEEE Transactions on Software Engineering, February 1989.

    Google Scholar 

  7. K. L. Clark and S. Gregory. Parlog: Parallel programming in logic. ACM TOPLAS, 8:1–49, 1986.

    Article  Google Scholar 

  8. CODASYL Systems Group. Preliminary Specifications for a Decision Table Structured Language, 1962.

    Google Scholar 

  9. D. Cohen, M. M. Huntbach, and G. A. Ringwood. Logical Occam. In P. Kacsuk and M. Wise, editors, Implementations of Distributed Prolog. Wiley, 1992.

    Google Scholar 

  10. D. Cohen and G. A. Ringwood. Stalks reports 1-4 — the first two years. Technical Report 614, QMW Department of Computer Science, August 1992.

    Google Scholar 

  11. E. W. Dijkstra. Cooperating sequential processes. In F. Genuys, editor, Programming Languages, pages 43–112. Academic Press, 1968.

    Google Scholar 

  12. C. Draxler. Accessing Relational and Higher Databases Through Database Set Predicates in Logic Programming Languages. PhD thesis, UniversitÄt Zürich, 1991.

    Google Scholar 

  13. J. Grant and J. Minker. The impact of logic programming on databases. Communications of the ACM, 35(3):66–81, March 1992.

    Article  Google Scholar 

  14. 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.

    Google Scholar 

  15. A. Guttman. R-trees: A dynamic index structure for spatial searching. SIGMOD Record, 14(2):47–57, 1984.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. Interop. The Internet Gopher. ConneXions, July 1992.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. 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.

    Google Scholar 

  22. 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.

    Google Scholar 

  23. R. Lucas. Database Applications using Prolog. Ellis Horwood, 1988.

    Google Scholar 

  24. J. R. Metzner and B. H. Barnes. Decision Table Languages and Systems. Academic Press, 1977.

    Google Scholar 

  25. 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.

    Google Scholar 

  26. M. Minsky. A framework for representing knowledge. In P. H. Winston, editor, The Psychology of Computer Vision. McGraw-Hill, New York, 1975.

    Google Scholar 

  27. M. T. Ozsu and P. Valduriez. Principles of Distributed Database Systems. Prentice-Hall, 1991.

    Google Scholar 

  28. D. S. Parker. Stream data analysis in Prolog. In L. S. Sterling, editor, The Practice of Prolog. MIT Press, 1990.

    Google Scholar 

  29. Quintus Computer Systems Inc. ProDBI Users' Guide and Reference Manual.

    Google Scholar 

  30. G. A. Ringwood. Metalogic machines: a retrospective rationale for the Japanese fifth generation. The Knowledge Engineering Review, 3(3):303–320, 1988.

    Google Scholar 

  31. G. A. Ringwood. A comparative exploration of concurrent logic languages. The Knowledge Engineering Review, 4(4):305–332, 1989.

    Google Scholar 

  32. G. A. Ringwood. Predicates and pixels. New Generation Computing, 7:59–80, 1989.

    Google Scholar 

  33. 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.

    Google Scholar 

  34. K. Ueda. Guarded Horn Clauses. DEng dissertation, University of Tokyo, 1986.

    Google Scholar 

  35. 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.

    Google Scholar 

  36. P. H. Winston. Artificial Intelligence. Addison-Wesley, 1977.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Michael Frederick Worboys Anna Frances Grundy

Rights and permissions

Reprints 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

Publish with us

Policies and ethics