issues
search
jgraley
/
inferno-cpp2v
2
stars
0
forks
source link
Baseless partial NLQs
#270
Closed
jgraley
closed
2 years ago
jgraley
commented
3 years ago
MMAX logic in
AgentCommon::RunNormalLinkedQuery()
, in baseless case, allow all links to be MMAX and stop, otherwise pass to
Impl()
StandardAgent: for now, if baseless, just skip itemisation of x and pass in null
p_x_seq
etc and skip checks that depend on it
Could try to enable more checks when baseless, i.e. maybe the knowledge could know when a member of a sequence is at front or back
Conjunction generalises over the full set of { links, base} - all supplied elements must be co-located #271
Disjunction - could still require all-but-one to be MMAX and the other not MMAX?
Stuff can't do anything, would not know how many ancestors to apply recurse restriction to. AnyNode could check for the existance of a parent.
Star can't do anything if baseless
Transformation agent - nothing to transform
Colocated agents in general can restrict on child in lieu of parent, see #271 (also want #277)
jgraley
commented
2 years ago
Obsolete
AgentCommon::RunNormalLinkedQuery()
, in baseless case, allow all links to be MMAX and stop, otherwise pass toImpl()
p_x_seq
etc and skip checks that depend on it