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
Relational Lattice: 2019 Report CardBy AntC · 
12
17 AnswersLast post: 1 week ago · AntC
1 week ago
AntC
Extracting a domain from a relationBy Vadim3 AnswersLast post: 1 week ago · Vadim
1 week ago
Vadim
Relational Theory and the Russell ParadoxBy Erwin · 
12345
45 AnswersLast post: 4 weeks ago · dandl
4 weeks ago
dandl
Codd 1970 'domain' does not mean Date 2016 'type' [was: burble about Date's IM]By AntC · 
123Last »
146 AnswersLast post: 1 month ago · Dave Voorhis
1 month ago
Dave Voorhis
How to resolve the type system-relational algebra mismatchBy dandl · 
123
27 AnswersLast post: 2 months ago · Dave Voorhis
2 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 AnswersLast post: 2 months ago · johnwcowan
2 months ago
johnwcowan
Implicit assumptions in a toy example of view updatesBy Vadim8 AnswersLast post: 3 months ago · AntC
3 months ago
AntC
Logical incompleteness of A-algebra for base deletesBy p c · 
1234
31 AnswersLast post: 3 months ago · Erwin
3 months ago
Erwin
A question after re-reading CoddBy dandl8 AnswersLast post: 3 months ago · Dave Voorhis
3 months ago
Dave Voorhis
Are inclusion dependencies reducible to foreign-key dependencies?By johnwcowan · 
123Last »
81 AnswersLast post: 3 months ago · Brian S
3 months ago
Brian S
Tuple visibility through a viewBy johnwcowan · 
123Last »
89 AnswersLast post: 3 months ago · p c
3 months ago
p c
Paper: "... A Linguistic Approach to the View Update Problem"By Dave Voorhis1 AnswerLast post: 3 months ago · AntC
3 months ago
AntC
Shortest, the most intuitive proof of R00 uniquenessBy Vadim · 
12
16 AnswersLast post: 3 months ago · AntC
3 months ago
AntC
Varieties of non-distributive lattice [was: 'Closed over relations'; another possibly-quiz [was: Uniqueness of R00]]By AntC · 
12
10 AnswersLast post: 3 months ago · AntC
3 months ago
AntC
Generalized transitive closure explanations?By johnwcowan · 
12
11 AnswersLast post: 3 months ago · dandl
3 months ago
dandl
7NF and ℵBy johnwcowan7 AnswersLast post: 4 months ago · Brian S
4 months ago
Brian S
The RM by degreesBy dandl4 AnswersLast post: 5 months ago · Dave Voorhis
5 months ago
Dave Voorhis
'Closed over relations'; another possibly-quiz [was: Uniqueness of R00]By AntC · 
12
11 AnswersLast post: 5 months ago · Vadim
5 months ago
Vadim
Uniqueness of Dum (R00)By Vadim · 
1234
32 AnswersLast post: 6 months ago · AntC
6 months ago
AntC
Expressing FDs without RENAME (nor COUNT)By AntC · 
123
22 AnswersLast post: 6 months ago · AntC
6 months ago
AntC
12