{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:28:08Z","timestamp":1725791288548},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319062501"},{"type":"electronic","value":"9783319062518"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06251-8_20","type":"book-chapter","created":{"date-parts":[[2014,4,7]],"date-time":"2014-04-07T21:32:39Z","timestamp":1396906359000},"page":"327-343","source":"Crossref","is-referenced-by-count":3,"title":["Relational Lattices"],"prefix":"10.1007","author":[{"given":"Tadeusz","family":"Litak","sequence":"first","affiliation":[]},{"given":"Szabolcs","family":"Mikul\u00e1s","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Hidders","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"20_CR2","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. Commun. ACM\u00a013, 377\u2013387 (1970)","journal-title":"Commun. ACM"},{"key":"20_CR3","unstructured":"Craig, W.: Logic in Algebraic Form. Three Languages and Theories. Studies in Logic and the Foundations of Mathematics, p. 72. North Holland (1974)"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/S0304-3975(01)00016-0","volume":"269","author":"I. D\u00fcntsch","year":"2001","unstructured":"D\u00fcntsch, I., Mikul\u00e1s, S.: Cylindric structures and dependencies in relational databases. Theor. Comput. Sci.\u00a0269, 451\u2013468 (2001)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Ganter, B., Wille, R.: Applied Lattice Theory: Formal Concept Analysis. In: Gr\u00e4tzer, G. (ed.) General Lattice Theory, 2nd edn., Birkh\u00e4user (1996)","DOI":"10.1007\/978-3-0348-9326-8"},{"key":"20_CR6","first-page":"25","volume":"5","author":"Y. Gurevich","year":"1966","unstructured":"Gurevich, Y.: The word problem for certain classes of semigroups. Algebra and Logic\u00a05, 25\u201335 (1966)","journal-title":"Algebra and Logic"},{"key":"20_CR7","doi-asserted-by":"publisher","first-page":"184","DOI":"10.2307\/2274101","volume":"49","author":"Y. Gurevich","year":"1984","unstructured":"Gurevich, Y., Lewis, H.R.: The Word Problem for Cancellation Semigroups with Zero. The Journal of Symbolic Logic\u00a049, 184\u2013191 (1984)","journal-title":"The Journal of Symbolic Logic"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0305004100033120","volume":"54","author":"R. Harrop","year":"1958","unstructured":"Harrop, R.: On the existence of finite models and decision procedures for propositional calculi. Mathematical Proceedings of the Cambridge Philosophical Society\u00a054, 1\u201313 (1958)","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"key":"20_CR9","unstructured":"Hirsch, R., Hodkinson, I.: Relation Algebras by Games. Studies in Logic and the Foundations of Mathematics, vol.\u00a0147. Elsevier (2002)"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/0022-0000(84)90077-1","volume":"28","author":"T. Imieli\u0144ski","year":"1984","unstructured":"Imieli\u0144ski, T., Lipski, W.: The Relational Model of Data and Cylindric Algebras. J. Comput. Syst. Sci.\u00a028, 80\u2013102 (1984)","journal-title":"J. Comput. Syst. Sci."},{"key":"20_CR11","volume-title":"Categorical Logic and Type Theory. Studies in Logic and the Foundations of Mathematics","author":"B. Jacobs","year":"1999","unstructured":"Jacobs, B.: Categorical Logic and Type Theory. Studies in Logic and the Foundations of Mathematics, vol.\u00a0141. North Holland, Amsterdam (1999)"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Jipsen, P., Rose, H.: Varieties of Lattices. Lecture Notes in Mathematics, vol.\u00a01533. Springer (1992)","DOI":"10.1007\/BFb0090224"},{"key":"20_CR13","unstructured":"Jipsen, P., Rose, H.: Varieties of Lattices. In: Gr\u00e4tzer, G. (ed.) General Lattice Theory, pp. 555\u2013574. Birkh\u00e4user (1998); Appendix F to the second edition"},{"key":"20_CR14","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 CA\n                  3 is Undecidable. The Journal of Symbolic Logic\u00a045, 311\u2013316 (1980)","journal-title":"The Journal of Symbolic Logic"},{"key":"20_CR15","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1090\/S0002-9939-1974-0340132-4","volume":"44","author":"S. Maeda","year":"1974","unstructured":"Maeda, S.: Locally Modular Lattices and Locally Distributive Lattices. Proceedings of the American Mathematical Society\u00a044, 237\u2013243 (1974)","journal-title":"Proceedings of the American Mathematical Society"},{"key":"20_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0002-9947-1972-0313141-1","volume":"174","author":"R. McKenzie","year":"1972","unstructured":"McKenzie, R.: Equational bases and non-modular lattice varieties. Trans. Amer. Math. Soc.\u00a0174, 1\u201343 (1972)","journal-title":"Trans. Amer. Math. Soc."},{"key":"20_CR17","first-page":"391","volume":"33","author":"R. Padmanabhan","year":"2007","unstructured":"Padmanabhan, R., McCune, W., Veroff, R.: Lattice Laws Forcing Distributivity Under Unique Complementation. Houston Journal of Mathematics\u00a033, 391\u2013401 (2007)","journal-title":"Houston Journal of Mathematics"},{"key":"20_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2267170","volume":"12","author":"E.L. Post","year":"1947","unstructured":"Post, E.L.: Recursive Unsolvability of a Problem of Thue. The Journal of Symbolic Logic\u00a012, 1\u201311 (1947)","journal-title":"The Journal of Symbolic Logic"},{"key":"20_CR19","unstructured":"Spight, M., Tropashko, V.: First Steps in Relational Lattice (2006), \n                    \n                      http:\/\/arxiv.org\/abs\/cs\/0603044"},{"key":"20_CR20","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/BF02945028","volume":"2","author":"R.P. Stanley","year":"1972","unstructured":"Stanley, R.P.: Supersolvable lattices. Algebra Universalis\u00a02, 197\u2013217 (1972)","journal-title":"Algebra Universalis"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Stern, M.: Semimodular Lattices. Encyclopedia of Mathematics and its Applications, vol.\u00a073. Cambridge University Press (1999)","DOI":"10.1017\/CBO9780511665578"},{"key":"20_CR22","unstructured":"Tropashko, V.: The website of QBQL: Prototype of relational lattice system, \n                    \n                      https:\/\/code.google.com\/p\/qbql\/"},{"key":"20_CR23","unstructured":"Tropashko, V.: Relational Algebra as non-Distributive Lattice (2005), \n                    \n                      http:\/\/arxiv.org\/abs\/cs\/0501053"},{"key":"20_CR24","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/1265530.1265551","volume-title":"PODS 2007: Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems","author":"J. Bussche Van den","year":"2007","unstructured":"Van den Bussche, J., Van Gucht, D., Vansummeren, S.: A crash course on database queries. In: PODS 2007: Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 143\u2013154. ACM, New York (2007)"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06251-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T10:41:08Z","timestamp":1558867268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06251-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319062501","9783319062518"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06251-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}