|
Change #4676
2010-10-18
13:51:18
|
create
Calagator::Event
1250459367
Galois Tech Talk: Databases are Categories 2: Refinements and Extensions.
Roll back
| description |
nil |
→ |
presenter: David Spivak
About five months ago I gave a talk here at Galois called âDatabases are categories.â The basic idea was that a database schema can be represented as a category C and its states can be represented as functors Câ>Set. In this talk Iâll refine that notion a bit, explaining that schemas are better represented as sketches. Iâll also show how, within this model one can: deal with incomplete data; incorporate typing and calculated fields; and perform queries, define views, and migrate data between disparate schemas. That is, Iâll try to show that the categorical approach handles everything one might hope it would. Finally, Iâll discuss a linguistic version of categories, called âologs,â and show how they may help to democratize information storage. |
| end_time |
nil |
→ |
2010-10-22 11:30:00 -0700 |
| id |
nil |
→ |
1250459367 |
| start_time |
nil |
→ |
2010-10-22 10:30:00 -0700 |
| title |
nil |
→ |
Galois Tech Talk: Databases are Categories 2: Refinements and Extensions. |
| url |
nil |
→ |
http://www.galois.com/blog/2010/10/18/databases-are-categories-2-refinements-and-extensions/ |
| venue_id |
nil |
→ |
202390439 |
|