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