The Forum for Discussion about The Third Manifesto and Related Matters

Please or Register to create posts and topics.

Database Theory

Page 1 of 3Next
TopicsLast post
SQL 1992 `UNION JOIN`-- huh?By AntC2 RepliesLast post: 5 months ago · AntC
5 months ago
AntC
Which Reality?By Paul Vernon · 
123Last
69 RepliesLast post: 6 months ago · dandl
6 months ago
dandl
Which value?By Paul Vernon1 ReplyLast post: 6 months ago · Dave Voorhis
6 months ago
Dave Voorhis
Which Representation?By Paul Vernon6 RepliesLast post: 6 months ago · Dave Voorhis
6 months ago
Dave Voorhis
Which Logical Difference?By Paul Vernon · 
12
11 RepliesLast post: 6 months ago · Paul Vernon
6 months ago
Paul Vernon
Which Result?By Paul Vernon · 
123Last
76 RepliesLast post: 6 months ago · dandl
6 months ago
dandl
Which type?By Paul Vernon · 
123Last
80 RepliesLast post: 6 months ago · Paul Vernon
6 months ago
Paul Vernon
Which Empty?By Paul Vernon · 
12
11 RepliesLast post: 6 months ago · dandl
6 months ago
dandl
Comments to Wikipedia Type theory articleBy Vadim8 RepliesLast post: 7 months ago · dandl
7 months ago
dandl
Which Set Theory?By Paul Vernon · 
12
11 RepliesLast post: 7 months ago · Vadim
7 months ago
Vadim
Which tuple?By Paul Vernon4 RepliesLast post: 7 months ago · Dave Voorhis
7 months ago
Dave Voorhis
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
On uniqueness of R00By Vadim4 RepliesLast post: 11 months ago · Vadim
11 months ago
Vadim
Type checking/inference, practical application?By mamcx · 
1234
33 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
Relational Lattice Axiomatizations in various signaturesBy Vadim0 RepliesLast post: 11 months ago · Vadim
11 months ago
Vadim
On Relational Lattice complements, pseudocomplements, distributivity and Boolean algebrasBy AntC · 
12
14 RepliesLast post: 11 months ago · AntC
11 months ago
AntC
ANNOUNCE: a relational algebra with only one primitive operator (tentative) (please check/critique)By AntC · 
123Last
114 RepliesLast post: 11 months ago · Vadim
11 months ago
Vadim
An Algebra of R00, R01, R10, and R11By Vadim · 
12
11 RepliesLast post: 1 year ago · Vadim
1 year ago
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
`SELECT DISTINCT` -- a(nother) disaster waiting to happenBy AntC5 RepliesLast post: 1 year ago · dandl
1 year ago
dandl
Page 1 of 3Next