The Forum for Discussion about The Third Manifesto and Related Matters

Please or Register to create posts and topics.

Database Theory

123
TopicsLast post
On uniqueness of R00By Vadim4 RepliesLast post: 4 weeks ago · Vadim
4 weeks ago
Vadim
Type checking/inference, practical application?By mamcx · 
1234
33 RepliesLast post: 4 weeks ago · dandl
4 weeks ago
dandl
Relational Lattice Axiomatizations in various signaturesBy Vadim0 RepliesLast post: 4 weeks ago · Vadim
4 weeks ago
Vadim
On Relational Lattice complements, pseudocomplements, distributivity and Boolean algebrasBy AntC · 
12
14 RepliesLast post: 4 weeks ago · AntC
4 weeks ago
AntC
ANNOUNCE: a relational algebra with only one primitive operator (tentative) (please check/critique)By AntC · 
123Last »
114 RepliesLast post: 1 month ago · Vadim
1 month ago
Vadim
An Algebra of R00, R01, R10, and R11By Vadim · 
12
11 RepliesLast post: 2 months ago · Vadim
2 months ago
Vadim
The macro-level lattice structure of relations in the vicinity of `DEE`, `DUM`By AntC0 RepliesLast post: 3 months ago · AntC
3 months ago
AntC
`SELECT DISTINCT` -- a(nother) disaster waiting to happenBy AntC5 RepliesLast post: 3 months ago · dandl
3 months ago
dandl
The intellectual curiosity of `NatJoin`, `InnerUnion`By AntC1 ReplyLast post: 3 months ago · tobega
3 months ago
tobega
Why 'Join'?By AntC6 RepliesLast post: 3 months ago · Vadim
3 months ago
Vadim
Relations as sets of columnsBy Vadim2 RepliesLast post: 4 months ago · Vadim
4 months ago
Vadim
What do set-based operations buy us?By tobega · 
123Last »
52 RepliesLast post: 5 months ago · Dave Voorhis
5 months ago
Dave Voorhis
A plague on 'Relationally Complete'By AntC1 ReplyLast post: 6 months ago · dandl
6 months ago
dandl
Key questionsBy AntC · 
12
17 RepliesLast post: 9 months ago · Brian S
9 months ago
Brian S
Where can I find paper "Further Normalization of the Data Base Relational Model"?By VictorL3 RepliesLast post: 9 months ago · AntC
9 months ago
AntC
WeirdBy AntC4 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
C# 9.0 has data classesBy dandl0 RepliesLast post: 1 year ago · dandl
1 year ago
dandl
Looking for a reference/piece of terminology: 'generative' dependencies(?)By AntC6 RepliesLast post: 1 year ago · AntC
1 year ago
AntC
Big birthday coming up ...By AntC0 RepliesLast post: 1 year ago · AntC
1 year ago
AntC
Codd 1970 'domain' does not mean Date 2016 'type' [was: burble about Date's IM]By AntC · 
123Last »
219 RepliesLast post: 1 year ago · Dave Voorhis
1 year ago
Dave Voorhis
123