{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:36:46Z","timestamp":1725457006176},"publisher-location":"Berlin\/Heidelberg","reference-count":19,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540516980"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0015047","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:08:54Z","timestamp":1134281334000},"page":"419-444","source":"Crossref","is-referenced-by-count":0,"title":["Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype"],"prefix":"10.1007","author":[{"given":"L.","family":"Lavazza","sequence":"first","affiliation":[]},{"given":"S.","family":"Crespi-Reghizzi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and N. Bidoit \"Non First Normal Form Relations to Represent Hierarchically Organized Data\", Proc. 3rd ACM SIGMOD-SIGACT Symp. on Principles of Database Systems (PODS), March 1984, and Journal of Computer and System Sciences, 33, 1986.","DOI":"10.1145\/588011.588038"},{"key":"15_CR2","unstructured":"S. Ceri, S. Crespi-Reghizzi \"Formal definition of ALGRES: algebra for extended relations\", Dipt. Elettronica, Politecnico di Milano, 1986."},{"key":"15_CR3","unstructured":"S. Ceri, G. Gottlob, L. Lavazza \"Translation and optimization of logic queries: the algebraic approach\" Very Large Data Bases \u2014 Kyoto 1986"},{"key":"15_CR4","unstructured":"S. Ceri, L. Tanca \"Optimization of Systems of Algebraic Equations for Evaluating DATALOG Queries\", Proc. Very Large Data Bases, August 1987."},{"key":"15_CR5","unstructured":"S. Ceri, S. Crespi-Reghizzi, L. Lamperti, L. Lavazza, R. Zicari \"Algres: a system for specification and prototyping of complex databases\" Submitted to IEEE Software"},{"key":"15_CR6","unstructured":"S. Ceri, G. Gottlob, L. Tanca {\"Relational Databases and Logic Programming\"}, Surveys in Computer Science, Springer-Verlag (to appear)."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Chandra A. \"Programming Primitives for Database Languages\" ACM POPL 1981.","DOI":"10.1145\/567532.567537"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"P. Dadam et al. \"A DBMS Prototype to Support Extended NF2 Relations: An Integrated View on Flat Tables and Hierarchies\", Proc. ACM SIGMOD, May 1986.","DOI":"10.1145\/16894.16889"},{"key":"15_CR9","unstructured":"Feijs L.M.G., Jonkers H.B.M., Obbink J.H., Koymans C.P.J., Renardel de Lavalette G.R., Rodenburg P.H. \"A survey of the design language COLD\", Meteor Deliverable"},{"key":"15_CR10","unstructured":"Feijs L.M.G., Jonkers H.B.M., Koymans C.P.J., Renardel de Lavalette G.R. \"Formal definition of the design language COLD-K\", Meteor Deliverable"},{"key":"15_CR11","unstructured":"P.C. Fisher and S.J.Thomas \"Operators for Non-First-Normal-Form Relations\", Proc. IEEE COMPSAC, 1983."},{"key":"15_CR12","unstructured":"Geser A., Hussmann H. \"Rapid Prototyping for Algebraic Specifications \u2014 Examples for the Use of the RAP System\" Report Universitaet Passau, MIP-8517, Passau, Dec. 1985."},{"key":"15_CR13","unstructured":"Geser A. \"A Specification of the intel 8085 Microprocessor: A Case Study\" Report Universitaet Passau, MIP-8608, Passau, May 1986."},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Hussmann H. \"Unification in Conditional-Equational Theories\" Report Universitaet Passau, MIP-8502, Passau, Jan. 1985.","DOI":"10.1007\/3-540-15984-3_328"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Hussmann H. \"Rapid Prototyping for Algebraic Specifications \u2014 RAP System User's Manual (Second Edition)\" Report Universitaet Passau, MIP-8504, Passau, Feb. 1987.","DOI":"10.1007\/3-540-19242-5_23"},{"key":"15_CR16","unstructured":"Jonkers H.B.M. \"Informal description of the design language COLD-K\", Meteor Deliverable"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Schek H. Scholl M. \"The relational model with relation-valued attributes\" Inform. Systems vol.11 n.2 1986","DOI":"10.1016\/0306-4379(86)90003-7"},{"key":"15_CR18","unstructured":"Wirsing M. \"Structured Algebraic Specifications: A Kernel Language\", Habilitation Thesis, Techn. Univ. Munchen, 1983, to apper in TCS, also Univ. Passau, Tech Rep. MIP-8511."},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Wong E. and Samson W.B. \"The specification of a relational database (PRECI) as an abstract data type and its realisation in HOPE\", Comp. Jour.,29, 1986.","DOI":"10.1093\/comjnl\/29.3.261"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methods: Theory, Tools and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0015047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T13:45:54Z","timestamp":1586612754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015047"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540516980"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0015047","relation":{},"subject":[]}}