Skip to main content
SpringerLink
Log in

Rationally Functional Dependence

  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

Abstract

Two different types of functional dependencies are compared: dependencies that are functional due to the laws of nature and dependencies that are functional if all involved agents behave rationally. The first type of dependencies was axiomatized by Armstrong. This article gives a formal definition of the second type of functional dependencies in terms of strategic games and describes a sound and complete axiomatization of their properties. The axiomatization is significantly different from the Armstrong’s axioms.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1

Similar content being viewed by others

Notes

  1. Although soundness and completeness were shown by Armstrong for a database semantics, his proofs could be easily adopted to other formalizations of functional dependence.

References

  1. Armstrong, W.W. (1974). Dependency structures of data base relationships. In Information processing 74 (Proc. IFIP Congress, Stockholm, 1974) (pp. 580–583). North-Holland, Amsterdam.

  2. Beeri, C., Fagin, R., Howard, J.H. (1977). A complete axiomatization for functional and multivalued dependencies in database relations. In SIGMOD ’77: Proceedings of the 1977 ACM SIGMOD international conference on management of data (pp. 47–61). New York, NY: ACM.

    Chapter  Google Scholar 

  3. Garcia-Molina, H., Ullman, J., Widom, J. (2009). Database systems: The complete book, 2nd edn. Upper Saddle River: Prentice-Hall.

    Google Scholar 

  4. Grossi, D., & Turrini, P. (2012). Dependence in games and dependence games. Autonomous Agents and Multi-Agent Systems, 25(2), 284–312.

    Article  Google Scholar 

  5. More, S.M., & Naumov, P. (2011). The functional dependence relation on hypergraphs of secrets. In J. Leite, P. Torroni, T. Ågotnes, G. Boella, L. van der Torre (Eds.), CLIMA, Lecture notes in computer science (Vol. 6814, pp. 29–40). New York: Springer.

    Google Scholar 

  6. Naumov, P., & Nicholls, B. (2011). Game semantics for the Geiger-Paz-Pearl axioms of independence.. In The third international workshop on logic, rationality and interaction (LORI-III), LNAI 6953 (pp. 220–232). New York: Springer.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, McDaniel College, Westminster, Maryland, 21157, USA

    Pavel Naumov & Brittany Nicholls

Authors
  1. Pavel Naumov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Brittany Nicholls
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pavel Naumov.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Naumov, P., Nicholls, B. Rationally Functional Dependence. J Philos Logic 43, 603–616 (2014). https://doi.org/10.1007/s10992-013-9283-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10992-013-9283-5

Keywords

Search

Navigation