The Forum for Discussion about The Third Manifesto and Related Matters

Please or Register to create posts and topics.

Database Theory

12
TopicsLast post
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: 1 year ago · Vadim
1 year ago
Vadim
Generalising Codd's operators; and a quizBy AntC · 
1234
36 RepliesLast post: 1 year ago · dandl
1 year ago
dandl
Accessing database management systems from application programs.By Dave Voorhis4 RepliesLast post: 1 year ago · johnwcowan
1 year ago
johnwcowan
Updating through a view: a special caseBy johnwcowan · 
1234
30 RepliesLast post: 1 year ago · Dave Voorhis
1 year ago
Dave Voorhis
Codd's remainderBy johnwcowan · 
12345
47 RepliesLast post: 1 year ago · Dave Voorhis
1 year ago
Dave Voorhis
Relational Completeness: not just about choice of operatorsBy AntC · 
12
12 RepliesLast post: 1 year ago · AntC
1 year ago
AntC
Has the RM really been defined completely ?By Erwin · 
12
17 RepliesLast post: 2 years ago · dandl
2 years ago
dandl
12