The Forum for Discussion about The Third Manifesto and Related Matters

Please or Register to create posts and topics.

Database Theory

12
TopicsLast post
Shortest, the most intuitive proof of R00 uniquenessBy Vadim · 
12
16 RepliesLast post: 1 year ago · AntC
1 year ago
AntC
Varieties of non-distributive lattice [was: 'Closed over relations'; another possibly-quiz [was: Uniqueness of R00]]By AntC · 
12
10 RepliesLast post: 1 year ago · AntC
1 year ago
AntC
Generalized transitive closure explanations?By johnwcowan · 
12
11 RepliesLast post: 1 year ago · dandl
1 year ago
dandl
7NF and ℵBy johnwcowan7 RepliesLast post: 1 year ago · Brian S
1 year ago
Brian S
The RM by degreesBy dandl4 RepliesLast post: 1 year ago · Dave Voorhis
1 year ago
Dave Voorhis
'Closed over relations'; another possibly-quiz [was: Uniqueness of R00]By AntC · 
12
11 RepliesLast post: 1 year ago · Vadim
1 year ago
Vadim
Uniqueness of Dum (R00)By Vadim · 
1234
32 RepliesLast post: 1 year ago · AntC
1 year ago
AntC
Expressing FDs without RENAME (nor COUNT)By AntC · 
123
22 RepliesLast post: 1 year ago · AntC
1 year ago
AntC
Towards algebraic dependency theory?By Vadim6 RepliesLast post: 2 years ago · Vadim
2 years ago
Vadim
Generalising Codd's operators; and a quizBy AntC · 
1234
36 RepliesLast post: 2 years ago · dandl
2 years ago
dandl
Accessing database management systems from application programs.By Dave Voorhis4 RepliesLast post: 2 years ago · johnwcowan
2 years ago
johnwcowan
Updating through a view: a special caseBy johnwcowan · 
1234
30 RepliesLast post: 2 years ago · Dave Voorhis
2 years ago
Dave Voorhis
Codd's remainderBy johnwcowan · 
12345
47 RepliesLast post: 2 years ago · Dave Voorhis
2 years ago
Dave Voorhis
Relational Completeness: not just about choice of operatorsBy AntC · 
12
12 RepliesLast post: 2 years ago · AntC
2 years ago
AntC
Has the RM really been defined completely ?By Erwin · 
12
17 RepliesLast post: 2 years ago · dandl
2 years ago
dandl
12