Forum Navigation
Unread Topics
What do set-based operations buy us?In Database Theory · 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
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
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
Correlated subqueriesIn TTM General discussion · 2 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
Special cases for JOIN operationsIn Tutorial D · 2 years ago
Another better sample of 'C# as D'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
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
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