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

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

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

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

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

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

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

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

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

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

Aggregates in constraintsIn Miscellaneous · 4 years ago

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

A question after re-reading CoddIn Database Theory · 4 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 · 4 years ago

Paper: "... A Linguistic Approach to the View Update Problem"In Database Theory · 4 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

Codd's remainderIn Database Theory · 5 years ago

Latex testIn Forum Use and Support · 5 years ago

Proposed SAFEUNGROUP operatorIn Tutorial D · 5 years ago