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
Tuple visibility through a viewBy johnwcowan · 57 AnswersLast post: 15 hours ago · Dave Voorhis
15 hours ago
Dave Voorhis
Shortest, the most intuitive proof of R00 uniquenessBy Vadim · 16 AnswersLast post: 4 days ago · AntC
Generalized transitive closure explanations?By johnwcowan · 11 AnswersLast post: 2 weeks ago · dandl
7NF and ℵBy johnwcowan7 AnswersLast post: 1 month ago · Brian S
The RM by degreesBy dandl4 AnswersLast post: 2 months ago · Dave Voorhis
2 months ago
Dave Voorhis
Uniqueness of Dum (R00)By Vadim · 32 AnswersLast post: 3 months ago · AntC
Expressing FDs without RENAME (nor COUNT)By AntC · 22 AnswersLast post: 3 months ago · AntC
Towards algebraic dependency theory?By Vadim6 AnswersLast post: 3 months ago · Vadim
Generalising Codd's operators; and a quizBy AntC · 36 AnswersLast post: 3 months ago · dandl
Accessing database management systems from application programs.By Dave Voorhis4 AnswersLast post: 4 months ago · johnwcowan
4 months ago
Updating through a view: a special caseBy johnwcowan · 30 AnswersLast post: 4 months ago · Dave Voorhis
4 months ago
Dave Voorhis
Codd's remainderBy johnwcowan · 47 AnswersLast post: 4 months ago · Dave Voorhis
4 months ago
Dave Voorhis
Has the RM really been defined completely ?By Erwin · 17 AnswersLast post: 7 months ago · dandl