Abstract
Armstrong’s axioms were originally proposed to describe functional dependency between sets of attributes in relational databases. The database semantics of these axioms can be easily rephrased in terms of distributed knowledge in multi-agent systems. The paper proposes alternative semantics of the same axioms in terms of common knowledge. The main technical result of this work is soundness and completeness of Armstrong’s axioms with respect to the proposed semantics. An important implication of this result is an unexpected duality between notions of distributed and common knowledge.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Armstrong, W.W.: Dependency structures of data base relationships. In: Proc. IFIP Congress on Information Processing 1974, Stockholm, pp. 580–583. North-Holland, Amsterdam (1974)
Garcia-Molina, H., Ullman, J., Widom, J.: Database Systems: The Complete Book, 2nd edn. Prentice-Hall (2009)
Beeri, C., Fagin, R., Howard, J.H.: A complete axiomatization for functional and multivalued dependencies in database relations. In: SIGMOD 1977: Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data, pp. 47–61. ACM, New York (1977)
More, S.M., Naumov, P.: The functional dependence relation on hypergraphs of secrets. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 29–40. Springer, Heidelberg (2011)
Harjes, K., Naumov, P.: Functional dependence in strategic games. In: 1st International Workshop on Strategic Reasoning, Rome, Italy. Electronic Proceedings in Theoretical Computer Science 112, pp. 9–15 (March 2013)
Harjes, K., Naumov, P.: Cellular games, nash equilibria, and Fibonacci numbers. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI. LNCS, vol. 8196, pp. 149–161. Springer, Heidelberg (2013)
Kane, J., Naumov, P.: Symmetry in information flow. Annals of Pure and Applied Logic 165(1), 253–265 (2014)
Sutherland, D.: A model of information. In: Proceedings of Ninth National Computer Security Conference, pp. 175–183 (1986)
Kelvey, R., Miner More, S., Naumov, P., Sapp, B.: Independence and functional dependence relations on secrets. In: Proceedings of 12th International Conference on the Principles of Knowledge Representation and Reasoning, Toronto, pp. 528–533. AAAI (2010)
Naumov, P., Nicholls, B.: Rationally functional dependence. In: 10th Conference on Logic and the Foundations of Game and Decision Theory, LOFT (2012)
Lewis, D.: Convention: a philosophical study. Harvard University Press (1969)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about knowledge. MIT Press, Cambridge (1995)
Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. J. ACM 37(3), 549–587 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heckle, Z., Naumov, P. (2014). Common Knowledge Semantics of Armstrong’s Axioms. In: Kohlenbach, U., Barceló, P., de Queiroz, R. (eds) Logic, Language, Information, and Computation. WoLLIC 2014. Lecture Notes in Computer Science, vol 8652. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44145-9_13
Download citation
DOI: https://doi.org/10.1007/978-3-662-44145-9_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44144-2
Online ISBN: 978-3-662-44145-9
eBook Packages: Computer ScienceComputer Science (R0)