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

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 · 1 year ago

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

Unifying small and great divideIn Tutorial D · 1 year ago

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

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

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

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

Meaning of a relationIn TTM General discussion · 2 years ago

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

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

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

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

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

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

Key questionsIn Database Theory · 2 years ago

RAQUEL needs a New HomeIn Miscellaneous · 2 years ago

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

Correlated subqueriesIn TTM General discussion · 2 years ago

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

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

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

WeirdIn Database Theory · 2 years ago

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

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

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

Special cases for JOIN operationsIn Tutorial D · 2 years ago

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

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

Specialisation-by-Constraint for arithmetic operations: up to a point, Lord CopperIn TTM General discussion · 2 years ago

Can TCLOSE and GTC claim to be about directed paths without edges having a direction?In TTM General discussion · 2 years ago

Does TRANCLO have to be recursive?In Tutorial D · 2 years ago

Clarification re local relvar and KEYIn Tutorial D · 2 years ago

Relcons and relfuns are both FOPLIn TTM General discussion · 2 years ago

Formalisation of Transitive ClosureIn TTM General discussion · 2 years ago

Formalisation of Appendix A 'relcons'In TTM General discussion · 2 years ago

A better sample of 'C# as D' Mark IIIn TTM General discussion · 2 years ago

Defining a function relation by means of a headingIn TTM General discussion · 2 years ago

C# 9.0 has data classesIn Database Theory · 2 years ago

Update on "C# is a D" projectIn TTM General discussion · 2 years ago

Why not relational ordering operators?In TTM General discussion · 2 years ago

Java JOINIn TTM General discussion · 2 years ago

Some issues with TTMIn TTM General discussion · 2 years ago

A TTM Tuple is not a RecordIn TTM General discussion · 2 years ago

Upload Files of types that are relevant to the audience hereIn Forum Use and Support · 2 years ago

Looking for a reference/piece of terminology: 'generative' dependencies(?)In Database Theory · 2 years ago

So C# really can be a D, but there are issues...In TTM General discussion · 2 years ago

Big birthday coming up ...In Database Theory · 2 years ago

Strange behaviour with <> code formattingIn Forum Use and Support · 2 years ago

Java as a host language for a DIn TTM General discussion · 2 years ago