Type theoretical databases

Forssell Henrik; Gylterud Hakon Robbestad; Spivak David I

首页> 外文期刊>Journal of logic and computation >Type theoretical databases

【24h】

Type theoretical databases

机译：类型理论数据库

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We show how the display-map category of finite (symmetric) simplicial complexes can be seen as representing the totality of database schemas and instances in a single mathematical structure. We give a sound interpretation of a certain dependent type theory in this model and show how it allows for the syntactic specification of schemas and instances and the manipulation of the same with the usual type-theoretic operations.

机译：我们展示了如何将有限（对称）简单复形的显示映射类别视为代表单个数学结构中数据库模式和实例的总数。我们对该模型中的某些从属类型理论进行了合理的解释，并说明了它如何允许对模式和实例进行语法说明以及使用通常的类型理论操作对其进行操纵。

著录项

来源
《Journal of logic and computation》 |2020年第1期|217-238|共22页
作者
Forssell Henrik; Gylterud Hakon Robbestad; Spivak David I;
展开▼
作者单位

Univ Oslo Dept Informat POB 1080 N-1080 Oslo Norway;

MIT Dept Math Cambridge MA 02139 USA;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
Dependent type theory; Simplicial sets; Relational databases;

机译：相依类型理论;简单集;关系数据库;

相似文献

外文文献
中文文献
专利

1. Type theoretical databases [J] . Henrik Forssell, Håkon Robbestad Gylterud, David I Spivak Journal of Logic and Computation . 2020,第1期

机译：类型理论数据库
2. A redshift database towards the Shapley supercluster region ? ?? [J] . Hernán Quintana, Dominique Proust, Rolando Dünner, Astronomy and astrophysics . 2020,第7期

机译：朝向福克斯超级集团区域Δ <相关 - 对象对象类型=“tablecds”source-id =“http://cdsarc.u-strasbg.fr/viz-bin/cat/j/a anyla anya/638/a27”source-id-type =“ URL“/>
3. Revised GLE database: Fluences of solar energetic particles as measured by the neutron-monitor network since 1956 ? [J] . I. Usoskin, S. Koldobskiy, G. A. Kovaltsov, Astronomy and astrophysics . 2020,第7期

机译：修改了GLE数据库：由于1956年以来，中子监视器网络测量的太阳能粒子的流量流量，自1956年？ <相关对象对象类型=“TABLECD” source-id =“http://cdsarc.u-strasbg.fr/viz-bin/cat/j/aAntea/640/A17”source-id-type =“url”/>
4. Type Theoretical Databases [C] . Henrik Forssell, Hakon Robbestad Gylterud, David I. Spivak International symposium on logical foundations of computer science . 2016

机译：类型理论数据库
5. Characterization of community-acquired methicillin-resistant Staphylococcus aureus by pulsed-field gel electrophoresis, multilocus sequence typing, and Staphylococcal protein A sequencing: Establishing a strain typing database. [D] . Roberts, Jill Carolyne. 2006

机译：通过脉冲场凝胶电泳，多基因座序列分型和葡萄球菌蛋白A测序表征社区获得的耐甲氧西林金黄色葡萄球菌：建立菌株分型数据库。
6. TMPL: a database of experimental and theoretical transmembrane protein models positioned in the lipid bilayer [O] . Guillaume Postic, Yassine Ghouzam, Catherine Etchebest, 2017

机译：TMPL：位于脂质双层中的实验和理论跨膜蛋白模型的数据库
7. Type theoretical databases [O] . Henrik Forssell, Håkon Robbestad Gylterud, David I Spivak 2020

机译：键入理论数据库
8. Structural Maintenance for New and Existing Ships. Study 2. Corrosion DamageEvaluations. Ship Maintenance Information System (SMIS). Program Documentation for the Database Management System for the Tanker Information Database (TID). Includes Theoretical D [R] . Mayoss, R. 1992

机译：新船和现有船舶的结构维护。研究2.腐蚀损害评估。船舶维修信息系统（smIs）。油轮信息数据库（TID）数据库管理系统的程序文档。包括理论D

Type theoretical databases

摘要

著录项

相似文献

相关主题

期刊订阅