Skip to main content
SpringerLink
Log in

DDC: A Deductive Database Machine

  • Chapter
Database Machines and Knowledge Base Machines

Part of the book series: The Kluwer International Series in Engineering and Computer Science ((SECS,volume 43))

Abstract

This article presents the “Delta Driven Computer” (DDC) project and describes the design decisions made for its first implementation. DDC is composed of a set interconnected PCM (Processor, Communication Device, Memory) nodes. DDC is a parallel inference computer. For the first implementation we have studied how to efficiently process a deductive data base. In this article, special consideration is given to:

  • the Virtual Inference Machine (VIM) which is based on a production rule language. The unique operation achieved at this abstract level is “saturation”. It is executed with a forward chaining strategy. A special effort has been made to study methods to optimize the execution of VIM programs (Alexander Method);

  • the specific execution model DDEM and the data partitioning method which allow us to achieve full parallelism independently in each node of the machine;

  • DDCL, the language of the machine, which is a small but powerful language and is oriented toward the execution of operations on relations;

  • the internal representation of the data structures and the optimized algorithms which enable us to accelerate the operations on the data base.

This project is under development at the BULL Research Center and is partially supported by ESPRIT-415.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bancilhon F., Ramakrishnan R.: “An amateur’s introduction to Recursive Query Processing Strategies”. Proc. of the ACM SIGACT-SIGMOD Symp. on Princ. of Database Systems 1986.

    Google Scholar 

  2. Barbuti R., Bellia M., Levi G., Martelli M.: “LEAF: A Language which Integrates Logic, Equations and Functions. In Logic Programming: Functions, Relations and Equations, D De Groot and G Linstrom, Eds (Prentice Hall 85).

    Google Scholar 

  3. Beeri C, Ramakrishan R: “On the power of Magic”. ACM PODS 1987.

    Google Scholar 

  4. Boyd D.L., Pizzarello A.: “An Introduction to the WELLMADE design methodology”. IEEE Trans.Soft.Eng, TSE.4,4 Jul.1978, pp276–282.

    Article  Google Scholar 

  5. Bratbergsengen K.: “Hashing Methods and Relational Algebra Operations”. Proceedings of the 1984 Very Large Database Conference. Aug.84.

    Google Scholar 

  6. Bradier A.: “LA-JOIN: Un Algorithme de Jonction en Mémoire et sa Mise en Oeuvre sur le Filtre SCHUSS”. II èrnes Journées Bases de Données Avancées. Giens, Avril. 1986.

    Google Scholar 

  7. Couprie M., Garcia J., Marechal T., Terrai D.: “μSyC: Coprocesseur Microprogrammable pour les Applications Symboliques”. Journées Firftech Systèmes et Télématique. Bases de Données et Intelligence Artificielle. Paris apr.87.

    Google Scholar 

  8. Dasgupta S.: “The Design and Description of Computer Architectures”. Eds. Wiley-Interscicnce, 1984.

    MATH  Google Scholar 

  9. Darlington J., Field A.J., Pull H.: “The Unification of Functional and Logic Languages”. In Logic Programming: Functions, Relations and Equations, D De Groot and G Linstrom, Eds Prentice Hall 85).

    Google Scholar 

  10. DeWitt DJ., Gerber R.H., Graefe G., Heytens M.L., Kumar K.B., Muralikrishna: “ GAMMA- A High Performance Dataflow Database Machine”. Computer Sciences Technical report n°635, University of Wisconsin., Mar 1986.

    Google Scholar 

  11. Feldman J.A.: “High Level Programming for Distributes Computing”. Comm. ACM, vol.22, No.6, 1979

    Google Scholar 

  12. Forgy C.L: “On the Efficient Implementation of Production Systems”. P.H.D at Carnegie-Mellon University Febr.79.

    Google Scholar 

  13. Fribourg L.: “SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting”. Proc. 1985 Symp. on Logic Programming (IEEE Comp. Society Press, 1985)

    Google Scholar 

  14. Gallaire H., Minker J. (eds.): “Logic and Databases”. Plenum, New York 1978.

    Google Scholar 

  15. Gonzalez-Rubio R., Rohmer J., Terral D.: “The SCHUSS Filter: A Processor for Non-Numerical Data Processing”. 11th Annual International Symposium on Computer Architecture. Ann Arbor. 1984.

    Google Scholar 

  16. Gonzalez-Rubio R., Rohmer J.: “From Data Bases to Artificial Intelligence: A Hardward Point of View”. Nato Summer School, Les Arcs 1985.

    Google Scholar 

  17. Gonzalez-Rubio R., Bradier A., Rohmer J.: “DDC Delta Driven Computer. A Parallel Machine for Symbolic Processing”. ESPRIT Summer School on Future Parallel Computers. University of Pisa. June. 1986.

    Google Scholar 

  18. Gonzalez-Rubio R., Rohmcr J., Bradier A.: “An overview of DDC: Delta Driven Computer”. Conference on Parallel Architectures and Languages Europe. Eindhoven, Jun.15–19, 1987.

    Google Scholar 

  19. Kerisit J.M, Lescocur R, Rohmcr J, Roucairol G: “The Alexander Method an efficient way for handling Deduction on Databases. To appear in Programmers Future General Computers eds.Nivat-Fuchi, North Holland.

    Google Scholar 

  20. Kitsuregawa M., Tanaka H., Moto-oka T.: “Application of Hash to Database Machine and its Achitecture”, New Generation Computing, vol.1, No.1, 1983.

    Google Scholar 

  21. Kopetz H., Lohnen F., “High Level Programming of Distributed Computer Control Systems”. Real Time Data 82 Versailles, 1982.

    Google Scholar 

  22. Liskov B.: “Primitives for Distribued Computing”. Proc. of 7th ACM SIGOPS Symp. On Operating System Principles. 1979.

    Google Scholar 

  23. Lohnert F.: “Tutorial on Synchronization and Communication”. ESPRIT project 415 Deliverable Working Group on Architectures and Applications Oct.86.

    Google Scholar 

  24. Lunstrom S. F., Larsen R. L.: “Computer an Information Technology in the Year 2000- A projection”. Computer, September 1985.

    Google Scholar 

  25. Moto-oka T., Stone H. S.: “Fifth Generation Computer Systems: A Japanese Project”. Computer, March 1984.

    Google Scholar 

  26. Pugin J.M.: “BOUM: An Instantiation of the (PS)2 concept”. 5èmes Journées Internationales Systèmes Experts. Avignon 1985.

    Google Scholar 

  27. Pugin J.M.: “VIM Language”. Bull Internal Report 1986.

    Google Scholar 

  28. Rohmer J., Lescoeur R.: “The Alexander Method. A technique for the processing of recursive axioms in deductive databases”. Bull Internal Report 1985.

    Google Scholar 

  29. Rohmer J., Lescocur R., J. M. Kerisit: “The Alexander Method. A technique for the processing of recursive axioms in deductive databases”. New Generation Computing, 4. 1986.

    Google Scholar 

  30. Sagiv Y.: “Optimizing Datalog Programs”. Stanford University 1986.

    Google Scholar 

  31. SUPER “First annual report” Syracuse University. Dec 84.

    Google Scholar 

  32. Ullman J.D.: “Implementation of Logical Query Languages for Databases”. ACM Trans, on Database System 10(3) p289..321 Sept.85.

    Google Scholar 

  33. Verc S.A.: “Relational Production Systems”. Artificial Intelligence 8(Fcbr.77) p47.68.

    Google Scholar 

  34. Voda P., Yu B.: “RF-Maplc: a Logic Programming Language with Functions, Types and Concurrency”. In FGCS’84 (ICOT, 1984)

    Google Scholar 

  35. Waterman D.A, Hayes-Roth F.: “An Overview of Pattern-Directed Inference Systems”. Pattern Directed Inference Systems, D.A Waterman and F. Hayes-Roth. Ed. Academic Press, New York, 1978.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Bull Sa Centre De Recherche, DSG/CRG/DMIA, PC 58 A 13, B.P. N° 3. 68, Route de Versailles, 78430, Louveciennes, France

    R. Gonzalez-Rubio, J. Rohmer, A. Bradier & B. Bergsten

Authors
  1. R. Gonzalez-Rubio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Rohmer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. Bradier
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. B. Bergsten
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Tokyo, Japan

    Masaru Kitsuregawa  & Hidehiko Tanaka  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Kluwer Academic Publishers, Boston

About this chapter

Cite this chapter

Gonzalez-Rubio, R., Rohmer, J., Bradier, A., Bergsten, B. (1988). DDC: A Deductive Database Machine. 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_35

Download citation

  • DOI: https://doi.org/10.1007/978-1-4613-1679-4_35

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4612-8948-7

  • Online ISBN: 978-1-4613-1679-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation