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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Fitting, M.C.: Types, Tableaus, and Gödel’s God (2000), Available on my website
  2. 2.
    Fitting, M.C., Mendelsohn, R.: First-Order Modal Logic. Kluwer, Dordrecht (1998); Paperback (1999)Google Scholar
  3. 3.
    Kripke, S.: Naming and Necessity. Harvard University Press, Cambridge (1980)Google Scholar
  4. 4.
    Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol. 1. Computer Science Press, Rockville (1988)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Melvin Fitting
    • 1
  1. 1.Dept. Mathematics and Computer ScienceLehman College (CUNY)NYUSA

Personalised recommendations