{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:35:26Z","timestamp":1740123326520,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,7,6]],"date-time":"2022-07-06T00:00:00Z","timestamp":1657065600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,7,6]],"date-time":"2022-07-06T00:00:00Z","timestamp":1657065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2022,11]]},"DOI":"10.1007\/s10817-022-09634-2","type":"journal-article","created":{"date-parts":[[2022,7,6]],"date-time":"2022-07-06T18:15:21Z","timestamp":1657131321000},"page":"805-844","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Fast Left Kan Extensions Using the Chase"],"prefix":"10.1007","volume":"66","author":[{"given":"Joshua","family":"Meyers","sequence":"first","affiliation":[]},{"given":"David I.","family":"Spivak","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4768-7861","authenticated-orcid":false,"given":"Ryan","family":"Wisnesky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,7,6]]},"reference":[{"key":"9634_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1996","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, New York (1996)"},{"key":"9634_CR2","doi-asserted-by":"publisher","unstructured":"Adamek, J., Rosicky, J.: Locally Presentable and Accessible Categories. London Mathematical Society Lecture Note Series. Cambridge University Press (1994). https:\/\/doi.org\/10.1017\/CBO9780511600579","DOI":"10.1017\/CBO9780511600579"},{"key":"9634_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172752","volume-title":"Term Rewriting and All That","author":"F Baader","year":"1998","unstructured":"Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, New York (1998)"},{"key":"9634_CR4","volume-title":"Category Theory for Computing Science","author":"M Barr","year":"1990","unstructured":"Barr, M., Wells, C.: Category Theory for Computing Science. Prentice-Hall Inc., Upper Saddle River (1990)"},{"key":"9634_CR5","volume-title":"Toposes, Triples and Theories","author":"M Barr","year":"2002","unstructured":"Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Heidelberg (2002)"},{"key":"9634_CR6","unstructured":"Bauslaugh, B.L.: Homomorphisms of infinite directed graphs. Ph.D. thesis, Simon Fraser University (1994). http:\/\/oatd.org\/oatd\/record?record=oai:summit.sfu.ca:6543 &q=bauslaugh"},{"key":"9634_CR7","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Konstantinidis, G., Mecca, G., Motik, B., Papotti, P., Santoro, D., Tsamoura, E.: Benchmarking the chase. In: Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS \u201917, pp. 37\u201352. ACM, New York, NY, USA (2017)","DOI":"10.1145\/3034786.3034796"},{"key":"9634_CR8","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.commatsci.2019.04.002","volume":"164","author":"KS Brown","year":"2019","unstructured":"Brown, K.S., Spivak, D.I., Wisnesky, R.: Categorical data integration for computational science. Comput. Mater. Sci. 164, 127\u2013132 (2019)","journal-title":"Comput. Mater. Sci."},{"issue":"2","key":"9634_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0747-7171(02)00102-5","volume":"35","author":"MR Bush","year":"2003","unstructured":"Bush, M.R., Leeming, M., Walters, R.F.C.: Computing left Kan extensions. J. Symb. Comput. 35(2), 107\u2013126 (2003)","journal-title":"J. Symb. Comput."},{"issue":"5","key":"9634_CR10","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1006\/jsco.1995.1027","volume":"19","author":"S Carmody","year":"1995","unstructured":"Carmody, S., Leeming, M., Walters, R.: The Todd-Coxeter procedure and left Kan extensions. J. Symb. Comput. 19(5), 459\u2013488 (1995)","journal-title":"J. Symb. Comput."},{"key":"9634_CR11","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BFb0084213","volume-title":"Category Theory","author":"S Carmody","year":"1991","unstructured":"Carmody, S., Walters, R.F.C.: Computing quotients of actions of a free category. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds.) Category Theory, pp. 63\u201378. Springer, Berlin (1991)"},{"key":"9634_CR12","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.aim.2013.10.013","volume":"252","author":"C Casacuberta","year":"2014","unstructured":"Casacuberta, C., Guti\u00e9rrez, J.J., Rosick\u00fd, J.: Are all localizing subcategories of stable homotopy categories coreflective? Adv. Math. 252, 158\u2013184 (2014). https:\/\/doi.org\/10.1016\/j.aim.2013.10.013","journal-title":"Adv. Math."},{"key":"9634_CR13","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Nash, A., Remmel, J.: The chase revisited. In: Proceedings of the Twenty-seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS \u201908, pp. 149\u2013158. ACM, New York, NY, USA (2008)","DOI":"10.1145\/1376916.1376938"},{"key":"9634_CR14","volume-title":"Principles of Data Integration","author":"A Doan","year":"2012","unstructured":"Doan, A., Halevy, A., Ives, Z.: Principles of Data Integration, 1st edn. Morgan Kaufmann Publishers Inc., San Francisco (2012)","edition":"1"},{"issue":"1","key":"9634_CR15","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/1061318.1061323","volume":"30","author":"R Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: getting to the core. ACM Trans. Database Syst. 30(1), 174\u2013210 (2005). https:\/\/doi.org\/10.1145\/1061318.1061323","journal-title":"ACM Trans. Database Syst."},{"key":"9634_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-008-9126-7","author":"R Garner","year":"2008","unstructured":"Garner, R.: Understanding the small object argument. Appl. Categ. Struct. (2008). https:\/\/doi.org\/10.1007\/s10485-008-9126-7","journal-title":"Appl. Categ. Struct."},{"key":"9634_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.aim.2015.11.012","volume":"289","author":"R Garner","year":"2016","unstructured":"Garner, R., Shulman, M.: Enriched categories as a free cocompletion. Adv. Math. 289, 1\u201394 (2016)","journal-title":"Adv. Math."},{"key":"9634_CR18","doi-asserted-by":"crossref","unstructured":"Haas, L.M., Hern\u00e1ndez, M.A., Ho, H., Popa, L., Roth, M.: Clio grows up: From research prototype to industrial tool. In: Proceedings of the 2005 ACM SIGMOD International Conference on Management of Data, SIGMOD \u201905, pp. 805\u2013810. ACM, New York, NY, USA (2005)","DOI":"10.1145\/1066157.1066252"},{"key":"9634_CR19","volume-title":"Sketches of an Elephant: A Topos Theory Compendium","author":"PT Johnstone","year":"2002","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium, vol. 2. Clarendon Press, Oxford (2002)"},{"issue":"1","key":"9634_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/bf01113560","volume":"122","author":"PC Kainen","year":"1971","unstructured":"Kainen, P.C.: Weak adjoint functors. Math. Z. 122(1), 1\u20139 (1971). https:\/\/doi.org\/10.1007\/bf01113560","journal-title":"Math. Z."},{"issue":"4","key":"9634_CR21","doi-asserted-by":"publisher","first-page":"1052","DOI":"10.1137\/0214073","volume":"14","author":"D Kapur","year":"1985","unstructured":"Kapur, D., Narendran, P.: The Knuth-Bendix completion procedure and Thue systems. SIAM J. Comput. 14(4), 1052\u20131072 (1985)","journal-title":"SIAM J. Comput."},{"key":"9634_CR22","unstructured":"Kelly, G.: The basic concepts of enriched category theory. Reprints in Theory and Applications of Categories [electronic only] 2005(10) (2005)"},{"issue":"2","key":"9634_CR23","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1145\/322186.322198","volume":"27","author":"G Nelson","year":"1980","unstructured":"Nelson, G., Oppen, D.C.: Fast decision procedures based on congruence closure. J. ACM 27(2), 356\u2013364 (1980)","journal-title":"J. ACM"},{"key":"9634_CR24","unstructured":"nLab authors: cograph of a functor. http:\/\/ncatlab.org\/nlab\/show\/cograph%20of%20a%20functor (2021). Revision 16"},{"key":"9634_CR25","unstructured":"nLab authors: essentially algebraic theory. http:\/\/ncatlab.org\/nlab\/show\/essentially%20algebraic%20theory (2021). Revision 22"},{"key":"9634_CR26","unstructured":"nLab authors: weak factorization system. http:\/\/ncatlab.org\/nlab\/show\/weak%20factorization%20system (2022)"},{"key":"9634_CR27","unstructured":"Onet, A.: The Chase Procedure and its Applications in Data Exchange. In: P.G. Kolaitis, M.\u00a0Lenzerini, N.\u00a0Schweikardt (eds.) Data Exchange, Integration, and Streams, Dagstuhl Follow-Ups, vol.\u00a05, pp. 1\u201337. Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2013). 10.4230\/DFU.Vol5.10452.1. http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2013\/4288"},{"issue":"3","key":"9634_CR28","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1016\/j.apal.2006.10.001","volume":"145","author":"E Palmgren","year":"2007","unstructured":"Palmgren, E., Vickers, S.: Partial horn logic and cartesian categories. Ann. Pure Appl. Logic 145(3), 314\u2013353 (2007). https:\/\/doi.org\/10.1016\/j.apal.2006.10.001","journal-title":"Ann. Pure Appl. Logic"},{"key":"9634_CR29","unstructured":"Patterson, E.: Knowledge representation in bicategories of relations. https:\/\/arxiv.org\/abs\/1706.00526 (2017)"},{"key":"9634_CR30","unstructured":"Reyes, M.L.P., Reyes, G.E., Zolfaghari, H.: Generic figures and their glueings: a constructive approach to functor categories. Polimetrica (2004)"},{"key":"9634_CR31","volume-title":"Category Theory in Context","author":"E Riehl","year":"2016","unstructured":"Riehl, E.: Category Theory in Context. Dover Publication Inc., Mineola (2016)"},{"issue":"16","key":"9634_CR32","first-page":"547","volume":"32","author":"P Schultz","year":"2017","unstructured":"Schultz, P., Spivak, D.I., Vasilakopoulou, C., Wisnesky, R.: Algebraic databases. Theory Appl. Categ. 32(16), 547\u2013619 (2017)","journal-title":"Theory Appl. Categ."},{"key":"9634_CR33","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-319-72044-9_5","volume-title":"Recent Trends in Algebraic Development Techniques","author":"P Schultz","year":"2017","unstructured":"Schultz, P., Spivak, D.I., Wisnesky, R.: Algebraic model management: a survey. In: James, P., Roggenbach, M. (eds.) Recent Trends in Algebraic Development Techniques, pp. 56\u201369. Springer, Cham (2017)"},{"key":"9634_CR34","doi-asserted-by":"crossref","unstructured":"Schultz, P., Wisnesky, R.: Algebraic data integration. J. Funct. Program. 27, e24 (2017)","DOI":"10.1017\/S0956796817000168"},{"key":"9634_CR35","unstructured":"Sedgewick, R., Wayne, K.: Algorithms, 4th edn. Addison-Wesley Professional, New York (2011)"},{"key":"9634_CR36","doi-asserted-by":"publisher","unstructured":"Spivak, D.I.: Database queries and constraints via lifting problems. Math. Struct. Comput. Sci. (2014). https:\/\/doi.org\/10.1017\/S0960129513000479","DOI":"10.1017\/S0960129513000479"},{"key":"9634_CR37","doi-asserted-by":"crossref","unstructured":"Spivak, D.I., Wisnesky, R.: Relational foundations for functorial data migration. In: Proceedings of the 15th Symposium on Database Programming Languages, DBPL 2015, pp. 21\u201328. ACM, New York, NY, USA (2015)","DOI":"10.1145\/2815072.2815075"},{"key":"9634_CR38","unstructured":"Wells, C.: Sketches: Outline with references. In: Dept. of Computer Science, Katholieke Universiteit Leuven (1994)"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-022-09634-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10817-022-09634-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-022-09634-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,5]],"date-time":"2022-11-05T11:15:45Z","timestamp":1667646945000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10817-022-09634-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,6]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,11]]}},"alternative-id":["9634"],"URL":"https:\/\/doi.org\/10.1007\/s10817-022-09634-2","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[2022,7,6]]},"assertion":[{"value":"28 June 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 May 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 July 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}