eclipse-viatra / org.eclipse.viatra

Main components of the VIATRA framework
https://eclipse.dev/viatra
Eclipse Public License 2.0
0 stars 1 forks source link

Optimize plan for base index usage #41

Open eclipse-viatra-bot opened 5 months ago

eclipse-viatra-bot commented 5 months ago

| --- | --- | | Bugzilla Link | 501078 | | Status | ASSIGNED | | Importance | P3 normal | | Reported | Sep 08, 2016 10:08 EDT | | Modified | May 27, 2019 07:46 EDT | | Version | 1.4.0 | | See also | Gerrit change https://git.eclipse.org/r/87212, Git commit 2c18849b | | Reporter | Balazs Grill |

Description

Currently, the planner considers forward and backward navigation equivalent, which is true if we assume an already built base index for the feature. However, if two plans are functionally equivalent the planner should prefer the one which relies less on the base index.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Nov 14, 2016 07:50

An idea to test for 1.5: let's add a +1 cost to backward navigation (or something similar small difference). This should allow the planner to slightly prefer forward navigation.

eclipse-viatra-bot commented 5 months ago

Dec 15, 2016 05:50

New Gerrit change created: https://git.eclipse.org/r/87212

eclipse-viatra-bot commented 5 months ago

Dec 19, 2016 08:56

Gerrit change https://git.eclipse.org/r/87212 was merged to [master].\ Commit: http://git.eclipse.org/c/viatra/org.eclipse.viatra.git/commit/?id=2c18849b0c2daaf0d24753004016d45803bb812a

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Dec 19, 2016 08:57

While the minor cost preference was merged into 1.5, including the required index support in the cost calculation is also a valid task, so I postpone this ticket to 1.6.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Jan 25, 2017 08:13

Postponed tentatively. If work starts earlier, feel free to adjust the milestone.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Oct 04, 2017 05:04

Postponing.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on Feb 08, 2018 07:21

Postponing to a future release.

eclipse-viatra-bot commented 5 months ago

By Zoltan Ujhelyi on May 27, 2019 07:46

Postponing tickets to FUTURE until effort is allocated to fix them.