The Forum for Discussion about The Third Manifesto and Related Matters

You need to log in to create posts and topics.

Database Theory

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