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
Relational Lattice Axiomatizations in various signaturesBy Vadim1 ReplyLast post: 10 months ago · AntC
10 months ago
AntC
On uniqueness of R00By Vadim6 RepliesLast post: 10 months ago · AntC
10 months ago
AntC
Making illegal states unrepresentableBy tobega · 
12
17 RepliesLast post: 1 year ago · tobega
1 year ago
tobega
Object-Relational hybrids and `id` as Primary keyBy AntC · 
12
18 RepliesLast post: 2 years ago · Hugh
2 years ago
Hugh
Operators on tuples/'Expressively complete'/RM Pre 6By AntC · 
12345
47 RepliesLast post: 2 years ago · Erwin
2 years ago
Erwin
Relational Theory and the Russell ParadoxBy Erwin · 
123Last
59 RepliesLast post: 2 years ago · Hugh
2 years ago
Hugh
SQL 1992 `UNION JOIN`-- huh?By AntC2 RepliesLast post: 3 years ago · AntC
3 years ago
AntC
Which Reality?By Paul Vernon · 
123Last
69 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
Which value?By Paul Vernon1 ReplyLast post: 3 years ago · Dave Voorhis
3 years ago
Dave Voorhis
Which Representation?By Paul Vernon6 RepliesLast post: 3 years ago · Dave Voorhis
3 years ago
Dave Voorhis
Which Logical Difference?By Paul Vernon · 
12
11 RepliesLast post: 3 years ago · Paul Vernon
3 years ago
Paul Vernon
Which Result?By Paul Vernon · 
123Last
76 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
Which type?By Paul Vernon · 
123Last
80 RepliesLast post: 3 years ago · Paul Vernon
3 years ago
Paul Vernon
Which Empty?By Paul Vernon · 
12
11 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
Comments to Wikipedia Type theory articleBy Vadim8 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
Which Set Theory?By Paul Vernon · 
12
11 RepliesLast post: 3 years ago · Vadim
3 years ago
Vadim
Which tuple?By Paul Vernon4 RepliesLast post: 3 years ago · Dave Voorhis
3 years ago
Dave Voorhis
Some light entertainment: [database theorists] "should stay in their lane and let the apps decide ..."By AntC2 RepliesLast post: 3 years ago · Erwin
3 years ago
Erwin
Type checking/inference, practical application?By mamcx · 
1234
33 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
On Relational Lattice complements, pseudocomplements, distributivity and Boolean algebrasBy AntC · 
12
14 RepliesLast post: 3 years ago · AntC
3 years ago
AntC
Page 1 of 4Next