The Forum for Discussion about The Third Manifesto and Related Matters

Please or Register to create posts and topics.

Database Theory

12
TopicsLast post
Are inclusion dependencies reducible to foreign-key dependencies?By johnwcowan · 
123Last »
81 RepliesLast post: 1 year ago · Brian S
1 year ago
Brian S
Tuple visibility through a viewBy johnwcowan · 
123Last »
89 RepliesLast post: 1 year ago · p c
1 year ago
p c
Paper: "... A Linguistic Approach to the View Update Problem"By Dave Voorhis1 ReplyLast post: 1 year ago · AntC
1 year ago
AntC
Shortest, the most intuitive proof of R00 uniquenessBy Vadim · 
12
16 RepliesLast post: 2 years ago · AntC
2 years ago
AntC
Varieties of non-distributive lattice [was: 'Closed over relations'; another possibly-quiz [was: Uniqueness of R00]]By AntC · 
12
10 RepliesLast post: 2 years ago · AntC
2 years ago
AntC
Generalized transitive closure explanations?By johnwcowan · 
12
11 RepliesLast post: 2 years ago · dandl
2 years ago
dandl
7NF and ℵBy johnwcowan7 RepliesLast post: 2 years ago · Brian S
2 years ago
Brian S
The RM by degreesBy dandl4 RepliesLast post: 2 years ago · Dave Voorhis
2 years ago
Dave Voorhis
'Closed over relations'; another possibly-quiz [was: Uniqueness of R00]By AntC · 
12
11 RepliesLast post: 2 years ago · Vadim
2 years ago
Vadim
Uniqueness of Dum (R00)By Vadim · 
1234
32 RepliesLast post: 2 years ago · AntC
2 years ago
AntC
Expressing FDs without RENAME (nor COUNT)By AntC · 
123
22 RepliesLast post: 2 years ago · AntC
2 years 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