scientific article; zbMATH DE number 431773

MaRDI QIDQ3138549zbMATH OpenFDO

Authors Steven Vickers

Publication date 11 November 1993

zbMATH Keywords

localetopos theorypowerdomainbagdomainclassifying toposes

Mathematics Subject Classification ID

Database theory (68P15) Topoi (18B25) Hyperspaces in general topology (54B20) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 431774
• Topical categories of domains
• Publication:4723931
• Functional Thesauri, Classifying Topoi, Unification, and Flatness
• A categorical approach to database semantics
• scientific article; zbMATH DE number 50721
• Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings
• Coherence and consistency in domains
• Publication:4729784
• scientific article; zbMATH DE number 46995

Cited in

(12)

• A categorical approach to database semantics
• scientific article; zbMATH DE number 1522507 (Why is no real title available?)
• Fibrations and partial products in a 2-category
• Variations on the bagdomain theme
• On representation and querying incomplete information in databases with bags
• Geometrical aspect of databases and knowledge bases.
• Continuous functions and neural network semantics
• Geometric query types for data retrieval in relational databases
• Discrete random variables over domains
• Spreads and the symmetric topos
• scientific article; zbMATH DE number 431774 (Why is no real title available?)
• Strongly algebraic = SFP (topically)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3138549)