Enhancing Datalog with epistemic operators to reason about knowledge in distributed systems

Matteo Interlandi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In the last few years, researchers started to investigate how recursive queries and deductive languages can be applied to find solutions to the new emerging trends in distributed computing. We conjecture that a missing piece in the current state-of-the-art in logic programming is the capability to express statements about the knowledge state of distributed nodes. In fact, reasoning about the state of remote nodes is fundamental in distributed contexts in order to design and analyze protocol behavior. To reach this goal, we leveraged Datalog with an epistemic modal operator, allowing the programmer to directly express nodes' state of knowledge instead of low level communication details. To support the effectiveness of our proposal, we introduce, as example, the declarative implementation of a well-known protocol employed to execute distributed databases transactions: the two phase commit protocol. Copyright (c) 2012 - Edizioni Libreria Progetto and the authors.

Original languageEnglish
Title of host publicationProceedings of the 20th Italian Symposium on Advanced Database Systems, SEBD 2012
Pages265-270
Number of pages6
Publication statusPublished - 1 Dec 2012
Event20th Italian Symposium on Advanced Database Systems, SEBD 2012 - Venice, Italy
Duration: 24 Jun 201227 Jun 2012

Other

Other20th Italian Symposium on Advanced Database Systems, SEBD 2012
CountryItaly
CityVenice
Period24/6/1227/6/12

Fingerprint

Network protocols
Logic programming
Distributed computer systems
Communication

ASJC Scopus subject areas

  • Information Systems

Cite this

Interlandi, M. (2012). Enhancing Datalog with epistemic operators to reason about knowledge in distributed systems. In Proceedings of the 20th Italian Symposium on Advanced Database Systems, SEBD 2012 (pp. 265-270)

Enhancing Datalog with epistemic operators to reason about knowledge in distributed systems. / Interlandi, Matteo.

Proceedings of the 20th Italian Symposium on Advanced Database Systems, SEBD 2012. 2012. p. 265-270.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Interlandi, M 2012, Enhancing Datalog with epistemic operators to reason about knowledge in distributed systems. in Proceedings of the 20th Italian Symposium on Advanced Database Systems, SEBD 2012. pp. 265-270, 20th Italian Symposium on Advanced Database Systems, SEBD 2012, Venice, Italy, 24/6/12.
Interlandi M. Enhancing Datalog with epistemic operators to reason about knowledge in distributed systems. In Proceedings of the 20th Italian Symposium on Advanced Database Systems, SEBD 2012. 2012. p. 265-270
Interlandi, Matteo. / Enhancing Datalog with epistemic operators to reason about knowledge in distributed systems. Proceedings of the 20th Italian Symposium on Advanced Database Systems, SEBD 2012. 2012. pp. 265-270
@inproceedings{d1f6b6631b2e4369a56eecc81d0d0d15,
title = "Enhancing Datalog with epistemic operators to reason about knowledge in distributed systems",
abstract = "In the last few years, researchers started to investigate how recursive queries and deductive languages can be applied to find solutions to the new emerging trends in distributed computing. We conjecture that a missing piece in the current state-of-the-art in logic programming is the capability to express statements about the knowledge state of distributed nodes. In fact, reasoning about the state of remote nodes is fundamental in distributed contexts in order to design and analyze protocol behavior. To reach this goal, we leveraged Datalog with an epistemic modal operator, allowing the programmer to directly express nodes' state of knowledge instead of low level communication details. To support the effectiveness of our proposal, we introduce, as example, the declarative implementation of a well-known protocol employed to execute distributed databases transactions: the two phase commit protocol. Copyright (c) 2012 - Edizioni Libreria Progetto and the authors.",
author = "Matteo Interlandi",
year = "2012",
month = "12",
day = "1",
language = "English",
isbn = "9788896477236",
pages = "265--270",
booktitle = "Proceedings of the 20th Italian Symposium on Advanced Database Systems, SEBD 2012",

}

TY - GEN

T1 - Enhancing Datalog with epistemic operators to reason about knowledge in distributed systems

AU - Interlandi, Matteo

PY - 2012/12/1

Y1 - 2012/12/1

N2 - In the last few years, researchers started to investigate how recursive queries and deductive languages can be applied to find solutions to the new emerging trends in distributed computing. We conjecture that a missing piece in the current state-of-the-art in logic programming is the capability to express statements about the knowledge state of distributed nodes. In fact, reasoning about the state of remote nodes is fundamental in distributed contexts in order to design and analyze protocol behavior. To reach this goal, we leveraged Datalog with an epistemic modal operator, allowing the programmer to directly express nodes' state of knowledge instead of low level communication details. To support the effectiveness of our proposal, we introduce, as example, the declarative implementation of a well-known protocol employed to execute distributed databases transactions: the two phase commit protocol. Copyright (c) 2012 - Edizioni Libreria Progetto and the authors.

AB - In the last few years, researchers started to investigate how recursive queries and deductive languages can be applied to find solutions to the new emerging trends in distributed computing. We conjecture that a missing piece in the current state-of-the-art in logic programming is the capability to express statements about the knowledge state of distributed nodes. In fact, reasoning about the state of remote nodes is fundamental in distributed contexts in order to design and analyze protocol behavior. To reach this goal, we leveraged Datalog with an epistemic modal operator, allowing the programmer to directly express nodes' state of knowledge instead of low level communication details. To support the effectiveness of our proposal, we introduce, as example, the declarative implementation of a well-known protocol employed to execute distributed databases transactions: the two phase commit protocol. Copyright (c) 2012 - Edizioni Libreria Progetto and the authors.

UR - http://www.scopus.com/inward/record.url?scp=84873578283&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84873578283&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9788896477236

SP - 265

EP - 270

BT - Proceedings of the 20th Italian Symposium on Advanced Database Systems, SEBD 2012

ER -