Abstract
We prove that the form of conditional independence at play in database theory and independence logic is reducible to the first-order dividing calculus in the theory of atomless Boolean algebras. This establishes interesting connections between independence in database theory and stochastic independence. As indeed, in light of the aforementioned reduction and recent work of Ben-Yaacov (Isr. J. Math. 194(2):957–1012, 2013), the former case of independence can be seen as the discrete version of the latter.
Similar content being viewed by others
References
Armstrong, W.W.: Dependency structures of data base relationships. In: IFIP Congress, pp. 580–583 (1974)
Avils A., Brech C.: A Boolean algebra and a banach space obtained by push-out iteration. Topol. Appl. 158(13), 1534–1550 (2011)
Baldwin J.T., Eklof P.C., Trlifaj J.: \({^{\perp}N}\) as an abstract elementary class. Ann. Pure Appl. Log. 149(1), 25–39 (2007)
Ben Yaacov I.: On theories of random variables. Isr. J. Math. 194(2), 957–1012 (2013)
Ben Yaacov I., Usvyatsov A.: Continuous first order logic and local stability. Trans. Am. Math. Soc. 362(10), 5213–5259 (2010)
Givant S., Halmos P.: Introduction to Boolean Algebras. Springer, Berlin (2009)
Grädel E., Väänänen J.: Dependence, independence, and incomplete information. Stud. Log. 101(2), 399–410 (2013)
Hodges W.: Compositional semantics for a logic of imperfect information. Log. J. IGPL 5, 539–563 (1997)
Hirvonen Å.: Independence in model theory. In: Abramsky, S., Kontinen, J., Vollmer, H., Väänänen, J. (eds.) Dependence Logic: Theory and Applications, Springer, New York (2016)
Hirvonen Å., Hyttinen T.: Categoricity in homogeneous complete metric spaces. Arch. Math. Log. 48, 269–322 (2009)
Hirvonen, Å., Hyttinen, T.: Measuring dependence in metric abstract elementary classes with perturbations (submitted)
Hyttinen T., Kangas K.: On model theory of covers of algebraically closed fields. Ann. Acad. Sci. Fenn. Math. 40(2), 507–533 (2015)
Hyttinen, T., Paolini, G., Väänänen, J.: A logic for arguing about probabilities in measure teams (submitted)
Hyttinen, T., Paolini, G.: Beyond abstract elementary classes: on the model theory of geometric lattices (submitted)
Hyttinen T., Paolini G., Väänänen J.: Quantum team logic and Bell’s inequalities. Rev. Symb. Log. 08(04), 722–742 (2015)
Marker D.: Introduction to Model Theory. Springer, New York (2002)
Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference Morgan Kaufman, San Mateo CA (1988)
Poizat B.: A Course in Model Theory. Springer, Berlin (2000)
Sagiv Y., Walecka S.F.: Subset dependencies and a completeness result for a subclass of embedded multivalued dependencies. J. ACM 29(1), 103–117 (1982)
Shelah S.: Classification Theory: and the Number of Non-isomorphic Models. Elsevier, Amsterdam (1990)
Studeny, M.: Conditional independence relations have no finite complete characterization. In: Transactions of the 11th Prague Conference on Information Theory. Kluwer, pp. 377-396 (1992)
Väänänen J.: Dependence Logic, Volume 70 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
The research of the second author was supported by the Finnish Academy of Science and Letters (Vilho, Yrjö and Kalle Väisälä foundation). The authors would like to thank the referee for suggesting a simpler and slightly more general proof of the main theorem. The authors would also like to thank John Baldwin and Jouko Väänänen for useful suggestions and discussions related to this paper.
Rights and permissions
About this article
Cite this article
Hyttinen, T., Paolini, G. Reduction of database independence to dividing in atomless Boolean algebras. Arch. Math. Logic 55, 505–518 (2016). https://doi.org/10.1007/s00153-016-0477-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-016-0477-8