{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:26Z","timestamp":1762458926300,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642210693"},{"type":"electronic","value":"9783642210709"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21070-9_21","type":"book-chapter","created":{"date-parts":[[2011,6,7]],"date-time":"2011-06-07T00:02:27Z","timestamp":1307404947000},"page":"280-293","source":"Crossref","is-referenced-by-count":11,"title":["Ampersand"],"prefix":"10.1007","author":[{"given":"Gerard","family":"Michels","sequence":"first","affiliation":[]},{"given":"Sebastiaan","family":"Joosten","sequence":"additional","affiliation":[]},{"given":"Jaap","family":"van der Woude","sequence":"additional","affiliation":[]},{"given":"Stef","family":"Joosten","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2\u20135","key":"21_CR1","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/0898-1221(92)90146-9","volume":"23","author":"C. Brink","year":"1992","unstructured":"Brink, C., Schmidt, R.A.: Subsumption computed algebraically. Computers and Mathematics with Applications\u00a023(2-5), 329\u2013342 (1992)","journal-title":"Computers and Mathematics with Applications"},{"key":"21_CR2","series-title":"Advances in Computing","volume-title":"Relational methods in computer science","year":"1997","unstructured":"Brink, C., Kahl, W., Schmidt, G. (eds.): Relational methods in computer science. Advances in Computing. Springer, New York (1997)"},{"issue":"6","key":"21_CR3","doi-asserted-by":"publisher","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. Communications of the ACM\u00a013(6), 377\u2013387 (1970)","journal-title":"Communications of the ACM"},{"key":"21_CR4","volume-title":"What not how: the business rules approach to application development","author":"C.J. Date","year":"2000","unstructured":"Date, C.J.: What not how: the business rules approach to application development. Addison-Wesley Longman Publishing Co., Inc., Boston (2000)"},{"key":"21_CR5","unstructured":"Desharnais, J.: Basics of relation algebra, \n                  \n                    http:\/\/www2.ift.ulaval.ca\/~Desharnais\/Recherche\/Tutoriels\/TutorielRelMiCS10.pdf"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11546382_1","volume-title":"Advanced Functional Programming","author":"A. Dijkstra","year":"2005","unstructured":"Dijkstra, A., Swierstra, S.D.: Typing haskell with an attribute grammar. In: Vene, V., Uustalu, T. (eds.) AFP 2004. LNCS, vol.\u00a03622, pp. 1\u201372. Springer, Heidelberg (2005)"},{"issue":"3-4","key":"21_CR7","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/S0020-0255(99)00014-6","volume":"119","author":"C. Hattensperger","year":"1999","unstructured":"Hattensperger, C., Kempf, P.: Towards a formal framework for heterogeneous relation algebra. Inf. Sci.\u00a0119(3-4), 193\u2013203 (1999)","journal-title":"Inf. Sci."},{"key":"21_CR8","unstructured":"Jackson, D.: A comparison of object modelling notations: Alloy, UML and Z. Tech. rep. (1999), \n                  \n                    http:\/\/sdg.lcs.mit.edu\/publications.html"},{"key":"21_CR9","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"21_CR10","volume-title":"Relation Algebras, Studies in logic","author":"R.D. Maddux","year":"2006","unstructured":"Maddux, R.D.: Relation Algebras. Studies in logic, vol.\u00a0150. Elsevier, Iowa (2006)"},{"volume-title":"Haskell 98 Language and Libraries \u2013 The Revised Report","year":"2003","key":"21_CR11","unstructured":"Peyton Jones, S. (ed.): Haskell 98 Language and Libraries \u2013 The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09987-5","volume-title":"A Relational Theory of Computing","author":"J.G. Sanderson","year":"1980","unstructured":"Sanderson, J.G.: A Relational Theory of Computing. LNCS, vol.\u00a082. Springer, New York (1980)"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-7091-6510-2_3","volume-title":"Relational Methods in Computer Science, Advances in Computing","author":"G. Schmidt","year":"1997","unstructured":"Schmidt, G., Hattensperger, C., Winter, M.: Heterogeneous Relation Algebra. In: Relational Methods in Computer Science. Advances in Computing, ch.\u00a03, pp. 39\u201353. Springer, New York (1997)"},{"key":"21_CR14","series-title":"International Series in Computer Science","volume-title":"The Z Notation: A reference manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A reference manual, 2nd edn. International Series in Computer Science. Prentice Hall, New York (1992)","edition":"2"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"van der Woude, J., Joosten, S.: Relational heterogeneity relaxed by subtyping, (submitted 2011)","DOI":"10.1007\/978-3-642-21070-9_25"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21070-9_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T01:49:50Z","timestamp":1578534590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21070-9_21"}},"subtitle":["Applying Relation Algebra in Practice"],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642210693","9783642210709"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21070-9_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}