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
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?
Draft saved Draft deleted