User loginNavigation 
Language combining relational algebra and domain algebraI'm working on a language (and implementation) that combines elements of relational algebra and domain algebra. For clarity, the relational algebra is about operations with relations as arguments, such as join, union and 'is subset of'. The domain algebra is about iterated tuplelevel operations used to select, generate or modify relations, such as '>=', '+' and SUM(). The purpose is similar to the Functional Relational Programming described but not implemented in Out of the Tar Pit. I have a bibliography of papers and products for some 25 or so relational languages spanning over 30 years, including the Third Manifesto and TutorialD, Rel, Alf, Muldis, SIRAPRISE, BS12, Dataphor, etc. They all emphasise the relational side, and while most have a domain algebra component they do not treat it in any detail. I'm looking for more material on the domain side. I know of one set of works directly on the subject: Aldat. I would appreciate any links or pointers for additional works in this area, preferably active now or in the recent past. By davidb at 20141211 11:01  LtU Forum  previous forum topic  next forum topic  other blogs  5367 reads

Browse archivesActive forum topics 
Recent comments
2 days 21 hours ago
5 days 5 hours ago
5 days 7 hours ago
6 days 3 hours ago
6 days 10 hours ago
6 days 13 hours ago
6 days 14 hours ago
6 days 16 hours ago
1 week 7 hours ago
1 week 11 hours ago