The ORM Foundation

Get the facts!

Search

Page 1 of 31 (306 items) 1 2 3 4 5 Next > ... Last »
  • Re: Hilbert's Program and the Formalisation of ORM

     Hi Victor, I think there's a question I can ask of you that I trust will lend itself to a simple answer (if it's a trick question,or has transcendental implications, I sure don't see it that way).  In the image you attached to the post, it looks like the sample population table entries are not sufficient to indicate the ...
    Posted to Philosophy (Forum) by Brian Nalewajek on Mon, Sep 1 2008
  • Re: Hilbert's Program and the Formalisation of ORM

     Hi Victor, Should I take it as significant that you quoted an apocryphal book, rather than choosing a near identical quote from one of the canonical gospels? While I have considered connections and implications for a number of the subject areas you mentioned; I haven't come close to looking at KL, KS, and the literature on derivations ...
    Posted to Philosophy (Forum) by Brian Nalewajek on Mon, Sep 1 2008
  • Re: Hilbert's Program and the Formalisation of ORM

     Hi Victor, You put together a pretty good narrative.  I think it would make the basis of a worthwhile article, that you can post here, or elsewhere.  It should make a good introduction of the mathematical liniage and links between FOL, KL, KS and ORM theory. As it happens, I know a fair bit about Champollion's use of ...
    Posted to Philosophy (Forum) by Brian Nalewajek on Sun, Aug 31 2008
  • Re: Hilbert's Program and the Formalisation of ORM

     Hi Victor, I see you received some clarification from Dr. Halpin, in the exchange.  There is, apparently, agreement that ORM can provide "proofs."  Could you provide an example, so that I can put this thread into context.  I'm unclear as to what type of ORM model is said to provide such proofs (all syntactically ...
    Posted to Philosophy (Forum) by Brian Nalewajek on Fri, Aug 29 2008
  • Re: Using data-type for rule modeling

     Hi, Thanks for the input.  When I modeled the two approaches, a whole slew of issues came to mind. Primarily, I was interested in what others thought of the general idea of using data-type assignment as a component in modeling a business rule.  In an immediate sense, the use depicted does get the job done.  However, it's ...
    Posted to ORM Techniques (Forum) by Brian Nalewajek on Tue, Aug 26 2008
  • Re: A new tool, the Constellation Query Language

     Hi ***, I forgot to mention this earlier, but .orm (nORMa tool files), uploaded to the Library section here, ought to make good test fodder for your converter (as in the model fragment I uploaded about caller preferences: http://www.ormfoundation.org/files/folders/norma/entry1191.aspx )  Posting the concerted file up for comparison ...
    Posted to Other Tools (Forum) by Brian Nalewajek on Tue, Aug 26 2008
  • Re: A new tool, the Constellation Query Language

     Hi ***, I'm just now taking a first look at your "Introduction to CQL" draft version pdf file.   My first impression is that it has a familiar ring to ORM trained ears.  The reasons why that is are obvious (at least to me, as you've talked about the ORM theory basis to your work).  That familiarity may be a ...
    Posted to Other Tools (Forum) by Brian Nalewajek on Tue, Aug 26 2008
  • Re: Using data-type for rule modeling (1st Image addition)

     Hi, Adding this reply to include the first (Typical Salary) image file.  Currently there's a one file/post limit.  The file included here should have been the first one of the two in the original post. BRN..
    Posted to ORM Techniques (Forum) by Brian Nalewajek on Mon, Aug 25 2008
  • Using data-type for rule modeling

     Hi, First, I'm putting this in the nORMa forums, as we do not yet have a forum for general ORM questions or comments (and nORMa was used to create the examples). The question: Is it legitimate to use an assignment of a data-type to implement a rule, while modeling an application domain in Object Role Modeling? This issue came out of ...
    Posted to ORM Techniques (Forum) by Brian Nalewajek on Mon, Aug 25 2008
  • Forum structure, thread drift

     Hi Ken, Agreed: thread drift is a problem, and one I've pointed out before (and as a problem is common enough in community forums to not really need pointing out).  That's one of the reasons I suggested Marijke break her original thread into better enable development of the constituent parts.  It's also the reason why ...
    Posted to Issues (Forum) by Brian Nalewajek on Fri, Aug 22 2008
Page 1 of 31 (306 items) 1 2 3 4 5 Next > ... Last »
© 2008-2022 The ORM Foundation: A UK not-for-profit organisation -------------- Terms of Service