{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:43:29Z","timestamp":1725662609997},"publisher-location":"Boston, MA","reference-count":15,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781468433869"},{"type":"electronic","value":"9781468433845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/978-1-4684-3384-5_9","type":"book-chapter","created":{"date-parts":[[2012,2,24]],"date-time":"2012-02-24T10:45:50Z","timestamp":1330080350000},"page":"237-257","source":"Crossref","is-referenced-by-count":3,"title":["Nondeterministic Languages Used for the Definition of Data Models"],"prefix":"10.1007","author":[{"given":"Marco","family":"Colombetti","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Paolini","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"Pelagatti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","first-page":"1","volume-title":"Data Base Management","author":"JR Abrial","year":"1974","unstructured":"Abrial, J.R. [1974] Data Semantics, In Data Base Management (J. W. Klimbie and K. L. Koffeman, Eds.), North-Holland\/ American Elsevier, 1\u201360."},{"key":"9_CR2","first-page":"211","volume-title":"Data Base Management","author":"G Bracchi","year":"1974","unstructured":"Bracchi, G., Fedeli, A., Paolini, P. [1974] A Multilevel Relational Model for Data Base Management Systems, In Data Base Management (J. W. Klimbie and K. L. Koffeman, Eds.), North-Holland \/American Elsevier, 211\u2013226."},{"key":"9_CR3","first-page":"1045","volume-title":"Putting Theories Together to Make Specifications","author":"RM Burstall","year":"1977","unstructured":"Burstall, R. M., Goguen, J. A. [1977] Putting Theories Together to Make Specifications, Proceedings 5th International Joint Conference on Artificial Intelligence, Cambridge, Mass., August 1977, 1045\u20131058."},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P Chen","year":"1976","unstructured":"Chen, P. [1976] The Entity-Relationship Model: Toward a Unified View of Data, TODS\n 1, 1 (March 1976), 9\u201336.","journal-title":"TODS"},{"key":"9_CR5","first-page":"1971","volume-title":"Codasyl Data Base Task Group Report","author":"Codasyl Data Base Task Group","year":"1971","unstructured":"Codasyl Data Base Task Group [1971] Codasyl Data Base Task Group Report, ACM, New York, 1971."},{"issue":"6","key":"9_CR6","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E Codd","year":"1970","unstructured":"Codd, E. [1970] A Relational Model of Data for Large Shared Data Banks, CACM\n 13, 6 (June 1970), 377\u2013387.","journal-title":"CACM"},{"key":"9_CR7","series-title":"Data Structuring","first-page":"1976","volume-title":"Current Trends in Programming Methodology","author":"JA Goguen","year":"1976","unstructured":"Goguen, J. A., Thatcher, J. W., Wagner, E. G. [1976] An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types, In Current Trends in Programming Methodology. Vol. 3, Data Structuring (R. Yeh, Ed.) Prentice-Hall, Englewood Cliffs, N.J., 1976."},{"key":"9_CR8","first-page":"201","volume-title":"Modelling in Data Base Management Systems","author":"P Hall","year":"1976","unstructured":"Hall, P., Owlett, J., and Todd, S. [1976] Relations and Entities, In Modelling in Data Base Management Systems (G. M. Nijssen, Ed.), North Holland\/American Elsevier, 201\u2013220."},{"key":"9_CR9","first-page":"1","volume-title":"Networks, Hierarchies and Relations in Data Bases Management Systems","author":"G Held","year":"1975","unstructured":"Held, G., Stonebraker, M. [1975] Networks, Hierarchies and Relations in Data Bases Management Systems, Pacific-75 Regional Conference of ACM, San Francisco, Calif., April 1975, 1\u20139."},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"CAR Hoare","year":"1972","unstructured":"Hoare, C.A.R. [1972] Proof of Correctness of Data Representations, Acta Informatica\n 1, 1972, 271\u2013281.","journal-title":"Acta Informatica"},{"key":"9_CR11","unstructured":"IMS\/360 \u2014 Application Description Manual, IBM White Plains, New York, GH-20\u20130765."},{"key":"9_CR12","first-page":"1976","volume-title":"Formal Description of the Relational Model","author":"P Paolini","year":"1976","unstructured":"Paolini, P. [1976] Formal Description of the Relational Model, unpublished paper, Istituto di Elettronica, Politecnico di Milano, 1976."},{"key":"9_CR13","series-title":"Internal Report","volume-title":"Specifications of Views and Mappings in Multilevel Data Bases","author":"P Paolini","year":"1978","unstructured":"Paolini, P., Pelagatti, G. [1978] Specifications of Views and Mappings in Multilevel Data Bases, Internal Report\n 78\u20132, Istituto di Elettronica, Politecnico di Milano, February 1978."},{"key":"9_CR14","first-page":"447","volume-title":"Information Processing 77","author":"G Pelagatti","year":"1977","unstructured":"Pelagatti, G., Paolini, P. and Bracchi, G. [1977] Mappings in Data Bases Systems, Information Processing 77 (B. Gilchrist, Ed.), North Holland, 447\u2013452."},{"key":"9_CR15","series-title":"U.E.R. de Marseille, Group d\u2019Intelligence Artificielle, 1975","volume-title":"PROLOG: Manuel de reference et denization","author":"P Roussel","year":"1975","unstructured":"Roussel, P. [1975] PROLOG: Manuel de reference et denization, U.E.R. de Marseille, Group d\u2019Intelligence Artificielle, 1975."}],"container-title":["Logic and Data Bases"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4684-3384-5_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T12:50:27Z","timestamp":1619873427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4684-3384-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9781468433869","9781468433845"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-1-4684-3384-5_9","relation":{},"subject":[],"published":{"date-parts":[[1978]]}}}