{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:00:55Z","timestamp":1743044455095,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540076124"},{"type":"electronic","value":"9783540381303"}],"license":[{"start":{"date-parts":[[1976,1,1]],"date-time":"1976-01-01T00:00:00Z","timestamp":189302400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1976]]},"DOI":"10.1007\/3-540-07612-3_16","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:03:15Z","timestamp":1330167795000},"page":"362-386","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Data base standardization"],"prefix":"10.1007","author":[{"suffix":"Jr.","given":"Thomas B.","family":"Steel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,23]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/1017466.1017467","volume":"1","author":"C. W. Bachman","year":"1969","unstructured":"Bachman, C. W.: \"Data Structure Diagrams\", Data Base, 1:2 (1969).","journal-title":"Data Base"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Bernays, P. and Fraenkel, A. A.: \"Axiomatic Set Theory\", North-Holland (Amsterdam 1958).","DOI":"10.1016\/S0049-237X(08)71570-2"},{"key":"16_CR3","volume-title":"Scientific Explanation","author":"R. B. Braithwaite","year":"1953","unstructured":"Braithwaite, R. B.: \"Scientific Explanation\", Cambridge University Press (London 1953)."},{"key":"16_CR4","volume-title":"Introduction to Semantics","author":"R. Carnap","year":"1942","unstructured":"Carnap, R.: \"Introduction to Semantics\", Harvard University Press (Cambridge, MA 1942)."},{"key":"16_CR5","volume-title":"Date Management Systems Requirements","author":"CMSAG Joint Utilities Project","year":"1971","unstructured":"CMSAG Joint Utilities Project: \"Date Management Systems Requirements\", CMSAG (Orlando, FL 1971)."},{"key":"16_CR6","unstructured":"CODASYL: \"A Survey of Generalized Data Base Management Systems\", available from NTIS (Washington, DC 1969)."},{"key":"16_CR7","volume-title":"Data Base Task Group Report","author":"CODASYL","year":"1971","unstructured":"CODASYL\": \"Data Base Task Group Report\", ACM (New York 1971)."},{"issue":"6","key":"16_CR8","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E. F. Codd","year":"1970","unstructured":"Codd, E. F.: \"A Relational Model of Data for Large Shared Data Banks\", CACM, 13:6 (1970), pp. 377\u2013387.","journal-title":"CACM"},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"G\u00f6del, K.: \"Uber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systems I\", Monatshefte, 38 (1931), pp. 173\u2013198.","journal-title":"Monatshefte"},{"key":"16_CR10","volume-title":"Data Base Management System Requirements","author":"GUIDE\/SHARE","year":"1970","unstructured":"GUIDE\/SHARE: \"Data Base Management System Requirements\", SHARE Inc. (New York, N. Y. 1970)."},{"key":"16_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-41928-1","volume-title":"Grundzuge der Theoretischen Logik","author":"D. Hilbert","year":"1938","unstructured":"Hilbert, D. and Ackermann, W.: \"Grundzuge der Theoretischen Logik\", Julius Springer (Berlin, 1938)."},{"key":"16_CR12","unstructured":"ISO: ISO\/TC97 (Geneva-3) 669."},{"key":"16_CR13","volume-title":"Introduction to Metamathematics","author":"S. C. Kleene","year":"1952","unstructured":"Kleene, S. C.: \"Introduction to Metamathematics\", van Nostrand (Princeton, N. J. 1952)."},{"key":"16_CR14","volume-title":"Mathematical Logic","author":"W. V. O. O. Quine","year":"1961","unstructured":"Quine, W. V. O.: \"Mathematical Logic\", rev.ed., Harvard University Press (Cambridge, MA 1961)."},{"key":"16_CR15","series-title":"document","volume-title":"Outline for Preparation of Proposals for Standardization","author":"SPARC","year":"1974","unstructured":"SPARC: \"Outline for Preparation of Proposals for Standardization\", document SPARC\/90, CBEMA (Washington, DC 1974)."},{"key":"16_CR16","unstructured":"SPARC: \"Interim Report: Study Committee on Data Base Management Systems:, SIGMOD NEWSLETTER (forthcoming)."},{"issue":"2","key":"16_CR17","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/363921.363937","volume":"7","author":"T. B. Steel Jr.","year":"1964","unstructured":"Steel, T. B., Jr.: \"Beginnings of a Theory of Information Handling\", CACM, 7:2 (1964), pp. 97\u2013103.","journal-title":"CACM"},{"key":"16_CR18","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/BF01696782","volume":"37","author":"A. Tarski","year":"1930","unstructured":"Tarski, A.: \"Fundmentale Begriffe der Methodogie der deduktiven Wissenschaften I\", Monatshefte f\u00fcr Mathematik und Physik, 37 (1930), pp. 361\u2013404.","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"issue":"3","key":"16_CR19","doi-asserted-by":"crossref","first-page":"549","DOI":"10.2307\/2272895","volume":"39","author":"S. K. Thomason","year":"1974","unstructured":"Thomason, S. K.: \"Reduction of tense logic to modal logic, I\", J. Symbolic Logic, 39:3 (1974), pp. 549\u2013551.","journal-title":"J. Symbolic Logic"},{"key":"16_CR20","unstructured":"Von Wright, G. H.: \"An Essay in Modal Logic\", North-Holland (Amsterdam 1951)."}],"container-title":["Lecture Notes in Computer Science","Data Base Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-07612-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T13:05:03Z","timestamp":1580303103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-07612-3_16"}},"subtitle":["A status report"],"short-title":[],"issued":{"date-parts":[[1976]]},"ISBN":["9783540076124","9783540381303"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-07612-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1976]]},"assertion":[{"value":"23 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}