The Forum for Discussion about The Third Manifesto and Related Matters

You need to log in to create posts and topics.

Database Theory

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