The Forum for Discussion about The Third Manifesto and Related Matters

You need to log in to create posts and topics.

Database Theory

12
TopicsLast post
C# 9.0 has data classesBy dandl0 RepliesLast post: 2 weeks ago · dandl
2 weeks ago
dandl
Looking for a reference/piece of terminology: 'generative' dependencies(?)By AntC6 RepliesLast post: 4 weeks ago · AntC
4 weeks ago
AntC
Big birthday coming up ...By AntC0 RepliesLast post: 4 weeks ago · AntC
4 weeks ago
AntC
Codd 1970 'domain' does not mean Date 2016 'type' [was: burble about Date's IM]By AntC · 
123Last »
219 RepliesLast post: 2 months ago · Dave Voorhis
2 months ago
Dave Voorhis
What are the nodes in a Visual RA?By dandl · 
1234
30 RepliesLast post: 2 months ago · johnwcowan
2 months ago
johnwcowan
SUMMARIZE PER, OUTER JOIN and image relationsBy dandl · 
12345
47 RepliesLast post: 3 months ago · Dave Voorhis
3 months ago
Dave Voorhis
Relational Theory and the Russell ParadoxBy Erwin · 
12345
48 RepliesLast post: 4 months ago · johnwcowan
4 months ago
johnwcowan
Relational Lattice: 2019 Report CardBy AntC · 
12
17 RepliesLast post: 5 months ago · AntC
5 months ago
AntC
Extracting a domain from a relationBy Vadim3 RepliesLast post: 5 months ago · Vadim
5 months ago
Vadim
How to resolve the type system-relational algebra mismatchBy dandl · 
123
27 RepliesLast post: 7 months ago · Dave Voorhis
7 months ago
Dave Voorhis
TTM's IM: a 'solution' to a question nobody asked; then how else to express squares are rectangles?By AntC · 
12
19 RepliesLast post: 7 months ago · johnwcowan
7 months ago
johnwcowan
Implicit assumptions in a toy example of view updatesBy Vadim8 RepliesLast post: 7 months ago · AntC
7 months ago
AntC
Logical incompleteness of A-algebra for base deletesBy p c · 
1234
31 RepliesLast post: 7 months ago · Erwin
7 months ago
Erwin
A question after re-reading CoddBy dandl8 RepliesLast post: 7 months ago · Dave Voorhis
7 months ago
Dave Voorhis
Are inclusion dependencies reducible to foreign-key dependencies?By johnwcowan · 
123Last »
81 RepliesLast post: 7 months ago · Brian S
7 months ago
Brian S
Tuple visibility through a viewBy johnwcowan · 
123Last »
89 RepliesLast post: 7 months ago · p c
7 months ago
p c
Paper: "... A Linguistic Approach to the View Update Problem"By Dave Voorhis1 ReplyLast post: 8 months ago · AntC
8 months ago
AntC
Shortest, the most intuitive proof of R00 uniquenessBy Vadim · 
12
16 RepliesLast post: 8 months ago · AntC
8 months ago
AntC
Varieties of non-distributive lattice [was: 'Closed over relations'; another possibly-quiz [was: Uniqueness of R00]]By AntC · 
12
10 RepliesLast post: 8 months ago · AntC
8 months ago
AntC
Generalized transitive closure explanations?By johnwcowan · 
12
11 RepliesLast post: 8 months ago · dandl
8 months ago
dandl
12