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

Which Reality?In Database Theory · 5 days ago

Which value?In Database Theory · 17 hours ago

Javascript records/tuples proposalIn Miscellaneous · 7 days ago

Which Representation?In Database Theory · 4 days ago

Which Logical Difference?In Database Theory · 5 days ago

Which Result?In Database Theory · 3 weeks ago

Which type?In Database Theory · 4 weeks ago

Which Empty?In Database Theory · 3 weeks ago

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

Which Set Theory?In Database Theory · 4 weeks ago

Which tuple?In Database Theory · 4 weeks ago

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

ANNOUNCE: WrapdIn Miscellaneous · 1 month ago

Another language with relational constructs addedIn Miscellaneous · 1 month ago

DiscourseIn Forum Use and Support · 12 months ago

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

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

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

The future of TTMIn TTM General discussion · 5 months ago

Expressivenes of SQL vs TTMIn TTM General discussion · 5 months ago

TTM without tuplesIn TTM General discussion · 8 months ago

The type of <TCLOSE>In Tutorial D · 5 months ago

On uniqueness of R00In Database Theory · 5 months ago

Type checking/inference, practical application?In Database Theory · 5 months ago

Relational Lattice Axiomatizations in various signaturesIn Database Theory · 5 months ago

On Relational Lattice complements, pseudocomplements, distributivity and Boolean algebrasIn Database Theory · 6 months ago

Types versus sets in math and programming languagesIn TTM General discussion · 5 months ago

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

Language safety missing when D meets DatabaseIn TTM General discussion · 6 months ago

An Algebra of R00, R01, R10, and R11In Database Theory · 7 months ago

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

`SELECT DISTINCT` -- a(nother) disaster waiting to happenIn Database Theory · 7 months ago

The intellectual curiosity of `NatJoin`, `InnerUnion`In Database Theory · 7 months ago

Why 'Join'?In Database Theory · 7 months ago

A (not so new) query language?In Miscellaneous · 7 months ago

DictionariesIn TTM General discussion · 7 months ago

Life after D with Safe JavaIn TTM General discussion · 8 months ago

Life after D safe Java Mk IIIIn TTM General discussion · 8 months ago

Tuples FTWIn TTM General discussion · 7 months ago

Relations as sets of columnsIn Database Theory · 8 months ago

On the cardinality of (scalar) typesIn TTM General discussion · 8 months ago

Life after JIn TTM General discussion · 8 months ago

ANSWERED: Aesthetics of collection delimiters - braces vs bracketsIn TTM General discussion · 8 months ago

Life after DIn TTM General discussion · 9 months ago

Life after D -- M for metaprogrammingIn TTM General discussion · 9 months ago

Temporary domain name change.In Forum Administration · 9 months ago

Formal definitions for Relation Constant, Transitive Closure, Extended Transitive ClosureIn TTM General discussion · 2 years ago

What do set-based operations buy us?In Database Theory · 10 months ago

Uh-oh: a 'partnership with the Excel team to transform spreadsheet formulas into a full-fledged programming language'In Miscellaneous · 10 months ago

Unifying small and great divideIn Tutorial D · 10 months ago