🔢 mathematics
Proof-Valid Caching under Premise Erasures: Local Structural Limits and Shared-Workload Gains
यह शोध पत्र प्रिमिस इरेज़र्स (premise erasures) के तहत सिमेंटिकली ट्रांसपेरेंट कैश से क्वेरीज़ को विश्वसनीय रूप से रिकवर करने के लिए सटीक सैद्धांतिक सीमाएं और इष्टतम कैशिंग रणनीतियां स्थापित करता है, जो यह प्रदर्शित करता है कि जबकि सिंगल-क्वेरी रिकवरी वेटेड पाथ इंटरसेप्शन (weighted path interception) में बदल जाती है, साझा-वर्कलोड अनुकूलन आम तौर पर NP-कम्प्लीट है फिर भी विशिष्ट व्यवस्थाओं (regimes) में कोडेड बेंचमार्क से बेहतर प्रदर्शन करने वाले सिमेंटिक मॉड्यूल्स के माध्यम से प्राप्त किया जा सकता है।