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
Relation
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.
www.farazch.byethost13.com