Forum Navigation
Database Theory
TopicsLast post
6 months ago
Paul Vernon
Paul Vernon
6 months ago
Paul Vernon
Paul Vernon
Comments to Wikipedia Type theory articleBy Vadim8 RepliesLast post: 7 months ago · dandl
7 months ago
dandl
dandl
Some light entertainment: [database theorists] "should stay in their lane and let the apps decide ..."By AntC2 RepliesLast post: 10 months ago · Erwin
10 months ago
Erwin
Erwin
Type checking/inference, practical application?By mamcx · 33 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
dandl
Relational Lattice Axiomatizations in various signaturesBy Vadim0 RepliesLast post: 11 months ago · Vadim
11 months ago
Vadim
Vadim
On Relational Lattice complements, pseudocomplements, distributivity and Boolean algebrasBy AntC · 14 RepliesLast post: 11 months ago · AntC
11 months ago
AntC
AntC
ANNOUNCE: a relational algebra with only one primitive operator (tentative) (please check/critique)By AntC · 114 RepliesLast post: 11 months ago · Vadim
11 months 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
`SELECT DISTINCT` -- a(nother) disaster waiting to happenBy AntC5 RepliesLast post: 1 year ago · dandl
1 year ago
dandl
dandl