Advertisement

An overview of DDC: Delta driven computer

  • R. Gonzalez-Rubio
  • J. Rohmer
  • A. Bradier
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 258)

Abstract

In this paper we present an overview of the DDC "Delta Driven Computer" and the state of this research project at the end of 1986.

DDC is a parallel inference computer, composed by a set of PCM (Processor, Communication Device, Memory) nodes interconnected. It is currently under design at BULL Research Center.

From a conceptual point of view, DDC executes a language based on production rules, called VIM Virtual Inference Machine. This execution is made following the forward chaining strategy. Given a set of rules and a set of initial facts, the only mode of operation of the machine is the saturation (all conclusions are found).

VIM is an intermediate language; so, part of the project is the study of how to translate from a high level language to this intermediate language. The high level languages which we are thinking about are declarative ones (i.e. Logic Programming or Functional Programming).

The execution of VIM is possible by the DDEM Delta Driven Execution Model. The parallelism in the machine is achieved by distributing the facts among PCM nodes and by firing rules independently in each processor.

One goal of this project is to have a first prototype (including both hardware and software) at the end of 1987, so we try to prove that the parallelism handled by the model/machine has a valuable rate cost/performance.

Keywords

Hash Function Logic Program Logic Programming Functional Programming High Level Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6 References

  1. [Bra 86]
    Bradier A.: "LA-JOIN: Un Algorithme de Jonction en Mémoire et sa Mise en Oeuvre sur le Filtre SCHUSS. II èmes Journées Bases de Données Avancées. Giens, Avril. 1986.Google Scholar
  2. [Gon 84]
    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
  3. [Gon 85]
    Gonzalez-Rubio R., Rohmer J.: "From Data Bases to Artificial Intelligence: A Hardward Point of View". Nato Summer School, Les Arcs 1985.Google Scholar
  4. [Gon 86]
    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
  5. [Ker 86]
    Kerisit J. M.: "Preuve de la Méthode d'Alexandre par une approche algébrique", BULL Rapport Interne, Mai 1986.Google Scholar
  6. [Lun 85]
    Lunstrom S. F., Larsen R. L.: "Computer an Information Technology in the Year 2000-A projection". Computer, September 1985.Google Scholar
  7. [Mot 84]
    Moto-oka T., Stone H. S.: "Fifth Generation Computer Systems: A Japanese Project". Computer, March 1984.Google Scholar
  8. [Pug 85]
    Pugin J.M.: "BOUM: An Instantiation of the (PS)2 concept". 5èmes Journées Internationales Systèmes Experts. Avignon 1985.Google Scholar
  9. [Pug 86]
    Pugin J.M.: "VIM Language". Bull Internal Report 1986.Google Scholar
  10. [Roh 85]
    Rohmer J., Lescoeur R.: "The Alexander Method. A technique for the processing of recursive axioms in deductive databases". Bull Internal Report 1985.Google Scholar
  11. [Roh 86]
    Rohmer J., Lescoeur 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • R. Gonzalez-Rubio
    • 1
  • J. Rohmer
    • 1
  • A. Bradier
    • 1
  1. 1.Bull sa Centre de Recherche DSG/CRG/DMIA-PC 58 A 13LouveciennesFrance

Personalised recommendations