Predicate dependency graph

Dear all,

I've been wondering who has introduced the notion of a predicate
dependency graph? The earliest mentioning of this structure I was able
to find so far is due to Kenneth Kunen (Signed Data Dependency in LP,
JLP 7(3):978-992, 1989; presumably based on a technical report with
same name from 1987). I'm also aware of a similar notion in Lutz
Pluemer's thesis (1989 as a thesis; 1990 as an LNCS volume).

Best regards,
Alexander

Hi Alex...

Alexander Serebrenik <A.Serebrenik@tue.nl> wrote:
> Dear all,
> I've been wondering who has introduced the notion of a predicate
> dependency graph? The earliest mentioning of this structure I was able
> to find so far is due to Kenneth Kunen (Signed Data Dependency in LP,
> JLP 7(3):978-992, 1989; presumably based on a technical report with
> same name from 1987). I'm also aware of a similar notion in Lutz
> Pluemer's thesis (1989 as a thesis; 1990 as an LNCS volume).

Is this the graph in which predicate p depends on q if p
calls q?  If so, then it is a straightforward extension of the
notion of program dependency graph for imperative and functional
languages.

--Jamie.                 (a Dover edition designed for years of use!)
andrews    .uwo      } Merge these two lines to obtain my e-mail address.
@csd    .ca   } (Unsolicited "bulk" e-mail costs everyone.)