Highly Influenced

# Geometric Theories and Databases

@inproceedings{Vickers1992GeometricTA, title={Geometric Theories and Databases}, author={Steven Vickers}, year={1992} }

- Published 1992

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

#### From This Paper

##### Topics from this paper.

21 Citations

9 References

Similar Papers