{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:21Z","timestamp":1761611301662},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540554608"},{"type":"electronic","value":"9783540470830"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55460-2_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:06:28Z","timestamp":1330250788000},"page":"302-321","source":"Crossref","is-referenced-by-count":2,"title":["A constructive logic approach to database theory"],"prefix":"10.1007","author":[{"given":"Pierangelo","family":"Miglioli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Moscato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Ornaghi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Brauer W. (ed.)-Net Theory and Applications-LNCS,Springer Verlag,1980.","key":"23_CR1","DOI":"10.1007\/3-540-100016"},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"Gallaire H., Minker J., Nicolas J.M.-Logic and Databases: A deductive approach-Computing Surveys 16, 2, 1984.","journal-title":"Computing Surveys"},{"unstructured":"Hayashi S., Nakano H.-PX: a computational logic-MIT Press, 1989.","key":"23_CR3"},{"unstructured":"Kleene S.-Introduction to metamathematics-Wolters-Noordhoff, 1952.","key":"23_CR4"},{"doi-asserted-by":"crossref","unstructured":"Lloyd J. W.-Foundations of logic programming-Springer Verlag, 1987.","key":"23_CR5","DOI":"10.1007\/978-3-642-83189-8"},{"key":"23_CR6","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"J. Lloyd","year":"1985","unstructured":"Lloyd J., Topor W.-A Basis for Deductive Database Systems-J. Logic Programming 2, 2, 1985.","journal-title":"J. Logic Programming"},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(86)90004-X","volume":"3","author":"J. Lloyd","year":"1986","unstructured":"Lloyd J., Topor W.-A Basis for Deductive Database Systems II-J. Logic Programming 3, 1, 1986.","journal-title":"J. Logic Programming"},{"unstructured":"Medvedev T.-Finite problems-Sov. Math. Dok. 3, 1962.","key":"23_CR8"},{"doi-asserted-by":"crossref","unstructured":"Miglioli P., Moscato U., Ornaghi M.-Constructive proofs as programs executable by PrT nets-in Girault C., Reisig W. (ed.) Application and theory of Petri nets, Informatik-Fachberikte, n. 52, Springer Verlag, 1982.","key":"23_CR9","DOI":"10.1007\/978-3-642-68353-4_48"},{"doi-asserted-by":"crossref","unstructured":"Miglioli P., Moscato U., Ornaghi M., Usberti G.-A costructivism based on classical truth-Notre Dame Journal of Formal Logic, vol. 30, n.1, 1989.","key":"23_CR10","DOI":"10.1305\/ndjfl\/1093634996"},{"doi-asserted-by":"crossref","unstructured":"Miglioli P., Moscato U., Ornaghi M., Quazza S., Usberti G.-Some results on intermediate constructive logics-Notre Dame Journal of Formal Logic, vol 30, n.4, 1989.","key":"23_CR11","DOI":"10.1305\/ndjfl\/1093635238"},{"unstructured":"Prawitz D.-Natural deduction: a proof-theoretical study-Almqvist & Wiksell, 1965.","key":"23_CR12"},{"unstructured":"Reiter R.-Toward a Logical Reconstruction of Relational Database Theory-in Brodie M., Mylopoulos J., Schmidt J.W. (eds.), On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages, Springer Verlag, 1984.","key":"23_CR13"},{"doi-asserted-by":"crossref","unstructured":"Troelstra A.S.-Metamathematical investigations of intuitionistic arithmetic and analysis-LNM, n.344, Springer Verlag, 1973.","key":"23_CR14","DOI":"10.1007\/BFb0066739"},{"unstructured":"Troelstra A.S.-Constructive Mathematics-in Barwise J. (ed.) Handbook of Mathematical Logic, North Holland, 1980.","key":"23_CR15"},{"doi-asserted-by":"crossref","unstructured":"Voronkov A.-Towards the theory of programs in constructive logic-LNCS n. 432 1990.","key":"23_CR16","DOI":"10.1007\/3-540-52592-0_78"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55460-2_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:59:01Z","timestamp":1605646741000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55460-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540554608","9783540470830"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-55460-2_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}