Common knowledge semantics of Armstrong's axioms
Common knowledge semantics of Armstrong's axioms
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.
181-194
Heckle, Zachary
0cab01d8-a6d0-4d4d-a92f-908c5214a2cb
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
2014
Heckle, Zachary
0cab01d8-a6d0-4d4d-a92f-908c5214a2cb
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Heckle, Zachary and Naumov, Pavel
(2014)
Common knowledge semantics of Armstrong's axioms.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8652, .
(doi:10.1007/978-3-662-44145-9_13).
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 record has no associated files available for download.
More information
Published date: 2014
Venue - Dates:
21st International Workshop on Logic, Language, Information, and Computation, WoLLIC 2014, , Valparaiso, Chile, 2014-09-01 - 2014-09-04
Identifiers
Local EPrints ID: 480226
URI: http://eprints.soton.ac.uk/id/eprint/480226
ISSN: 0302-9743
PURE UUID: f2e59ca5-d86e-4036-983e-f3c69bee1eae
Catalogue record
Date deposited: 01 Aug 2023 17:09
Last modified: 17 Mar 2024 04:10
Export record
Altmetrics
Contributors
Author:
Zachary Heckle
Author:
Pavel Naumov
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics