The Forum for Discussion about The Third Manifesto and Related Matters

The Third Manifesto ForumUnread Topics

Please or Register to create posts and topics.

Unread Topics

Datomic? and a provocative lectureIn Miscellaneous · 5 years ago

ANNOUNCE: DuroDBMS 1.7 releasedIn TTM General discussion · 5 years ago

Proposal for a Functional DIn TTM General discussion · 5 years ago

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

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

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

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

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

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

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

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

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

Aggregates in constraintsIn Miscellaneous · 5 years ago

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

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

Are inclusion dependencies reducible to foreign-key dependencies?In Database Theory · 5 years ago

Tuple visibility through a viewIn Database Theory · 5 years ago

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

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

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

VSS 8, SQL arrays, and SQL multisetsIn TTM General discussion · 5 years ago

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

Generalized transitive closure explanations?In Database Theory · 5 years ago

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

ANNOUNCE: Rel version 3.014 now available!In Tutorial D · 5 years ago

Scope and lifetimeIn Tutorial D · 5 years ago

7NF and ℵIn Database Theory · 5 years ago

The missing tupleIn Tutorial D · 5 years ago

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

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

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

Aggregates in relational calculusIn Miscellaneous · 5 years ago

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

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

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

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

The RM by degreesIn Database Theory · 5 years ago

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

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

Brave New World databaspreadsheetIn Miscellaneous · 5 years ago

PartiQLIn Miscellaneous · 5 years ago

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

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

Stateful constraints in TTMIn TTM General discussion · 5 years ago

Want a Database Design subforum?In TTM General discussion · 5 years ago

Expressing FDs without RENAME (nor COUNT)In Database Theory · 5 years ago

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

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

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

Updating through a view: a special caseIn Database Theory · 5 years ago