Modality and Databases
| Abstract | Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a natural modal logic, extending standard versions, and capable of addressing several well-known philosophical difficulties successfully. Second, this modal logic is used to introduce a rather different way of looking at relational databases. The idea is to treat records as possible worlds, record entries as objects, and attributes as concepts, in the modal sense. This makes possible an intuitively satisfactory relational database theory. It can be extended, by the introduction of higher types, to deal with multiple-valued attributes and more complex things, though this is further than we take it here. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
  Try with proxy. |
| Through your library | Only published papers are available at libraries |
Similar books and articlesReina Hayaki (2003). Actualism and Higher-Order Worlds. Philosophical Studies 115 (2):149 - 178.
John Mccarthy (1997). Modality, Si! Modal Logic, No! Studia Logica 59 (1):29-32.
Anna Bucalo (1994). Modalities in Linear Logic Weaker Than the Exponential “of Course”: Algebraic and Relational Semantics. Journal of Logic, Language and Information 3 (3):211-232.
Tapio Korte, Ari Maunu & Tuomo Aho (2009). Modal Logic From Kant to Possible Worlds Semantics. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Charles S. Chihara (1998). The Worlds of Possibility: Modal Realism and the Semantics of Modal Logic. Oxford University Press.
Torben Braüner (2002). Modal Logic, Truth, and the Master Modality. Journal of Philosophical Logic 31 (4):359-386.
Johan van Benthem, Guram Bezhanishvili & Mai Gehrke (2003). Euclidean Hierarchy in Modal Logic. Studia Logica 75 (3):327-344.
Kathrin Glüer & Peter Pagin (2008). Relational Modality. Journal of Logic, Language and Information 17 (3).
Maxwell J. Cresswell (2006). From Modal Discourse to Possible Worlds. Studia Logica 82 (3):307 - 327.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-12-22Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
