* Inheritance conflict
@ 1996-07-26 0:00 Giuseppe Basile
0 siblings, 0 replies; only message in thread
From: Giuseppe Basile @ 1996-07-26 0:00 UTC (permalink / raw)
Hello everybody,
I got a very interesting problem on inheritance conflict.
I would known how is it approached in CLASSIC.
Consider the following definition schema (syntax is no probably
right!):
type adult = {age: integer, child: student}
type student={name: string, college: string, friend: adult}
type employee={name: ext_name, salary:integer, friend: employee}
type ext_name= {frs_name: string, fam_name: string}
type employee_student = student and employee
It defines five types (classes) in which 'string' e 'integer' are base
types. In the last row 'employee_student' inherit from 'student' and
'employee'.
How does CLASSIC resolve inheritance conflict in the schema?
What's the type of name property in 'employee_student' ?
Thanks to all you and to who will contact me with an answer.
(Please, send me a private e-mail, Thanks)
Giuseppe Basile
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1996-07-26 0:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1996-07-26 0:00 Inheritance conflict Giuseppe Basile
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox