A logical account of uncertain databases based on linear logic

Sungwoo Park, Seungwon Hwang

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

Abstract

A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a new semantics for uncertain databases which takes a logical approach by translating uncertain databases into logical theories. A characteristic feature of our semantics is that it uses linear logic, instead of propositional logic, as its logical foundation. Linear logic lends itself well to a logical interpretation of uncertain information because unlike propositional logic, it treats logical formulae not as persistent facts but as consumable resources. We motivate our development by arguing that propositional logic is inadequate as a logical foundation for uncertain databases. As the main result, we show that our semantics is faithful to the operational account of uncertain databases in the algebraic approach.

Original languageEnglish
Title of host publicationProceedings of the 12th International Conference on Database Theory, ICDT'09
Pages141-148
Number of pages8
DOIs
Publication statusPublished - 2009 Sep 21
Event12th International Conference on Database Theory, ICDT'09 - Saint Petersburg, Russian Federation
Duration: 2009 Mar 232009 Mar 25

Publication series

NameACM International Conference Proceeding Series
Volume361

Other

Other12th International Conference on Database Theory, ICDT'09
CountryRussian Federation
CitySaint Petersburg
Period09/3/2309/3/25

Fingerprint

Semantics

All Science Journal Classification (ASJC) codes

  • Software
  • Human-Computer Interaction
  • Computer Vision and Pattern Recognition
  • Computer Networks and Communications

Cite this

Park, S., & Hwang, S. (2009). A logical account of uncertain databases based on linear logic. In Proceedings of the 12th International Conference on Database Theory, ICDT'09 (pp. 141-148). (ACM International Conference Proceeding Series; Vol. 361). https://doi.org/10.1145/1514894.1514912
Park, Sungwoo ; Hwang, Seungwon. / A logical account of uncertain databases based on linear logic. Proceedings of the 12th International Conference on Database Theory, ICDT'09. 2009. pp. 141-148 (ACM International Conference Proceeding Series).
@inproceedings{0265018f33094c86ae4d8306cc8a4b38,
title = "A logical account of uncertain databases based on linear logic",
abstract = "A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a new semantics for uncertain databases which takes a logical approach by translating uncertain databases into logical theories. A characteristic feature of our semantics is that it uses linear logic, instead of propositional logic, as its logical foundation. Linear logic lends itself well to a logical interpretation of uncertain information because unlike propositional logic, it treats logical formulae not as persistent facts but as consumable resources. We motivate our development by arguing that propositional logic is inadequate as a logical foundation for uncertain databases. As the main result, we show that our semantics is faithful to the operational account of uncertain databases in the algebraic approach.",
author = "Sungwoo Park and Seungwon Hwang",
year = "2009",
month = "9",
day = "21",
doi = "10.1145/1514894.1514912",
language = "English",
isbn = "9781605584232",
series = "ACM International Conference Proceeding Series",
pages = "141--148",
booktitle = "Proceedings of the 12th International Conference on Database Theory, ICDT'09",

}

Park, S & Hwang, S 2009, A logical account of uncertain databases based on linear logic. in Proceedings of the 12th International Conference on Database Theory, ICDT'09. ACM International Conference Proceeding Series, vol. 361, pp. 141-148, 12th International Conference on Database Theory, ICDT'09, Saint Petersburg, Russian Federation, 09/3/23. https://doi.org/10.1145/1514894.1514912

A logical account of uncertain databases based on linear logic. / Park, Sungwoo; Hwang, Seungwon.

Proceedings of the 12th International Conference on Database Theory, ICDT'09. 2009. p. 141-148 (ACM International Conference Proceeding Series; Vol. 361).

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

TY - GEN

T1 - A logical account of uncertain databases based on linear logic

AU - Park, Sungwoo

AU - Hwang, Seungwon

PY - 2009/9/21

Y1 - 2009/9/21

N2 - A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a new semantics for uncertain databases which takes a logical approach by translating uncertain databases into logical theories. A characteristic feature of our semantics is that it uses linear logic, instead of propositional logic, as its logical foundation. Linear logic lends itself well to a logical interpretation of uncertain information because unlike propositional logic, it treats logical formulae not as persistent facts but as consumable resources. We motivate our development by arguing that propositional logic is inadequate as a logical foundation for uncertain databases. As the main result, we show that our semantics is faithful to the operational account of uncertain databases in the algebraic approach.

AB - A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a new semantics for uncertain databases which takes a logical approach by translating uncertain databases into logical theories. A characteristic feature of our semantics is that it uses linear logic, instead of propositional logic, as its logical foundation. Linear logic lends itself well to a logical interpretation of uncertain information because unlike propositional logic, it treats logical formulae not as persistent facts but as consumable resources. We motivate our development by arguing that propositional logic is inadequate as a logical foundation for uncertain databases. As the main result, we show that our semantics is faithful to the operational account of uncertain databases in the algebraic approach.

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

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

U2 - 10.1145/1514894.1514912

DO - 10.1145/1514894.1514912

M3 - Conference contribution

SN - 9781605584232

T3 - ACM International Conference Proceeding Series

SP - 141

EP - 148

BT - Proceedings of the 12th International Conference on Database Theory, ICDT'09

ER -

Park S, Hwang S. A logical account of uncertain databases based on linear logic. In Proceedings of the 12th International Conference on Database Theory, ICDT'09. 2009. p. 141-148. (ACM International Conference Proceeding Series). https://doi.org/10.1145/1514894.1514912