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

Recent books by Chris DateIn Miscellaneous · 3 months ago

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

Transfer of TTM domainIn TTM General discussion · 9 months ago

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

On uniqueness of R00In Database Theory · 3 years ago

Ask a LLM: SQL vs. CSS What’s the Difference? Which Is Better?In Miscellaneous · 1 year 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 · 2 years ago

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

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

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

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

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

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

JSON cp XML and other interchange formats: why so verbose?In Miscellaneous · 2 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 · 3 years ago

Which value?In Database Theory · 3 years ago

Javascript records/tuples proposalIn Miscellaneous · 3 years ago

Which Representation?In Database Theory · 3 years ago

Which Logical Difference?In Database Theory · 3 years ago

Which Result?In Database Theory · 3 years ago

Which type?In Database Theory · 3 years ago

Which Empty?In Database Theory · 3 years ago

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

Which Set Theory?In Database Theory · 3 years ago

Which tuple?In Database Theory · 3 years ago

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

ANNOUNCE: WrapdIn Miscellaneous · 3 years ago

Another language with relational constructs addedIn Miscellaneous · 3 years ago

DiscourseIn Forum Use and Support · 4 years ago

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

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

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

The future of TTMIn TTM General discussion · 3 years ago

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

TTM without tuplesIn TTM General discussion · 4 years ago

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

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

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

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

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

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

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

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