Clifford Heath <no / spam.please.net> writes:

>>   I argue that the following features
>> would take a big deal of the pain usually connected with ORM without
>> changing the validity of the Relational Model.
>> * Dynamically, strongly typed values.  (Types can be enforced (or even
>>   ducktyped!) by help of constraints.)
>> * Dynamically defined relvars.
>> * Dynamic fields.  (This is, in the end, dynamic relvars and DKNF).
>
> What you are describing is a conceptual query language. Look at
> ConQuer - not a lot of information about it is available, and
> Microsoft owns (but appears not to be progressing) the only
> implementation.

I was more thinking along the lines of Datalog.

>> That said, I honestly have no idea how to implement all this
>> efficiently.  :-(
>
> I do, and I'm working on it. Anyone want to help? Or are you happy
> just throwing rocks?

I'd love to have a look.  Where is the code?

> Clifford Heath.
-- 
Christian Neukirchen  <chneukirchen / gmail.com>  http://chneukirchen.org