Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Application of formal methods

  1. Jun 21, 2008 #1
    Hi all,
    I am doin masters and studying Formal methods.And started working on Z/Eves Z language tool.I am trying to write specifications for a sysmtem that will convert Ralational database schema into conceptual schema and i read a paper by Paul Johannesson published in 1994.In paper it gave very good method for this transformation.In one step candidate key splitting should be done.Can anyone give me z/eves code which takes the relation and find its candidate keys and split them.I defined Ralation as Schema in z/eves as

    Rel: F ROW
    Attr: F ANAME

    For all r:ROW | r belongs to Rel . dom r.Row = Attr

    I used english for z/eves tool.I am tryin to do it bt kind of a stuck.Please help me so tht i can complete my project on time.

  2. jcsd
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Can you help with the solution or looking for help too?
Draft saved Draft deleted

Similar Discussions: Application of formal methods
  1. Gcd method (Replies: 4)

  2. ReplaceString method (Replies: 5)

  3. Bisection Method (Replies: 2)

  4. Newton Method (Replies: 1)

  5. Method of Complements (Replies: 3)