Forum Navigation
Database Theory
TopicsLast post
1 month ago
Hugh
Hugh
8 months ago
Paul Vernon
Paul Vernon
9 months ago
Paul Vernon
Paul Vernon
Comments to Wikipedia Type theory articleBy Vadim8 RepliesLast post: 9 months ago · dandl
9 months ago
dandl
dandl
Some light entertainment: [database theorists] "should stay in their lane and let the apps decide ..."By AntC2 RepliesLast post: 12 months ago · Erwin
12 months ago
Erwin
Erwin
Type checking/inference, practical application?By mamcx · 33 RepliesLast post: 1 year ago · dandl
1 year ago
dandl
dandl
Relational Lattice Axiomatizations in various signaturesBy Vadim0 RepliesLast post: 1 year ago · Vadim
1 year ago
Vadim
Vadim
On Relational Lattice complements, pseudocomplements, distributivity and Boolean algebrasBy AntC · 14 RepliesLast post: 1 year ago · AntC
1 year ago
AntC
AntC
ANNOUNCE: a relational algebra with only one primitive operator (tentative) (please check/critique)By AntC · 114 RepliesLast post: 1 year ago · Vadim
1 year ago
Vadim
Vadim
1 year ago
Vadim
Vadim
The macro-level lattice structure of relations in the vicinity of `DEE`, `DUM`By AntC0 RepliesLast post: 1 year ago · AntC
1 year ago
AntC
AntC