The Forum for Discussion about The Third Manifesto and Related Matters

The Third Manifesto ForumUnread Topics

You need to log in to create posts and topics.

Unread Topics

Codd 1970 'domain' does not mean Date 2016 'type' [was: burble about Date's IM]In Database Theory · 2 months ago

Help sought to fix RM Pre 21 (multiple assignment)In TTM General discussion · 2 weeks ago

"The Programmer As Navigator"In Miscellaneous · 3 weeks ago

Inappropriate responses to points about language design in SQLIn TTM General discussion · 4 weeks ago

Types and all that @*#$.In Miscellaneous · 4 weeks ago

The case against range variablesIn TTM General discussion · 1 month ago

Why do we need natural joins?In TTM General discussion · 1 month ago

How to resolve the type system-relational algebra mismatchIn Database Theory · 1 month ago

TTM's IM: a 'solution' to a question nobody asked; then how else to express squares are rectangles?In Database Theory · 1 month ago

Implicit assumptions in a toy example of view updatesIn Database Theory · 1 month ago

RFC: "DOMAIN" types in Tutorial DIn Tutorial D · 1 month ago

Aggregates in constraintsIn Miscellaneous · 1 month ago

Logical incompleteness of A-algebra for base deletesIn Database Theory · 1 month ago

A question after re-reading CoddIn Database Theory · 1 month ago

Are inclusion dependencies reducible to foreign-key dependencies?In Database Theory · 3 months ago

Tuple visibility through a viewIn Database Theory · 2 months ago

BUG: you're not allowed to do thatIn Forum Use and Support · 1 month ago

Paper: "... A Linguistic Approach to the View Update Problem"In Database Theory · 2 months ago

Shortest, the most intuitive proof of R00 uniquenessIn Database Theory · 3 months ago

VSS 8, SQL arrays, and SQL multisetsIn TTM General discussion · 2 months ago

Varieties of non-distributive lattice [was: 'Closed over relations'; another possibly-quiz [was: Uniqueness of R00]]In Database Theory · 2 months ago

Generalized transitive closure explanations?In Database Theory · 2 months ago

Null, NaN, NaV, and 2VLIn TTM General discussion · 2 months ago

An anonymous poem on SQL, for those who haven't seen itIn Miscellaneous · 2 months ago

ANNOUNCE: Rel version 3.014 now available!In Tutorial D · 2 months ago

Scope and lifetimeIn Tutorial D · 3 months ago

7NF and ℵIn Database Theory · 3 months ago

The missing tupleIn Tutorial D · 3 months ago

Tutorial D expr (RELATION {} {} {}), and a syntactic ambiguity?In Tutorial D · 3 months ago

Tutorial D as a serviceIn Tutorial D · 6 months ago

User defined operators vs. SQL back endsIn Tutorial D · 3 months ago

What is the purpose of SUMMARIZE PER?In TTM General discussion · 3 months ago

Aggregates in relational calculusIn Miscellaneous · 4 months ago

Window size, full screen and submitIn Forum Use and Support · 3 months ago

On degenerate TTM relation values, and their schemasIn TTM General discussion · 3 months ago

Post texts display in a very light shade of grey.In Forum Use and Support · 3 months ago

E.F. Codd and Relational Theory, new book by CJDIn TTM General discussion · 3 months ago

The RM by degreesIn Database Theory · 3 months ago

'Closed over relations'; another possibly-quiz [was: Uniqueness of R00]In Database Theory · 4 months ago

Towards the databasespreadsheet in the sky: NAXLIn Miscellaneous · 4 months ago

Brave New World databaspreadsheetIn Miscellaneous · 4 months ago

PartiQLIn Miscellaneous · 4 months ago

Pre-relational database models' influence on "theoreticians"In TTM General discussion · 4 months ago

Uniqueness of Dum (R00)In Database Theory · 5 months ago

Stateful constraints in TTMIn TTM General discussion · 4 months ago

Want a Database Design subforum?In TTM General discussion · 4 months ago

Expressing FDs without RENAME (nor COUNT)In Database Theory · 4 months ago

Towards algebraic dependency theory?In Database Theory · 5 months ago

Generalising Codd's operators; and a quizIn Database Theory · 5 months ago

Accessing database management systems from application programs.In Database Theory · 5 months ago