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

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

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

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

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

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

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

DictionariesIn TTM General discussion · 4 years ago

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

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

Tuples FTWIn TTM General discussion · 4 years ago

Relations as sets of columnsIn Database Theory · 4 years ago

On the cardinality of (scalar) typesIn TTM General discussion · 4 years ago

Life after JIn TTM General discussion · 4 years ago

ANSWERED: Aesthetics of collection delimiters - braces vs bracketsIn TTM General discussion · 4 years ago

Life after DIn TTM General discussion · 4 years ago

Life after D -- M for metaprogrammingIn TTM General discussion · 4 years ago

Temporary domain name change.In Forum Administration · 4 years ago

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

What do set-based operations buy us?In Database Theory · 4 years ago

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

Unifying small and great divideIn Tutorial D · 4 years ago

'data language' / 'programming language'In Miscellaneous · 4 years ago

A plague on 'Relationally Complete'In Database Theory · 4 years ago

NoSQL and SQL and 'relational' -- a mess of disinformationIn Miscellaneous · 4 years ago

Status of my Julia implementationIn TTM General discussion · 4 years ago

Meaning of a relationIn TTM General discussion · 5 years ago

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

Subset types, in a completely other contextIn TTM General discussion · 4 years ago

Where to start for a beginner?In TTM General discussion · 5 years ago

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

Why is Cassandra not considered a relational database?In TTM General discussion · 5 years ago

Adding a new attribute to an existing relationIn Miscellaneous · 5 years ago

Key questionsIn Database Theory · 5 years ago

RAQUEL needs a New HomeIn Miscellaneous · 5 years ago

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

Correlated subqueriesIn TTM General discussion · 5 years ago

"And the moral is, don't use Excel as a scientific database ..."In Miscellaneous · 5 years ago

Does RM Pro 4 really preclude NULLs?In TTM General discussion · 5 years ago

Heading inference, not type inferenceIn TTM General discussion · 5 years ago

WeirdIn Database Theory · 5 years ago

Update to Tutorial D, July 2020In Tutorial D · 5 years ago

An alternative to open expressionsIn TTM General discussion · 5 years ago

'Phantom type' for Attribute-Value pairs, in "popular languages" [was C# as a D]In TTM General discussion · 5 years ago

Special cases for JOIN operationsIn Tutorial D · 5 years ago

Another better sample of 'C# as D'In TTM General discussion · 5 years ago

'Auxiliary relvar' by any other name? [was: Specialisation-by-Constraint for arithmetic operations]In TTM General discussion · 5 years ago