{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:04Z","timestamp":1760202664342},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452833"},{"type":"electronic","value":"9783642452840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45284-0_7","type":"book-chapter","created":{"date-parts":[[2013,11,25]],"date-time":"2013-11-25T00:54:34Z","timestamp":1385340874000},"page":"93-108","source":"Crossref","is-referenced-by-count":2,"title":["Formalizing a Broader Recursion Coverage in SQL"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Aranda","sequence":"first","affiliation":[]},{"given":"Susana","family":"Nieva","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"S\u00e1enz-P\u00e9rez","sequence":"additional","affiliation":[]},{"given":"Jaime","family":"S\u00e1nchez-Hern\u00e1ndez","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)","key":"7_CR1"},{"issue":"6","key":"7_CR2","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E. Codd","year":"1970","unstructured":"Codd, E.: A Relational Model for Large Shared Databanks. Communications of the ACM\u00a013(6), 377\u2013390 (1970)","journal-title":"Communications of the ACM"},{"key":"7_CR3","volume-title":"SQL and relational theory: how to write accurate SQL code","author":"C.J. Date","year":"2009","unstructured":"Date, C.J.: SQL and relational theory: how to write accurate SQL code. O\u2019Reilly, Sebastopol (2009)"},{"unstructured":"Finkelstein, S.J., Mattos, N., Mumick, I.S., Pirahesh, H.: Expressing recursive queries in SQL. Technical report, ISO (1996)","key":"7_CR4"},{"unstructured":"Garcia-Molina, H., Ullman, J.D., Widom, J.: Database systems - the complete book, 2nd edn. Pearson Education (2009)","key":"7_CR5"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0169-023X(92)90029-B","volume":"7","author":"M.A.W. Houtsma","year":"1991","unstructured":"Houtsma, M.A.W., Apers, P.M.G.: Algebraic optimization of recursive queries. Data Knowl. Eng.\u00a07, 299\u2013325 (1991)","journal-title":"Data Knowl. Eng."},{"unstructured":"ISO\/IEC. SQL: 2008 ISO\/IEC 9075 (1-4,9-11,13,14): 2008 Standard (2008)","key":"7_CR7"},{"issue":"1-4","key":"7_CR8","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/176454.176510","volume":"2","author":"O. Kaser","year":"1993","unstructured":"Kaser, O., Ramakrishnan, C.R., Pawagi, S.: On the conversion of indirect to direct recursion. ACM Lett. Program. Lang. Syst.\u00a02(1-4), 151\u2013164 (1993)","journal-title":"ACM Lett. Program. Lang. Syst."},{"doi-asserted-by":"crossref","unstructured":"Kowalski, R.A.: Logic for data description. In: Logic and Data Bases, pp. 77\u2013103 (1977)","key":"7_CR9","DOI":"10.1007\/978-1-4684-3384-5_4"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/191843.191860","volume":"23","author":"I.S. Mumick","year":"1994","unstructured":"Mumick, I.S., Pirahesh, H.: Implementation of magic-sets in a relational database system. SIGMOD Rec.\u00a023, 103\u2013114 (1994)","journal-title":"SIGMOD Rec."},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-540-78969-7_21","volume-title":"Functional and Logic Programming","author":"S. Nieva","year":"2008","unstructured":"Nieva, S., S\u00e1nchez-Hern\u00e1ndez, J., S\u00e1enz-P\u00e9rez, F.: Formalizing a Constraint Deductive Database Language based on Hereditary Harrop Formulas with Negation. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol.\u00a04989, pp. 289\u2013304. Springer, Heidelberg (2008)"},{"issue":"2","key":"7_CR12","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BF01228878","volume":"3","author":"K. Ramamohanarao","year":"1994","unstructured":"Ramamohanarao, K., Harland, J.: An introduction to deductive database languages and systems. The VLDB Journal\u00a03(2), 107\u2013122 (1994)","journal-title":"The VLDB Journal"},{"doi-asserted-by":"crossref","unstructured":"Reiter, R.: Towards a logical reconstruction of relational database theory. In: On Conceptual Modelling (Intervale), pp. 191\u2013233 (1982)","key":"7_CR13","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/B978-0-934613-40-8.50005-1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"J. Shepherdson","year":"1988","unstructured":"Shepherdson, J.: Negation in logic programming. In: Minker, J. (ed.) Foundations of Deductive Databases and Logic Programming, pp. 19\u201388. Kaufmann, Los Altos (1988)"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics\u00a05, 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics"},{"unstructured":"Ullman, J.: Database and Knowledge-Base Systems, Vols. I (Classical Database Systems) and II (The New Technologies). Computer Science Press (1995)","key":"7_CR16"},{"unstructured":"Zaniolo, C., Ceri, S., Faloutsos, C., Snodgrass, R.T., Subrahmanian, V.S., Zicari, R.: Advanced Database Systems. Morgan Kaufmann Publishers Inc. (1997)","key":"7_CR17"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45284-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T18:06:15Z","timestamp":1558721175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45284-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452833","9783642452840"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45284-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}