Results 1 -
1 of
1
Geometric Theories and Databases
- APPLICATIONS OF CATEGORIES IN COMPUTER SCIENCE, VOLUME 177 OF LONDON MATHEMATICAL SOCIETY LECTURE NOTES
, 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 ..."
Abstract
-
Cited by 14 (4 self)
- Add to MetaCart
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.

