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

Server move; service interruptionIn Forum Administration · 4 months ago

Questions about New Relational Algebra AIn TTM General discussion · 5 months ago

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

SUMMARIZE PER, OUTER JOIN and image relationsIn Database Theory · 5 months ago

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

Java gets tuplesIn Miscellaneous · 5 months ago

Tutorial D as a serviceIn Tutorial D · 1 year ago

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

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

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

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

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

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

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

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

Datomic? and a provocative lectureIn Miscellaneous · 6 months ago

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

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

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

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

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

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

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

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

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

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

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

Aggregates in constraintsIn Miscellaneous · 8 months ago

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

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

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

Tuple visibility through a viewIn Database Theory · 9 months ago

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

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

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

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

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

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

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

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

Scope and lifetimeIn Tutorial D · 10 months ago

7NF and ℵIn Database Theory · 10 months ago

The missing tupleIn Tutorial D · 10 months ago

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

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

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

Aggregates in relational calculusIn Miscellaneous · 11 months ago

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

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

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