Uh… isn’t this exactly what the (typed) relational model is? | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

garmaine on Dec 11, 2021 | parent | context | favorite | on: Types for Tables: A Language Design Benchmark

Uh… isn’t this exactly what the (typed) relational model is?

johnmyleswhite on Dec 11, 2021 [–]

The relational model's type system is contained inside of this work as the schema component.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact