Project

General

Profile

Feature #111

Transitive constraints not detected

Added by Paula Gearon almost 16 years ago. Updated almost 16 years ago.

Status:
New
Priority:
Normal
Assignee:
Category:
RLog
Start date:
Due date:
% Done:

0%

Estimated time:
Resolution:

Description

RLog does not generate Transitive Constraints, though these are easy to detect.

Just look for the pattern of:
(var <URI> var)

If 2 or more of these are found, then compare the first variable in each to the last variable of all the others. Once a match is found, then those two constraints potentially merge to form a transitive constraint.

The variable to be dropped must first be searched for in the rest of the constraint. If it doesn't exist anywhere else, then the potential merge may go ahead.

No data to display

Also available in: Atom PDF