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

Tutorial D railway diagramsIn Tutorial D · 4 weeks ago

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

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

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

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

ANNOUNCE: Rel version 3.015 released!In Miscellaneous · 2 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 · 6 months ago

SQL 1992 `UNION JOIN`-- huh?In Database Theory · 11 months ago

Season's greetings ...In Miscellaneous · 11 months ago

Which Reality?In Database Theory · 12 months ago

Which value?In Database Theory · 12 months ago

Javascript records/tuples proposalIn Miscellaneous · 1 year ago

Which Representation?In Database Theory · 12 months ago

Which Logical Difference?In Database Theory · 12 months 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 · 1 year 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 · 1 year ago

Expressivenes of SQL vs TTMIn TTM General discussion · 1 year ago

TTM without tuplesIn TTM General discussion · 2 years ago

The type of <TCLOSE>In Tutorial D · 1 year ago

On uniqueness of R00In Database Theory · 1 year ago

Type checking/inference, practical application?In Database Theory · 1 year ago

Relational Lattice Axiomatizations in various signaturesIn Database Theory · 1 year ago

On Relational Lattice complements, pseudocomplements, distributivity and Boolean algebrasIn Database Theory · 1 year ago

Types versus sets in math and programming languagesIn TTM General discussion · 1 year 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 · 1 year 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

Tuples FTWIn TTM General discussion · 2 years ago

Relations as sets of columnsIn Database Theory · 2 years ago