The Forum for Discussion about The Third Manifesto and Related Matters

Please or Register to create posts and topics.

Database Theory

PreviousPage 3 of 4Next
TopicsLast post
How to resolve the type system-relational algebra mismatchBy dandl · 
123
27 RepliesLast post: 5 years ago · Dave Voorhis
5 years 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 RepliesLast post: 5 years ago · johnwcowan
5 years ago
johnwcowan
Implicit assumptions in a toy example of view updatesBy Vadim8 RepliesLast post: 5 years ago · AntC
5 years ago
AntC
Logical incompleteness of A-algebra for base deletesBy p c · 
1234
31 RepliesLast post: 5 years ago · Erwin
5 years ago
Erwin
A question after re-reading CoddBy dandl8 RepliesLast post: 5 years ago · Dave Voorhis
5 years ago
Dave Voorhis
Are inclusion dependencies reducible to foreign-key dependencies?By johnwcowan · 
123Last
81 RepliesLast post: 5 years ago · Brian S
5 years ago
Brian S
Tuple visibility through a viewBy johnwcowan · 
123Last
89 RepliesLast post: 5 years ago · p c
5 years ago
p c
Paper: "... A Linguistic Approach to the View Update Problem"By Dave Voorhis1 ReplyLast post: 5 years ago · AntC
5 years ago
AntC
Shortest, the most intuitive proof of R00 uniquenessBy Vadim · 
12
16 RepliesLast post: 5 years ago · AntC
5 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: 5 years ago · AntC
5 years ago
AntC
Generalized transitive closure explanations?By johnwcowan · 
12
11 RepliesLast post: 5 years ago · dandl
5 years ago
dandl
7NF and ℵBy johnwcowan7 RepliesLast post: 6 years ago · Brian S
6 years ago
Brian S
The RM by degreesBy dandl4 RepliesLast post: 6 years ago · Dave Voorhis
6 years ago
Dave Voorhis
'Closed over relations'; another possibly-quiz [was: Uniqueness of R00]By AntC · 
12
11 RepliesLast post: 6 years ago · Vadim
6 years ago
Vadim
Uniqueness of Dum (R00)By Vadim · 
1234
32 RepliesLast post: 6 years ago · AntC
6 years ago
AntC
Expressing FDs without RENAME (nor COUNT)By AntC · 
123
22 RepliesLast post: 6 years ago · AntC
6 years ago
AntC
Towards algebraic dependency theory?By Vadim6 RepliesLast post: 6 years ago · Vadim
6 years ago
Vadim
Generalising Codd's operators; and a quizBy AntC · 
1234
36 RepliesLast post: 6 years ago · dandl
6 years ago
dandl
Accessing database management systems from application programs.By Dave Voorhis4 RepliesLast post: 6 years ago · johnwcowan
6 years ago
johnwcowan
Updating through a view: a special caseBy johnwcowan · 
1234
30 RepliesLast post: 6 years ago · Dave Voorhis
6 years ago
Dave Voorhis
PreviousPage 3 of 4Next