乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T00:04:58Z","timestamp":1725753898029},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642416590"},{"type":"electronic","value":"9783642416606"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41660-6_2","type":"book-chapter","created":{"date-parts":[[2013,10,28]],"date-time":"2013-10-28T10:59:31Z","timestamp":1382957971000},"page":"13-35","source":"Crossref","is-referenced-by-count":13,"title":["Relational Databases and Bell\u2019s Theorem"],"prefix":"10.1007","author":[{"given":"Samson","family":"Abramsky","sequence":"first","affiliation":[]}],"member":"297","reference":[{"volume-title":"Foundations of Databases","year":"1995","author":"S. Abiteboul","key":"2_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading (1995)"},{"issue":"2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/s11225-013-9477-4","volume":"101","author":"S. Abramsky","year":"2013","unstructured":"Abramsky, S.: Relational Hidden Variables and Non-Locality. Studia Logica\u00a0101(2), 411\u2013452 (2013)","journal-title":"Studia Logica"},{"issue":"2011","key":"2_CR3","doi-asserted-by":"publisher","first-page":"113036","DOI":"10.1088\/1367-2630\/13\/11\/113036","volume":"13","author":"S. Abramsky","year":"2011","unstructured":"Abramsky, S., Brandenburger, A.: The sheaf-theoretic structure of non-locality and contextuality. New Journal of Physics\u00a013(2011), 113036 (2011)","journal-title":"New Journal of Physics"},{"key":"2_CR4","unstructured":"Abramsky, S., Gottlob, G., Kolaitis, P.: Robust constraint satisfaction and local hidden variables in quantum mechanics. In: Rossi, F. (ed.) Proceedings of the International Joint Conference in Artificial Intelligence (IJCAI) (2013)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"62114","DOI":"10.1103\/PhysRevA.85.062114","volume":"85","author":"S. Abramsky","year":"2012","unstructured":"Abramsky, S., Hardy, L.: Logical Bell Inequalities. Physical Review A\u00a085, 062114 (2012)","journal-title":"Physical Review A"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Mansfield, S., Barbosa, R.S.: The cohomology of non-locality and contextuality. In: Proceedings of Quantum Physics and Logic 2011. EPTCS, vol.\u00a095, pp. 1\u201315 (2012)","DOI":"10.4204\/EPTCS.95.1"},{"issue":"3","key":"2_CR7","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1145\/2402.322389","volume":"30","author":"C. Beeri","year":"1983","unstructured":"Beeri, C., Fagin, R., Maier, D., Yannakakis, M.: On the desirability of acyclic database schemes. Journal of the ACM (JACM)\u00a030(3), 479\u2013513 (1983)","journal-title":"Journal of the ACM (JACM)"},{"issue":"3","key":"2_CR8","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1103\/PhysicsPhysiqueFizika.1.195","volume":"1","author":"J.S. Bell","year":"1964","unstructured":"Bell, J.S.: On the Einstein-Podolsky-Rosen paradox. Physics\u00a01(3), 195\u2013200 (1964)","journal-title":"Physics"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Buneman, P., Tan, W.C.: Provenance in databases. In: Proceedings of the 2007 ACM SIGMOD International Conference on Management of Data, pp. 1171\u20131173. ACM (2007)","DOI":"10.1145\/1247480.1247646"},{"issue":"4","key":"2_CR10","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0375-9601(96)00134-X","volume":"212","author":"A. Cabello","year":"1996","unstructured":"Cabello, A., Estebaranz, J.M., Garc\u00eda-Alcaine, G.: Bell-Kochen-Specker theorem: A proof with 18 vectors. Physics Letters A\u00a0212(4), 183\u2013187 (1996)","journal-title":"Physics Letters A"},{"issue":"4","key":"2_CR11","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1561\/1900000006","volume":"1","author":"J. Cheney","year":"2009","unstructured":"Cheney, J., Chiticariu, L., Tan, W.C.: Provenance in databases: Why, how, and where. Foundations and Trends in Databases\u00a01(4), 379\u2013474 (2009)","journal-title":"Foundations and Trends in Databases"},{"issue":"3","key":"2_CR12","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1145\/319732.319735","volume":"7","author":"R. Fagin","year":"1982","unstructured":"Fagin, R., Mendelzon, A.O., Ullman, J.D.: A simplified universal relation assumption and its properties. ACM Transactions on Database Systems (TODS)\u00a07(3), 343\u2013360 (1982)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Golan, J.S.: Semirings and their Applications. Springer (1999)","DOI":"10.1007\/978-94-015-9333-5"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen, V.: Provenance semirings. In: Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 31\u201340. ACM (2007)","DOI":"10.1145\/1265530.1265535"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Greenberger, D.M., Horne, M.A., Zeilinger, A.: Going beyond Bell\u2019s theorem. In: Kafatos, M. (ed.) Bell\u2019s Theorem, Quantum Theory, and Conceptions of the Universe, pp. 69\u201372. Kluwer (1989)","DOI":"10.1007\/978-94-017-0849-4_10"},{"issue":"20","key":"2_CR16","doi-asserted-by":"publisher","first-page":"2981","DOI":"10.1103\/PhysRevLett.68.2981","volume":"68","author":"L. Hardy","year":"1992","unstructured":"Hardy, L.: Quantum mechanics, local realistic theories, and Lorentz-invariant realistic theories. Physical Review Letters\u00a068(20), 2981\u20132984 (1992)","journal-title":"Physical Review Letters"},{"issue":"1","key":"2_CR17","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/0020-0190(80)90114-3","volume":"10","author":"P. Honeyman","year":"1980","unstructured":"Honeyman, P., Ladner, R.E., Yannakakis, M.: Testing the universal instance assumption. Information Processing Letters\u00a010(1), 14\u201319 (1980)","journal-title":"Information Processing Letters"},{"issue":"1","key":"2_CR18","first-page":"59","volume":"17","author":"S. Kochen","year":"1967","unstructured":"Kochen, S., Specker, E.P.: The problem of hidden variables in quantum mechanics. Journal of Mathematics and Mechanics\u00a017(1), 59\u201387 (1967)","journal-title":"Journal of Mathematics and Mechanics"},{"issue":"3","key":"2_CR19","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1145\/1270.1209","volume":"9","author":"H.F. Korth","year":"1984","unstructured":"Korth, H.F., Kuper, G.M., Feigenbaum, J., Van Gelder, A., Ullman, J.D.: SYSTEM\/U: A database system based on the universal relation assumption. ACM Transactions on Database Systems (TODS)\u00a09(3), 331\u2013347 (1984)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"key":"2_CR20","unstructured":"Mac Lane, S.: Categories for the working mathematician, vol.\u00a05. Springer (1998)"},{"issue":"1","key":"2_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/319830.319831","volume":"8","author":"D. Maier","year":"1983","unstructured":"Maier, D., Ullman, J.D.: Maximal objects and the semantics of universal relation databases. ACM Transactions on Database Systems (TODS)\u00a08(1), 1\u201314 (1983)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/329.318580","volume":"9","author":"D. Maier","year":"1984","unstructured":"Maier, D., Ullman, J.D., Vardi, M.Y.: On the foundations of the universal relation model. ACM Transactions on Database Systems (TODS)\u00a09(2), 283\u2013308 (1984)","journal-title":"ACM Transactions on Database Systems (TODS)"},{"issue":"8","key":"2_CR23","doi-asserted-by":"publisher","first-page":"731","DOI":"10.1119\/1.16503","volume":"58","author":"N.D. Mermin","year":"1990","unstructured":"Mermin, N.D.: Quantum mysteries revisited. Am. J. Phys.\u00a058(8), 731\u2013734 (1990)","journal-title":"Am. J. Phys."},{"key":"2_CR24","unstructured":"Nielsen, M.Q.C., Chuang, I.: Quantum Computation and Quantum Information. Cambridge University Press (2000)"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Pierce, B.C.: Basic category theory for computer scientists. The MIT Press (1991)","DOI":"10.7551\/mitpress\/1524.001.0001"},{"key":"2_CR26","unstructured":"Ullman, J.D.: Principles of database systems. Prentice-Hall (1983)"},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1137\/1107014","volume":"7","author":"N.N. Vorob\u2019ev","year":"1962","unstructured":"Vorob\u2019ev, N.N.: Consistent families of measures and their extensions. Theory of Probability and its Applications\u00a07, 147 (1962)","journal-title":"Theory of Probability and its Applications"},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Waegell, M., Aravind, P.K.: Parity proofs of the Kochen-Specker theorem based on the 24 rays of Peres. Arxiv preprint arXiv:1103.6058v1 (2011)","DOI":"10.1007\/s10701-011-9578-8"},{"key":"2_CR29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813887","volume-title":"Quantum computing for computer scientists","author":"N.S. Yanofsky","year":"2008","unstructured":"Yanofsky, N.S., Mannucci, M.A.: Quantum computing for computer scientists, vol.\u00a020. Cambridge University Press, Cambridge (2008)"}],"container-title":["Lecture Notes in Computer Science","In Search of Elegance in the Theory and Practice of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41660-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,10]],"date-time":"2022-03-10T19:05:32Z","timestamp":1646939132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41660-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642416590","9783642416606"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41660-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}