{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:20:36Z","timestamp":1725614436764},"publisher-location":"Boston, MA","reference-count":35,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781461289487"},{"type":"electronic","value":"9781461316794"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/978-1-4613-1679-4_35","type":"book-chapter","created":{"date-parts":[[2011,9,28]],"date-time":"2011-09-28T02:55:39Z","timestamp":1317178539000},"page":"489-502","source":"Crossref","is-referenced-by-count":1,"title":["DDC: A Deductive Database Machine"],"prefix":"10.1007","author":[{"given":"R.","family":"Gonzalez-Rubio","sequence":"first","affiliation":[]},{"given":"J.","family":"Rohmer","sequence":"additional","affiliation":[]},{"given":"A.","family":"Bradier","sequence":"additional","affiliation":[]},{"given":"B.","family":"Bergsten","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","volume-title":"An amateur\u2019s introduction to Recursive Query Processing Strategies","author":"F Bancilhon","year":"1986","unstructured":"Bancilhon F., Ramakrishnan R.: \u201cAn amateur\u2019s introduction to Recursive Query Processing Strategies\u201d. Proc. of the ACM SIGACT-SIGMOD Symp. on Princ. of Database Systems 1986."},{"key":"35_CR2","unstructured":"Barbuti R., Bellia M., Levi G., Martelli M.: \u201cLEAF: 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)."},{"key":"35_CR3","volume-title":"On the power of Magic","author":"C Beeri","year":"1987","unstructured":"Beeri C, Ramakrishan R: \u201cOn the power of Magic\u201d. ACM PODS 1987."},{"key":"35_CR4","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1109\/TSE.1978.231512","volume":"4","author":"DL Boyd","year":"1978","unstructured":"Boyd D.L., Pizzarello A.: \u201cAn Introduction to the WELLMADE design methodology\u201d. IEEE Trans.Soft.Eng, TSE.4,4 Jul.1978, pp276\u2013282.","journal-title":"IEEE Trans.Soft.Eng"},{"key":"35_CR5","unstructured":"Bratbergsengen K.: \u201cHashing Methods and Relational Algebra Operations\u201d. Proceedings of the 1984 Very Large Database Conference. Aug.84."},{"key":"35_CR6","volume-title":"LA-JOIN:Un Algorithme de Jonction en M\u00e9moire et sa Mise en Oeuvre sur le Filtre SCHUSS","author":"A Bradier","year":"1986","unstructured":"Bradier A.: \u201cLA-JOIN: Un Algorithme de Jonction en M\u00e9moire et sa Mise en Oeuvre sur le Filtre SCHUSS\u201d. II \u00e8rnes Journ\u00e9es Bases de Donn\u00e9es Avanc\u00e9es. Giens, Avril. 1986."},{"key":"35_CR7","unstructured":"Couprie M., Garcia J., Marechal T., Terrai D.: \u201c\u03bcSyC: Coprocesseur Microprogrammable pour les Applications Symboliques\u201d. Journ\u00e9es Firftech Syst\u00e8mes et T\u00e9l\u00e9matique. Bases de Donn\u00e9es et Intelligence Artificielle. Paris apr.87."},{"key":"35_CR8","volume-title":"The Design and Description of Computer Architectures","author":"S Dasgupta","year":"1984","unstructured":"Dasgupta S.: \u201cThe Design and Description of Computer Architectures\u201d. Eds. Wiley-Interscicnce, 1984."},{"key":"35_CR9","unstructured":"Darlington J., Field A.J., Pull H.: \u201cThe Unification of Functional and Logic Languages\u201d. In Logic Programming: Functions, Relations and Equations, D De Groot and G Linstrom, Eds Prentice Hall 85)."},{"key":"35_CR10","series-title":"Computer Sciences Technical report n\u00b0635","volume-title":"GAMMA- A High Performance Dataflow Database Machine","author":"DJ DeWitt","year":"1986","unstructured":"DeWitt DJ., Gerber R.H., Graefe G., Heytens M.L., Kumar K.B., Muralikrishna: \u201c GAMMA- A High Performance Dataflow Database Machine\u201d. Computer Sciences Technical report n\u00b0635, University of Wisconsin., Mar 1986."},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Feldman J.A.: \u201cHigh Level Programming for Distributes Computing\u201d. Comm. ACM, vol.22, No.6, 1979","DOI":"10.1145\/359114.359127"},{"key":"35_CR12","unstructured":"Forgy C.L: \u201cOn the Efficient Implementation of Production Systems\u201d. P.H.D at Carnegie-Mellon University Febr.79."},{"key":"35_CR13","volume-title":"SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting","author":"L Fribourg","year":"1985","unstructured":"Fribourg L.: \u201cSLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting\u201d. Proc. 1985 Symp. on Logic Programming (IEEE Comp. Society Press, 1985)"},{"volume-title":"Logic and Databases","year":"1978","key":"35_CR14","unstructured":"Gallaire H., Minker J. (eds.): \u201cLogic and Databases\u201d. Plenum, New York 1978."},{"key":"35_CR15","volume-title":"The SCHUSSFilter: A Processor for Non-Numerical Data Processing","author":"R Gonzalez-Rubio","year":"1984","unstructured":"Gonzalez-Rubio R., Rohmer J., Terral D.: \u201cThe SCHUSS Filter: A Processor for Non-Numerical Data Processing\u201d. 11th Annual International Symposium on Computer Architecture. Ann Arbor. 1984."},{"key":"35_CR16","volume-title":"From Data Bases to Artificial Intelligence: A Hardward Point of View","author":"R Gonzalez-Rubio","year":"1985","unstructured":"Gonzalez-Rubio R., Rohmer J.: \u201cFrom Data Bases to Artificial Intelligence: A Hardward Point of View\u201d. Nato Summer School, Les Arcs 1985."},{"key":"35_CR17","volume-title":"DDC Delta Driven Computer. A Parallel Machine for Symbolic Processing","author":"R Gonzalez-Rubio","year":"1986","unstructured":"Gonzalez-Rubio R., Bradier A., Rohmer J.: \u201cDDC Delta Driven Computer. A Parallel Machine for Symbolic Processing\u201d. ESPRIT Summer School on Future Parallel Computers. University of Pisa. June. 1986."},{"key":"35_CR18","volume-title":"An overview of DDC: Delta Driven Computer","author":"R Gonzalez-Rubio","year":"1987","unstructured":"Gonzalez-Rubio R., Rohmcr J., Bradier A.: \u201cAn overview of DDC: Delta Driven Computer\u201d. Conference on Parallel Architectures and Languages Europe. Eindhoven, Jun.15\u201319, 1987."},{"key":"35_CR19","unstructured":"Kerisit J.M, Lescocur R, Rohmcr J, Roucairol G: \u201cThe Alexander Method an efficient way for handling Deduction on Databases. To appear in Programmers Future General Computers eds.Nivat-Fuchi, North Holland."},{"key":"35_CR20","doi-asserted-by":"crossref","unstructured":"Kitsuregawa M., Tanaka H., Moto-oka T.: \u201cApplication of Hash to Database Machine and its Achitecture\u201d, New Generation Computing, vol.1, No.1, 1983.","DOI":"10.1007\/BF03037022"},{"key":"35_CR21","volume-title":"High Level Programming of Distributed Computer Control Systems","author":"H Kopetz","year":"1982","unstructured":"Kopetz H., Lohnen F., \u201cHigh Level Programming of Distributed Computer Control Systems\u201d. Real Time Data 82 Versailles, 1982."},{"key":"35_CR22","volume-title":"Primitives for Distribued Computing","author":"B Liskov","year":"1979","unstructured":"Liskov B.: \u201cPrimitives for Distribued Computing\u201d. Proc. of 7th ACM SIGOPS Symp. On Operating System Principles. 1979."},{"key":"35_CR23","unstructured":"Lohnert F.: \u201cTutorial on Synchronization and Communication\u201d. ESPRIT project 415 Deliverable Working Group on Architectures and Applications Oct.86."},{"key":"35_CR24","volume-title":"Computer an Information Technology in the Year 2000- A projection","author":"SF Lunstrom","year":"1985","unstructured":"Lunstrom S. F., Larsen R. L.: \u201cComputer an Information Technology in the Year 2000- A projection\u201d. Computer, September 1985."},{"key":"35_CR25","volume-title":"Fifth Generation Computer Systems: A Japanese Project","author":"T Moto-oka","year":"1984","unstructured":"Moto-oka T., Stone H. S.: \u201cFifth Generation Computer Systems: A Japanese Project\u201d. Computer, March 1984."},{"key":"35_CR26","volume-title":"BOUM: An Instantiation of the (PS)2 concept","author":"JM Pugin","year":"1985","unstructured":"Pugin J.M.: \u201cBOUM: An Instantiation of the (PS)2 concept\u201d. 5\u00e8mes Journ\u00e9es Internationales Syst\u00e8mes Experts. Avignon 1985."},{"key":"35_CR27","series-title":"Bull Internal Report","volume-title":"VIM Language","author":"JM Pugin","year":"1986","unstructured":"Pugin J.M.: \u201cVIM Language\u201d. Bull Internal Report 1986."},{"key":"35_CR28","series-title":"Bull Internal Report","volume-title":"The Alexander Method. A technique for the processing of recursive axioms in deductive databases","author":"J Rohmer","year":"1985","unstructured":"Rohmer J., Lescoeur R.: \u201cThe Alexander Method. A technique for the processing of recursive axioms in deductive databases\u201d. Bull Internal Report 1985."},{"key":"35_CR29","volume-title":"The Alexander Method. A technique for the processing of recursive axioms in deductive databases","author":"J Rohmer","year":"1986","unstructured":"Rohmer J., Lescocur R., J. M. Kerisit: \u201cThe Alexander Method. A technique for the processing of recursive axioms in deductive databases\u201d. New Generation Computing, 4. 1986."},{"key":"35_CR30","volume-title":"Optimizing Datalog Programs","author":"Y Sagiv","year":"1986","unstructured":"Sagiv Y.: \u201cOptimizing Datalog Programs\u201d. Stanford University 1986."},{"key":"35_CR31","unstructured":"SUPER \u201cFirst annual report\u201d Syracuse University. Dec 84."},{"key":"35_CR32","doi-asserted-by":"crossref","unstructured":"Ullman J.D.: \u201cImplementation of Logical Query Languages for Databases\u201d. ACM Trans, on Database System 10(3) p289..321 Sept.85.","DOI":"10.1145\/3979.3980"},{"key":"35_CR33","doi-asserted-by":"crossref","unstructured":"Verc S.A.: \u201cRelational Production Systems\u201d. Artificial Intelligence 8(Fcbr.77) p47.68.","DOI":"10.1016\/0004-3702(77)90004-2"},{"key":"35_CR34","volume-title":"FGCS\u201984","author":"B Yu","year":"1984","unstructured":"Voda P., Yu B.: \u201cRF-Maplc: a Logic Programming Language with Functions, Types and Concurrency\u201d. In FGCS\u201984 (ICOT, 1984)"},{"key":"35_CR35","volume-title":"Pattern Directed Inference Systems","author":"DA Waterman","year":"1978","unstructured":"Waterman D.A, Hayes-Roth F.: \u201cAn Overview of Pattern-Directed Inference Systems\u201d. Pattern Directed Inference Systems, D.A Waterman and F. Hayes-Roth. Ed. Academic Press, New York, 1978."}],"container-title":["The Kluwer International Series in Engineering and Computer Science","Database Machines and Knowledge Base Machines"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4613-1679-4_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T00:57:35Z","timestamp":1605661055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4613-1679-4_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9781461289487","9781461316794"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-1-4613-1679-4_35","relation":{},"ISSN":["0893-3405"],"issn-type":[{"type":"print","value":"0893-3405"}],"subject":[],"published":{"date-parts":[[1988]]}}}