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