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

ChatGPT implementation of the relational model.In Miscellaneous · 2 months ago

Making illegal states unrepresentableIn Database Theory · 3 months ago

Object-Relational hybrids and `id` as Primary keyIn Database Theory · 4 months ago

Where do y'all hang out?In TTM General discussion · 6 months ago

Uploading a pictureIn Forum Use and Support · 5 months ago

Tutorial D railway diagramsIn Tutorial D · 7 months ago

The Third Manifesto and related articles deleted from Wikipedia.In TTM General discussion · 7 months ago

ANNOUNCE: Rel version 3.016 now available!In Miscellaneous · 8 months ago

Good language design? { I rather think not }In Tutorial D · 8 months ago

Operators on tuples/'Expressively complete'/RM Pre 6In Database Theory · 9 months ago

ANNOUNCE: Rel version 3.015 released!In Miscellaneous · 8 months ago

Relational Theory and the Russell ParadoxIn Database Theory · 3 years ago

JSON cp XML and other interchange formats: why so verbose?In Miscellaneous · 1 year ago

SQL 1992 `UNION JOIN`-- huh?In Database Theory · 1 year ago

Season's greetings ...In Miscellaneous · 1 year ago

Which Reality?In Database Theory · 2 years ago

Which value?In Database Theory · 2 years ago

Javascript records/tuples proposalIn Miscellaneous · 2 years ago

Which Representation?In Database Theory · 2 years ago

Which Logical Difference?In Database Theory · 2 years ago

Which Result?In Database Theory · 2 years ago

Which type?In Database Theory · 2 years ago

Which Empty?In Database Theory · 2 years ago

Comments to Wikipedia Type theory articleIn Database Theory · 2 years ago

Which Set Theory?In Database Theory · 2 years ago

Which tuple?In Database Theory · 2 years ago

Ballerina, perhaps a more serious language with relational constructsIn Miscellaneous · 2 years ago

ANNOUNCE: WrapdIn Miscellaneous · 2 years ago

Another language with relational constructs addedIn Miscellaneous · 2 years ago

DiscourseIn Forum Use and Support · 2 years ago

Almost (but not quite) an ANNOUNCEIn Miscellaneous · 2 years ago

Looking for a mathy term/theory: invertible operator, functional dependencyIn Miscellaneous · 2 years ago

Some light entertainment: [database theorists] "should stay in their lane and let the apps decide ..."In Database Theory · 2 years ago

The future of TTMIn TTM General discussion · 2 years ago

Expressivenes of SQL vs TTMIn TTM General discussion · 2 years ago

TTM without tuplesIn TTM General discussion · 2 years ago

The type of <TCLOSE>In Tutorial D · 2 years ago

On uniqueness of R00In Database Theory · 2 years ago

Type checking/inference, practical application?In Database Theory · 2 years ago

Relational Lattice Axiomatizations in various signaturesIn Database Theory · 2 years ago

On Relational Lattice complements, pseudocomplements, distributivity and Boolean algebrasIn Database Theory · 2 years ago

Types versus sets in math and programming languagesIn TTM General discussion · 2 years ago

ANNOUNCE: a relational algebra with only one primitive operator (tentative) (please check/critique)In Database Theory · 2 years ago

Language safety missing when D meets DatabaseIn TTM General discussion · 2 years ago

An Algebra of R00, R01, R10, and R11In Database Theory · 2 years ago

The macro-level lattice structure of relations in the vicinity of `DEE`, `DUM`In Database Theory · 2 years ago

`SELECT DISTINCT` -- a(nother) disaster waiting to happenIn Database Theory · 2 years ago

The intellectual curiosity of `NatJoin`, `InnerUnion`In Database Theory · 2 years ago

Why 'Join'?In Database Theory · 2 years ago

A (not so new) query language?In Miscellaneous · 2 years ago