Candidate examples
Posted: Fri Aug 31, 2012 5:56 am
I am using Rel to learn about the language, and the application of pure relational concepts rather than the variant embedded in SQL. I am also using a subset of Rel as part of a definition language I am writing. I am deriving many Rel fragments code as I do so. Would there be any value in posting some of these here as examples of language constructs?
As you might gather, this is very much work in progress, and so the validity of the candidate examples would potentially vary. At present for instance, the examples have not even been compiled in DBrowser. This is because:
I need a certain volume of material in place before fragments are usable;
I am not clear that the syntax is correct (and getting my syntax checked is a reason for suggesting posting these candidates).
In my project I will find (hopefully small) differences between what the language should do (IMHO), and what it does. An example is case sensitivity for names. I have not yet written a utility to output strict Rel from the slight variant I am using, so any conversions have been done manually.
Could I have your views on my supplying candidate examples.
To give a little context this is one of the fragments that has recently emerged in my work (this is more abbreviated than would be the normal case).
Extracting a value to enforce 1:1-0:1 constraint (ie an optional attribute):
type_ID FROM ( TUPLE FROM ( type WHERE ( name = "symbolic" ) { type_ID } ) )
As you might gather, this is very much work in progress, and so the validity of the candidate examples would potentially vary. At present for instance, the examples have not even been compiled in DBrowser. This is because:
I need a certain volume of material in place before fragments are usable;
I am not clear that the syntax is correct (and getting my syntax checked is a reason for suggesting posting these candidates).
In my project I will find (hopefully small) differences between what the language should do (IMHO), and what it does. An example is case sensitivity for names. I have not yet written a utility to output strict Rel from the slight variant I am using, so any conversions have been done manually.
Could I have your views on my supplying candidate examples.
To give a little context this is one of the fragments that has recently emerged in my work (this is more abbreviated than would be the normal case).
Extracting a value to enforce 1:1-0:1 constraint (ie an optional attribute):
type_ID FROM ( TUPLE FROM ( type WHERE ( name = "symbolic" ) { type_ID } ) )