Geometric Theories and Databases

  title={Geometric Theories and Databases},
  author={Steven Vickers},
Domain theoretic understanding of databases as elements of powerdomains is modified to allow multisets of records instead of sets. This is related to geometric theories and classifying toposes, and it is shown that algebraic base domains lead to algebraic categories of models in two cases analogous to the lower (Hoare) powerdomain and Gunter’s mixed powerdomain. Terminology Throughout this paper, “domain” means algebraic poset – not necessarily with bottom, nor second countable. The information… CONTINUE READING
21 Citations
9 References
Similar Papers


Publications referenced by this paper.
Showing 1-9 of 9 references

Topology via Logic, Cambridge University

  • Steven Vickers
  • 1989

Fourman and Steven Vickers [ 85 ] , “ Theories as categories ”

  • P. Michael
  • Dirac [ 47 ] , The Principles of Quantum…
  • 1947

The Principles of Quantum Mechanics (3rd edition)

  • A M.P.
  • 1947

Gunter [ 89 ] , “ The mixed powerdomain ” , to appear in Theoretical Computer Science

  • David Pitt, A. Carl

Similar Papers

Loading similar papers…