Fetching the paper…
Reading the bibliography…
Our aim in this paper is to point out a surprising formal connection, between two topics which seem on face value to have nothing to do with each other: relational database theory, and the study of non-locality and contextuality in the foundations of quantum mechanics.
Consistent families of measures and their extensions
N.N. Vorob’ev · 1962
Earlier work this paper cites.
On the Einstein-Podolsky-Rosen paradox
J.S. Bell · 1964
Earlier work this paper cites.
The problem of hidden variables in quantum mechanics
S. Kochen and E.P. Specker · 1967
Earlier work this paper cites.
Testing the universal instance assumption
P. Honeyman, R.E. Ladner, and M. Yannakakis · 1980
Earlier work this paper cites.
A simplified universal relation assumption and its properties
R. Fagin, A.O. Mendelzon, and J.D. Ullman · 1982
Earlier work this paper cites.
On the desirability of acyclic database schemes
C. Beeri, R. Fagin, D. Maier, and M. Yannakakis · 1983
Earlier work this paper cites.
Maximal objects and the semantics of universal relation databases
D. Maier and J.D. Ullman · 1983
Earlier work this paper cites.
Principles of database systems
J.D. Ullman · 1983
Earlier work this paper cites.
SYSTEM/U: a database system based on the universal relation assumption
H.F. Korth, G.M. Kuper, J. Feigenbaum, A. Van Gelder, and J.D. Ullman · 1984
Earlier work this paper cites.
On the foundations of the universal relation model
D. Maier, J.D. Ullman, and M.Y. Vardi · 1984
Earlier work this paper cites.
Going beyond Bell’s theorem
D.M. Greenberger, M.A. Horne, and A. Zeilinger · 1989
Cited alongside, same era.
Quantum mysteries revisited
N.D. Mermin · 1990
Cited alongside, same era.
Basic category theory for computer scientists
B.C. Pierce · 1991
Cited alongside, same era.
Quantum mechanics, local realistic theories, and Lorentz-invariant realistic theories
L. Hardy · 1992
Cited alongside, same era.
Foundations of Databases
Serge Abiteboul, Richard Hull, and Victor Vianu · 1995
Cited alongside, same era.
Bell-Kochen-Specker theorem: A proof with 18 vectors
A. Cabello, J.M. Estebaranz, and G. García-Alcaine · 1996
Cited alongside, same era.
Categories for the working mathematician
Provenance semirings
T.J. Green, G. Karvounarakis, and V. Tannen · 2007
Later among the works it cites.
Quantum computing for computer scientists
Noson S Yanofsky and Mirco A Mannucci · 2008
Later among the works it cites.
Provenance in databases: Why, how, and where
James Cheney, Laura Chiticariu, and Wang Chiew Tan · 2009
Later among the works it cites.
The sheaf-theoretic structure of non-locality and contextuality
S. Abramsky and A. Brandenburger · 2011
Later among the works it cites.
Parity proofs of the Kochen-Specker theorem based on the 24 rays of Peres
M. Waegell and P.K. Aravind · 2011
Later among the works it cites.
Logical Bell Inequalities
S. Abramsky and L. Hardy · 2012
Closest in time.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
S. Mac Lane · 1998
Cited alongside, same era.
Semirings and their Applications
J.S. Golan · 1999
Cited alongside, same era.
Quantum Computation and Quantum Information
M.Q.C. Nielsen and I. Chuang · 2000
Cited alongside, same era.
Provenance in databases
P. Buneman and W.C. Tan · 2007
Cited alongside, same era.
The cohomology of non-locality and contextuality
S. Abramsky, S. Mansfield, and R.S. Barbosa · 2012
Closest in time.
Relational Hidden Variables and Non-Locality
S. Abramsky · 2013
Closest in time.
Robust constraint satisfaction and local hidden variables in quantum mechanics
S. Abramsky, G. Gottlob, and P. Kolaitis · 2013
Closest in time.