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

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

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

Making illegal states unrepresentableIn Database Theory · 6 months ago

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

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

Uploading a pictureIn Forum Use and Support · 9 months ago

Tutorial D railway diagramsIn Tutorial D · 11 months ago

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

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

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

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

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

Relational Theory and the Russell ParadoxIn Database Theory · 4 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 · 2 years ago

Season's greetings ...In Miscellaneous · 2 years 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 · 3 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