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
Codd 1970 'domain' does not mean Date 2016 'type' [was: burble about Date's IM]By AntC · 
123Last »
219 RepliesLast post: 5 days ago · Dave Voorhis
5 days ago
Dave Voorhis
What are the nodes in a Visual RA?By dandl · 
1234
30 RepliesLast post: 6 days ago · johnwcowan
6 days ago
johnwcowan
SUMMARIZE PER, OUTER JOIN and image relationsBy dandl · 
12345
47 RepliesLast post: 4 weeks ago · Dave Voorhis
4 weeks ago
Dave Voorhis
Relational Theory and the Russell ParadoxBy Erwin · 
12345
48 RepliesLast post: 2 months ago · johnwcowan
2 months ago
johnwcowan
Relational Lattice: 2019 Report CardBy AntC · 
12
17 RepliesLast post: 3 months ago · AntC
3 months ago
AntC
Extracting a domain from a relationBy Vadim3 RepliesLast post: 3 months ago · Vadim
3 months ago
Vadim
How to resolve the type system-relational algebra mismatchBy dandl · 
123
27 RepliesLast post: 5 months ago · Dave Voorhis
5 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: 5 months ago · johnwcowan
5 months ago
johnwcowan
Implicit assumptions in a toy example of view updatesBy Vadim8 RepliesLast post: 5 months ago · AntC
5 months ago
AntC
Logical incompleteness of A-algebra for base deletesBy p c · 
1234
31 RepliesLast post: 5 months ago · Erwin
5 months ago
Erwin
A question after re-reading CoddBy dandl8 RepliesLast post: 5 months ago · Dave Voorhis
5 months ago
Dave Voorhis
Are inclusion dependencies reducible to foreign-key dependencies?By johnwcowan · 
123Last »
81 RepliesLast post: 5 months ago · Brian S
5 months ago
Brian S
Tuple visibility through a viewBy johnwcowan · 
123Last »
89 RepliesLast post: 5 months ago · p c
5 months ago
p c
Paper: "... A Linguistic Approach to the View Update Problem"By Dave Voorhis1 ReplyLast post: 5 months ago · AntC
5 months ago
AntC
Shortest, the most intuitive proof of R00 uniquenessBy Vadim · 
12
16 RepliesLast post: 5 months ago · AntC
5 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: 6 months ago · AntC
6 months ago
AntC
Generalized transitive closure explanations?By johnwcowan · 
12
11 RepliesLast post: 6 months ago · dandl
6 months ago
dandl
7NF and ℵBy johnwcowan7 RepliesLast post: 6 months ago · Brian S
6 months ago
Brian S
The RM by degreesBy dandl4 RepliesLast post: 7 months ago · Dave Voorhis
7 months ago
Dave Voorhis
'Closed over relations'; another possibly-quiz [was: Uniqueness of R00]By AntC · 
12
11 RepliesLast post: 7 months ago · Vadim
7 months ago
Vadim
12