The University of Southampton
University of Southampton Institutional Repository

Common knowledge semantics of Armstrong's axioms

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.

0302-9743
181-194
Heckle, Zachary
0cab01d8-a6d0-4d4d-a92f-908c5214a2cb
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
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, 181-194. (doi:10.1007/978-3-662-44145-9_13).

Record type: Article

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
ORCID for Pavel Naumov: ORCID iD orcid.org/0000-0003-1687-045X

Catalogue record

Date deposited: 01 Aug 2023 17:09
Last modified: 06 Jun 2024 02:12

Export record

Altmetrics

Contributors

Author: Zachary Heckle
Author: Pavel Naumov ORCID iD

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×