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

Function relationsIn TTM General discussion · 9 hours ago

Anonymous operators revisitedIn Tutorial D · 2 days ago

Aggregation in TD and RelIn Tutorial D · 2 days ago

Questions about some relational operator definitions and comments about the DIVIDEBY operationIn TTM General discussion · 2 months ago

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

Tutorial D - Relational Model Number TypeIn Tutorial D · 7 days ago

What are the nodes in a Visual RA?In Database Theory · 2 weeks ago

Andl Adds Relational Algebra to KnimeIn Miscellaneous · 7 days ago

Please do my homeworkIn Tutorial D · 1 week ago

Forum response noticeably sluggish, ~ 1:00 am Monday morning GMTIn Forum Use and Support · 2 weeks ago

More sad quotesIn TTM General discussion · 2 weeks ago

The problem of company carsIn Miscellaneous · 4 weeks ago

Johns Hopkins' Covid-19 "database"In Miscellaneous · 2 weeks ago

Server move; service interruptionIn Forum Administration · 3 weeks ago

Questions about New Relational Algebra AIn TTM General discussion · 1 month ago

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

SUMMARIZE PER, OUTER JOIN and image relationsIn Database Theory · 1 month ago

No longer receiving emailIn Forum Use and Support · 2 months ago

Java gets tuplesIn Miscellaneous · 2 months ago

Tutorial D as a serviceIn Tutorial D · 9 months ago

And the moral is, Knime is better than Excel but it sure ain't relational...In Miscellaneous · 1 month ago

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

Relational Theory and the Russell ParadoxIn Database Theory · 4 months ago

Removed message editor context menu.In Forum Administration · 2 months ago

Minor irritations...In Forum Use and Support · 2 months ago

"And the moral is, don't use Excel as a scientific database ..."In Miscellaneous · 2 months ago

Relational Lattice: 2019 Report CardIn Database Theory · 3 months ago

Extracting a domain from a relationIn Database Theory · 3 months ago

Datomic? and a provocative lectureIn Miscellaneous · 3 months ago

ANNOUNCE: DuroDBMS 1.7 releasedIn TTM General discussion · 3 months ago

Proposal for a Functional DIn TTM General discussion · 4 months ago

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

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

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

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

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

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

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

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

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

Aggregates in constraintsIn Miscellaneous · 5 months ago

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

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

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

Tuple visibility through a viewIn Database Theory · 6 months ago

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

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

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

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

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