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

SQL:2023 says SQL is “pseudo-relational” instead of truly relational.In Miscellaneous · 3 months ago

Allow reserved identifiers as Attribute names?In Tutorial D · 6 months ago

History and future of TTMIn Miscellaneous · 3 months ago

No email notifications since 2023In Forum Use and Support · 3 months ago

3rdManifesto 8thDayofChristmas identifiers starting numericIn Miscellaneous · 6 months ago

Recent books by Chris DateIn Miscellaneous · 10 months ago

Geometry: all circles are ellipses; all squares are rectangles; congruent figures are similar -- it ain't necessarily soIn TTM General discussion · 11 months ago

Transfer of TTM domainIn TTM General discussion · 1 year ago

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

On uniqueness of R00In Database Theory · 4 years ago

Ask a LLM: SQL vs. CSS What’s the Difference? Which Is Better?In Miscellaneous · 2 years ago

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

Making illegal states unrepresentableIn Database Theory · 2 years ago

Object-Relational hybrids and `id` as Primary keyIn Database Theory · 2 years ago

Where do y'all hang out?In TTM General discussion · 2 years ago

Uploading a pictureIn Forum Use and Support · 2 years ago

Tutorial D railway diagramsIn Tutorial D · 3 years ago

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

ANNOUNCE: Rel version 3.016 now available!In Miscellaneous · 3 years ago

Good language design? { I rather think not }In Tutorial D · 3 years ago

Operators on tuples/'Expressively complete'/RM Pre 6In Database Theory · 3 years ago

ANNOUNCE: Rel version 3.015 released!In Miscellaneous · 3 years ago

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

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

SQL 1992 `UNION JOIN`-- huh?In Database Theory · 3 years ago

Season's greetings ...In Miscellaneous · 3 years ago

Which Reality?In Database Theory · 4 years ago

Which value?In Database Theory · 4 years ago

Javascript records/tuples proposalIn Miscellaneous · 4 years ago

Which Representation?In Database Theory · 4 years ago

Which Logical Difference?In Database Theory · 4 years ago

Which Result?In Database Theory · 4 years ago

Which type?In Database Theory · 4 years ago

Which Empty?In Database Theory · 4 years ago

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

Which Set Theory?In Database Theory · 4 years ago

Which tuple?In Database Theory · 4 years ago

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

ANNOUNCE: WrapdIn Miscellaneous · 4 years ago

Another language with relational constructs addedIn Miscellaneous · 4 years ago

DiscourseIn Forum Use and Support · 5 years ago

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

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

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

The future of TTMIn TTM General discussion · 4 years ago

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

TTM without tuplesIn TTM General discussion · 4 years ago

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

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

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