💻 computer science
Using weakest application conditions to rank graph transformations for graph repair
यह शोधपत्र ग्राफ निरंतरता (graph consistency) के लिए एक क्रमिक दृष्टिकोण प्रस्तुत करता है जो अक्षमता-सूचक (impairment-indicating) और मरम्मत-सूचक (repair-indicating) अनुप्रयोग स्थितियों का उपयोग करता है ताकि बाधा उल्लंघनों को कम करने की उनकी क्षमता के आधार पर ग्राफ रूपांतरणों को सैद्धांतिक रूप से अभिलक्षित और एल्गोरिदम के माध्यम से रैंक किया जा सके, जिससे प्रभावी और स्केलेबल ग्राफ मरम्मत सक्षम हो सके।