onr:"swepub:oai:DiVA.org:su-136895"
Search: onr:"swepub:oai:DiVA.org:su-136895" > Type Theoretical Da...
- 1 of 1
- Previous record
- Next record
- To hitlist
- Forssell, HenrikStockholms universitet,Matematiska institutionen (author)
Type Theoretical Databases
- BookEnglish
Publisher, publication year, extent ...
- printrdacarrier
Numbers
- LIBRIS-ID:oai:DiVA.org:su-136895
- https://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-136895URI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- We present a soundness theorem for a dependent type theory with context constants with respect to an indexed category of (finite, abstract) simplical complexes. The point of interest for computer science is that this category can be seen to represent tables in a natural way. Thus the category is a model for databases, a single mathematical structure in which all database schemas and instances (of a suitable, but sufficiently general form) are represented. The type theory then allows for the specification of database schemas and instances, the manipulation of the same with the usual type-theoretic operations, and the posing of queries.
Subject headings and genre
- NATURVETENSKAP Matematik Algebra och logik hsv//swe
- NATURAL SCIENCES Mathematics Algebra and Logic hsv//eng
- NATURVETENSKAP Data- och informationsvetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences hsv//eng
- database
- type theory
- universe
- schema
- simplicial complex
- Mathematics
- matematik
Added entries (persons, corporate bodies, meetings, titles ...)
- Robbestad Gylterud, HåkonStockholms universitet,Matematiska institutionen(Swepub:su)hrobb (author)
- Spivak, David I.Massachusetts Institute of Technology, USA (author)
- Stockholms universitetMatematiska institutionen (creator_code:org_t)
Internet link
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Forssell, Henrik
- Robbestad Gylter ...
- Spivak, David I.
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Mathematics
- and Algebra and Logi ...
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- By the university
- Stockholm University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
