SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Spivak David I.) "

Sökning: WFRF:(Spivak David I.)

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Forssell, Henrik, et al. (författare)
  • Type Theoretical Databases
  • Annan publikation (övrigt vetenskapligt/konstnärligt)abstract
    • 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.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-1 av 1
Typ av publikation
annan publikation (1)
Typ av innehåll
övrigt vetenskapligt/konstnärligt (1)
Författare/redaktör
Forssell, Henrik (1)
Robbestad Gylterud, ... (1)
Spivak, David I. (1)
Lärosäte
Stockholms universitet (1)
Språk
Engelska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)

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.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy