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

Where do y'all hang out?In TTM General discussion · 1 month ago

Uploading a pictureIn Forum Use and Support · 1 month ago

Tutorial D railway diagramsIn Tutorial D · 3 months ago

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

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

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

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

ANNOUNCE: Rel version 3.015 released!In Miscellaneous · 4 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 · 8 months 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 · 1 year ago

Which value?In Database Theory · 1 year ago

Javascript records/tuples proposalIn Miscellaneous · 1 year ago

Which Representation?In Database Theory · 1 year ago

Which Logical Difference?In Database Theory · 1 year ago

Which Result?In Database Theory · 1 year ago

Which type?In Database Theory · 1 year ago

Which Empty?In Database Theory · 1 year ago

Comments to Wikipedia Type theory articleIn Database Theory · 1 year ago

Which Set Theory?In Database Theory · 1 year ago

Which tuple?In Database Theory · 1 year ago

Ballerina, perhaps a more serious language with relational constructsIn Miscellaneous · 1 year ago

ANNOUNCE: WrapdIn Miscellaneous · 1 year ago

Another language with relational constructs addedIn Miscellaneous · 1 year 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 · 1 year ago

Some light entertainment: [database theorists] "should stay in their lane and let the apps decide ..."In Database Theory · 1 year 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

DictionariesIn TTM General discussion · 2 years ago

Life after D with Safe JavaIn TTM General discussion · 2 years ago

Life after D safe Java Mk IIIIn TTM General discussion · 2 years ago