Re: CG: Re: SUO: What the marketplace needs from us.
Just a minor remark.
"John F. Sowa" a écrit :
> 1. The database itself is a large collection of ground-level clauses,
> which use the existential-conjunctive subset of logic (the only
> operators are existence and conjunction).
THIS is the problem, the bulk of the database is only *ground-level*,
and even if stored queries and views are FOL and horn clauses the whole
of the database is not homogenous and self-referencable.
For instance you cannot have queries about the stored queries that would
have such or such characteristics.
Fairly common shortsightedness from the designers who are bent on solving
the "practical problems of the day" while dismissing generality as "too complex".
General solutions are of course a little harder to *think about* but also
SIMPLER than ad hoc solutions and MUCH CHEAPER to implement (really!).
Best.
-- Jean-Luc Delatre
-------------------------------------------------------------------------
"Nothing is more necessary to the culture of the higher sciences than
meditation, and nothing is less suited to meditation than the structure
of democratic society." -- Alexis De Tocqueville
-------------------------------------------------------------------------
http://perso.club-internet.fr/jld/ -- GSM: +33 6 11 24 06 29