Henrik Forssell: Simplicial databases
Henrik Forssell, University of Oslo
Time: Thu 2012-11-08 13.00 - 14.45
Location: Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university
We consider a database model based on (finite) simplicial complexes rather than relations. A brief introduction to the relational model is given for logicians not familiar with it. We thereafter describe how simplicial complexes can be used to model both database schemas and instances. This allows us to collect schemas and instances over them into one structure, which we relate to the notions of display map and comprehension category.