Inkrementální propagační pravidla pro precedenční a dependenční podmínky

Abstrakt

V článku jsou navržena nová filtrační providla kombinující informaci o precedencích a dependencích mezi uzly v orientovaném grafu. Je zde také navrženo filtrační pravidlo založené na informaci o požadovaném počtu validních uzlů v grafu s volitelnými uzly.

Efektivita nových pravidel je demonstrována na řešení log-based reconciliation problémů.

Klíčová slova

• Incremental
• Filtering
• Algorithms
• Precedence
• Dependency
• Constraints