The Forum for Discussion about The Third Manifesto and Related Matters

Please or Register to create posts and topics.

Database Theory

Page 1 of 4Next
TopicsLast post
Operators on tuples/'Expressively complete'/RM Pre 6By AntC · 
12345
44 RepliesLast post: 3 hours ago · AntC
3 hours ago
AntC
Relational Theory and the Russell ParadoxBy Erwin · 
123Last
59 RepliesLast post: 3 months ago · Hugh
3 months ago
Hugh
SQL 1992 `UNION JOIN`-- huh?By AntC2 RepliesLast post: 9 months ago · AntC
9 months ago
AntC
Which Reality?By Paul Vernon · 
123Last
69 RepliesLast post: 10 months ago · dandl
10 months ago
dandl
Which value?By Paul Vernon1 ReplyLast post: 10 months ago · Dave Voorhis
10 months ago
Dave Voorhis
Which Representation?By Paul Vernon6 RepliesLast post: 10 months ago · Dave Voorhis
10 months ago
Dave Voorhis
Which Logical Difference?By Paul Vernon · 
12
11 RepliesLast post: 10 months ago · Paul Vernon
10 months ago
Paul Vernon
Which Result?By Paul Vernon · 
123Last
76 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
Which type?By Paul Vernon · 
123Last
80 RepliesLast post: 11 months ago · Paul Vernon
11 months ago
Paul Vernon
Which Empty?By Paul Vernon · 
12
11 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
Comments to Wikipedia Type theory articleBy Vadim8 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
Which Set Theory?By Paul Vernon · 
12
11 RepliesLast post: 11 months ago · Vadim
11 months ago
Vadim
Which tuple?By Paul Vernon4 RepliesLast post: 11 months ago · Dave Voorhis
11 months ago
Dave Voorhis
Some light entertainment: [database theorists] "should stay in their lane and let the apps decide ..."By AntC2 RepliesLast post: 1 year ago · Erwin
1 year 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
Page 1 of 4Next