Inkrementální udržování dvojitého precedenčního grafu v kontextu omezujících podmínek

Abstrakt

Práce se zabývá udržováním konzistence precedenčního grafu s přímými precedencemi (A může být těsně před B). Je zde popsán model s omezujícími podmínkami a navržena inkrementální pravidla pro udržování tranzitivního uzávěru grafu.

Klíčová slova

• Incremental
• Maintenance
• Double
• Precedence
• Graphs
• Constraint-Based
• Approach