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

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

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

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

The future of TTMIn TTM General discussion · 2 months ago

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

TTM without tuplesIn TTM General discussion · 5 months ago

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

On uniqueness of R00In Database Theory · 2 months ago

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

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

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

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

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

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

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

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

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

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

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

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

DictionariesIn TTM General discussion · 4 months ago

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

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

Tuples FTWIn TTM General discussion · 5 months ago

Relations as sets of columnsIn Database Theory · 5 months ago

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

Life after JIn TTM General discussion · 6 months ago

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

Life after DIn TTM General discussion · 6 months ago

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

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

Formal definitions for Relation Constant, Transitive Closure, Extended Transitive ClosureIn TTM General discussion · 1 year ago

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

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

Unifying small and great divideIn Tutorial D · 7 months ago

'data language' / 'programming language'In Miscellaneous · 7 months ago

A plague on 'Relationally Complete'In Database Theory · 7 months ago

NoSQL and SQL and 'relational' -- a mess of disinformationIn Miscellaneous · 8 months ago

Status of my Julia implementationIn TTM General discussion · 8 months ago

Meaning of a relationIn TTM General discussion · 8 months ago

A layer over SQL [was Meaning of a relation]In TTM General discussion · 8 months ago

Subset types, in a completely other contextIn TTM General discussion · 8 months ago

Where to start for a beginner?In TTM General discussion · 10 months ago

DiscourseIn Forum Use and Support · 9 months ago

Is there a language that does both what SQL does and general purpose programming?In TTM General discussion · 10 months ago

Why is Cassandra not considered a relational database?In TTM General discussion · 10 months ago

Adding a new attribute to an existing relationIn Miscellaneous · 10 months ago

Key questionsIn Database Theory · 12 months ago

RAQUEL needs a New HomeIn Miscellaneous · 10 months ago

Where can I find paper "Further Normalization of the Data Base Relational Model"?In Database Theory · 11 months ago