{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:07:55Z","timestamp":1725890875707},"publisher-location":"London","reference-count":15,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198062"},{"type":"electronic","value":"9781447135609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3560-9_2","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T01:49:46Z","timestamp":1356832186000},"page":"15-29","source":"Crossref","is-referenced-by-count":0,"title":["Deductive Synthesis of Programs for Query Answering"],"prefix":"10.1007","author":[{"given":"Daniele","family":"Nardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Riccardo","family":"Rosati","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Chariot Software Group","author":"R Burback","year":"1990","unstructured":"R. Burback, S.A. Frazer, H. McGuire, J. Smith, M. Winstandley. Using the Deductive Tableau System. Chariot Software Group, 1990."},{"issue":"1","key":"2_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/62032.62033","volume":"14","author":"J Freytag","year":"1989","unstructured":"J. Freytag, N. Goodman. On the translation of relational queries into iterative programs. ACM Transactions on Database Systems 14: 1, 1989, pp. 1\u201327.","journal-title":"Acm Transactions on Database Systems"},{"key":"2_CR3","volume-title":"Addison Wesley","author":"G Gardarin","year":"1989","unstructured":"G. Gardarin, P. Valduriez. Relational Databases and Knowledge Bases. Addison Wesley, 1989."},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/356924.356928","volume":"16","author":"M Jarke","year":"1984","unstructured":"M. Jarke, J. Koch. Query optimization in Database Systems. ACM Computing Surveys, 16, 2 (June 1984), pp. 111\u2013152.","journal-title":"Acm Computing Surveys"},{"key":"2_CR5","volume-title":"Computer Science Press","author":"D Maier","year":"1983","unstructured":"D. Maier. The theory of relational databases. Computer Science Press, 1983."},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/357084.357090","volume":"2","author":"Z Manna","year":"1980","unstructured":"Z. Manna, R. Waldinger. A deductive approach to program synthesis, ACM Transaction on Programming Languages and Systems, 2: 1980,pp. 90\u2013121.","journal-title":"Acm Transaction on Programming Languages and Systems"},{"key":"2_CR7","volume-title":"The logical basis for computer programming","author":"Z Manna","year":"1985","unstructured":"Z. Manna, R. Waldinger. The logical basis for computer programming. Vol. 1: Deductive reasoning. Addison Wesley, 1985."},{"key":"2_CR8","volume-title":"The logical basis for computer programming","author":"Z Manna","year":"1990","unstructured":"Z. Manna, R. Waldinger. The logical basis for computer programming. Vol. 2: Deductive systems. Addison Wesley, 1990."},{"unstructured":"J.B. Morris. E-resolution: extension of resolution to include the equality relation. Proceedings of the 1st IJCAI, 1969, 394\u2013402.","key":"2_CR9"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0004-3702(82)90011-X","volume":"18","author":"NW Murray","year":"1982","unstructured":"N.W. Murray. Completely nonclausal theorem proving. Art. Int. 18: pp. 67\u201385, 1982.","journal-title":"Art. Int"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(89)90008-3","volume":"7","author":"D Nardi","year":"1989","unstructured":"D. Nardi. Formal synthesis of a unification algorithm by the Deductive- Tableau method. Journal of Logic Programming, 1989: 7: pp. 1\u201343.","journal-title":"Journal of Logic Programming"},{"key":"2_CR12","first-page":"552","volume-title":"Synthesizing database transactions. Proc. of 16th Vldb Conf.","author":"X Qian","year":"1990","unstructured":"X. Qian. Synthesizing database transactions. Proc. of 16th VLDB Conf., Brisbane, Australia, 1990, 552\u2013565."},{"key":"2_CR13","volume-title":"The deductive synthesis of database transactions. Ph.D. dissertation, technical report STAN-CS-89-1291","author":"X Qian","year":"1989","unstructured":"X. Qian. The deductive synthesis of database transactions. Ph.D. dissertation, technical report STAN-CS-89\u20131291. Dept. of Computer Science, Stanford University, 1989."},{"key":"2_CR14","volume-title":"Sintesi di programmi con il metodo dei tableaux deduttivi per il calcolo della risposta ad una interrogazione ad una base di dati","author":"R Rosati","year":"1991","unstructured":"R. Rosati. Sintesi di programmi con il metodo dei tableaux deduttivi per il calcolo della risposta ad una interrogazione ad una base di dati. Tesi di Laurea, Univ. Roma \u201cLa Sapienza\u201d, (in Italian ) 1991."},{"key":"2_CR15","volume-title":"Computer Science Press","author":"J Ullman","year":"1988","unstructured":"J. Ullman. Principles of database and knowledge-base systems. Computer Science Press, 1988."}],"container-title":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3560-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T23:07:08Z","timestamp":1557443228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_2","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}