{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:09Z","timestamp":1740099069431,"version":"3.37.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319893655"},{"type":"electronic","value":"9783319893662"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89366-2_27","type":"book-chapter","created":{"date-parts":[[2018,4,13]],"date-time":"2018-04-13T19:52:34Z","timestamp":1523649154000},"page":"494-510","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Equational Theory of the Natural Join and Inner Union is Decidable"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4237-7856","authenticated-orcid":false,"given":"Luigi","family":"Santocanale","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,14]]},"reference":[{"key":"27_CR1","volume-title":"Foundations of Databases: The Logical Level","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases: The Logical Level, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)","edition":"1"},{"issue":"2","key":"27_CR2","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1134\/S2070046613020015","volume":"5","author":"N Ackerman","year":"2013","unstructured":"Ackerman, N.: Completeness in generalized ultrametric spaces. p-Adic Numbers Ultrametric Anal. Appl. 5(2), 89\u2013105 (2013)","journal-title":"p-Adic Numbers Ultrametric Anal. Appl."},{"issue":"1","key":"27_CR3","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/S0304-3975(01)00089-5","volume":"290","author":"D Caucal","year":"2003","unstructured":"Caucal, D.: On infinite transition graphs having a decidable monadic theory. Theoret. Comput. Sci. 290(1), 79\u2013115 (2003)","journal-title":"Theoret. Comput. Sci."},{"issue":"6","key":"27_CR4","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"EF Codd","year":"1970","unstructured":"Codd, E.F.: A relational model of data for large shared data banks. Commun. ACM 13(6), 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"key":"27_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, New York (2002)"},{"issue":"1\u20132","key":"27_CR6","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-4049(87)90124-1","volume":"49","author":"R Dyckhoff","year":"1987","unstructured":"Dyckhoff, R., Tholen, W.: Exponentiable morphisms, partial products and pullback complements. J. Pure Appl. Algebra 49(1\u20132), 103\u2013116 (1987)","journal-title":"J. Pure Appl. Algebra"},{"key":"27_CR7","doi-asserted-by":"publisher","DOI":"10.1090\/surv\/042","volume-title":"Free Lattices","author":"R Freese","year":"1995","unstructured":"Freese, R., Je\u017eek, J., Nation, J.: Free Lattices. American Mathematical Society, Providence (1995)"},{"key":"27_CR8","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1111\/j.1755-2567.1970.tb00430.x","volume":"36","author":"DM Gabbay","year":"1970","unstructured":"Gabbay, D.M.: Selective filtration in modal logic I. Semantic tableaux method. Theoria 36, 323\u2013330 (1970)","journal-title":"Theoria"},{"key":"27_CR9","volume-title":"General Lattice Theory","author":"G Gr\u00e4tzer","year":"1998","unstructured":"Gr\u00e4tzer, G.: General Lattice Theory. Birkh\u00e4user Verlag, Basel (1998). New appendices by the author with B. A. Davey, R. Freese, B. Ganter, M. Greferath, P. Jipsen, H. A. Priestley, H. Rose, E. T. Schmidt, S. E. Schmidt, F. Wehrung and R. Wille"},{"key":"27_CR10","doi-asserted-by":"crossref","DOI":"10.1201\/b10959","volume-title":"Handbook of Product Graphs","author":"R Hammack","year":"2011","unstructured":"Hammack, R., Imrich, W., Klavzar, S.: Handbook of Product Graphs, 2nd edn. CRC Press Inc., Boca Raton (2011)","edition":"2"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.1090\/S0002-9947-99-02264-3","volume":"353","author":"R Hirsch","year":"2001","unstructured":"Hirsch, R., Hodkinson, I.: Representability is not decidable for finite relation algebras. Trans. Amer. Math. Soc. 353, 1403\u20131425 (2001)","journal-title":"Trans. Amer. Math. Soc."},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Hirsch, R., Hodkinson, I., Kurucz, A.: On modal logics between $${\\bf K} \\times {\\bf K} \\times {\\bf K} $$K\u00d7K\u00d7K and $$ {\\bf S5} \\times {\\bf S5} \\times {\\bf S5} $$S5\u00d7S5\u00d7S5. J. Symbolic Log. 67(3), 221\u2013234 (2002)","DOI":"10.2178\/jsl\/1190150040"},{"key":"27_CR13","series-title":"Wiley-Interscience Series in Discrete Mathematics and Optimization","volume-title":"Product Graphs","author":"W Imrich","year":"2000","unstructured":"Imrich, W., Klavar, S.: Product Graphs. Wiley-Interscience Series in Discrete Mathematics and Optimization. Wiley-Interscience, New York (2000). Structure and recognition, With a foreword by Peter Winkler"},{"key":"27_CR14","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Categorical Logic and Type Theory","author":"B Jacobs","year":"1999","unstructured":"Jacobs, B.: Categorical Logic and Type Theory. Studies in Logic and the Foundations of Mathematics, vol. 141. North-Holland Publishing Co., Amsterdam (1999)"},{"key":"27_CR15","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1016\/S1570-2464(07)80018-8","volume-title":"Handbook of Modal Logic","author":"Agi Kurucz","year":"2007","unstructured":"Kurucz, A.: Combining modal logics. In: Patrick Blackburn, J.V.B., Wolter, F. (eds.) Handbook of Modal Logic, vol. 3 (Studies in Logic and Practical Reasoning), pp. 869\u2013924. Elsevier (2007)"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Lawvere, F.W.: Metric spaces, generalized logic and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano XLIII, pp. 135\u2013166 (1973)","DOI":"10.1007\/BF02924844"},{"issue":"4","key":"27_CR17","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1016\/j.jlamp.2015.11.008","volume":"85","author":"T Litak","year":"2016","unstructured":"Litak, T., Mikul\u00e1s, S., Hidders, J.: Relational lattices: from databases to universal algebra. J. Logic. Algebraic Methods Program. 85(4), 540\u2013573 (2016)","journal-title":"J. Logic. Algebraic Methods Program."},{"issue":"2","key":"27_CR18","doi-asserted-by":"publisher","first-page":"311","DOI":"10.2307\/2273191","volume":"45","author":"R Maddux","year":"1980","unstructured":"Maddux, R.: The equational theory of $${C}{A}_{3}$$CA3 is undecidable. J. Symbolic Logic 45(2), 311\u2013316 (1980)","journal-title":"J. Symbolic Logic"},{"key":"27_CR19","unstructured":"Pouzet, M.: Une approche m\u00e9trique de la r\u00e9traction dans les ensembles ordonn\u00e9s et les graphes. In: Proceedings of the Conference on Infinitistic Mathematics (Lyon, 1984), pp. 59\u201389. Publ. Dp. Math. Nouvelle S\u00e9r. B, 85\u20132, Univ. Claude-Bernard, Lyon (1985)"},{"issue":"1","key":"27_CR20","first-page":"1187","volume":"320","author":"S Priess-Crampe","year":"1995","unstructured":"Priess-Crampe, S., Ribemboim, P.: Equivalence relations and spherically complete ultrametric spaces. C. R. Acad. Sci. Paris 320(1), 1187\u20131192 (1995)","journal-title":"C. R. Acad. Sci. Paris"},{"key":"27_CR21","unstructured":"Santocanale, L.: A duality for finite lattices, September 2009. http:\/\/hal.archives-ouvertes.fr\/hal-00432113"},{"key":"27_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-319-40370-0_12","volume-title":"Coalgebraic Methods in Computer Science","author":"L Santocanale","year":"2016","unstructured":"Santocanale, L.: Relational lattices via duality. In: Hasuo, I. (ed.) CMCS 2016. LNCS, vol. 9608, pp. 195\u2013215. Springer, Cham (2016)"},{"key":"27_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-319-57418-9_16","volume-title":"Relational and Algebraic Methods in Computer Science","author":"L Santocanale","year":"2017","unstructured":"Santocanale, L.: Embeddability into relational lattices is undecidable. In: H\u00f6fner, P., Pous, D., Struth, G. (eds.) RAMICS 2017. LNCS, vol. 10226, pp. 258\u2013273. Springer, Cham (2017). https:\/\/hal.archives-ouvertes.fr\/hal-01474822"},{"key":"27_CR24","unstructured":"Santocanale, L., Wehrung, F.: The equational theory of the weak order on finite symmetric groups, P. 41, September 2014"},{"key":"27_CR25","unstructured":"Spight, M., Tropashko, V.: Relational lattice axioms (2008). http:\/\/arxiv.org\/abs\/0807.3795"},{"key":"27_CR26","unstructured":"Tropashko, V.: Relational algebra as non-distributive lattice (2006). http:\/\/arxiv.org\/abs\/cs\/0501053"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89366-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T16:23:18Z","timestamp":1571156598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89366-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319893655","9783319893662"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89366-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}