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

Relational Lattice: 2019 Report CardIn Database Theory · 2 weeks ago

Extracting a domain from a relationIn Database Theory · 1 week ago

Datomic? and a provocative lectureIn Miscellaneous · 2 weeks ago

Relational Theory and the Russell ParadoxIn Database Theory · 1 month ago

ANNOUNCE: DuroDBMS 1.7 releasedIn TTM General discussion · 4 weeks ago

Proposal for a Functional DIn TTM General discussion · 1 month ago

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

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

"The Programmer As Navigator"In Miscellaneous · 2 months ago

Inappropriate responses to points about language design in SQLIn TTM General discussion · 2 months ago

Types and all that @*#$.In Miscellaneous · 2 months ago

The case against range variablesIn TTM General discussion · 2 months ago

Why do we need natural joins?In TTM General discussion · 3 months ago

How to resolve the type system-relational algebra mismatchIn Database Theory · 3 months ago

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

Implicit assumptions in a toy example of view updatesIn Database Theory · 3 months ago

RFC: "DOMAIN" types in Tutorial DIn Tutorial D · 3 months ago

Aggregates in constraintsIn Miscellaneous · 3 months ago

Logical incompleteness of A-algebra for base deletesIn Database Theory · 3 months ago

A question after re-reading CoddIn Database Theory · 3 months ago

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

Tuple visibility through a viewIn Database Theory · 3 months ago

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

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

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

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

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

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

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

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

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

Scope and lifetimeIn Tutorial D · 4 months ago

7NF and ℵIn Database Theory · 4 months ago

The missing tupleIn Tutorial D · 4 months ago

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

Tutorial D as a serviceIn Tutorial D · 7 months ago

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

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

Aggregates in relational calculusIn Miscellaneous · 5 months ago

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

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

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

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

The RM by degreesIn Database Theory · 5 months ago

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

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

Brave New World databaspreadsheetIn Miscellaneous · 5 months ago

PartiQLIn Miscellaneous · 5 months ago

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

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