PostgreSQL Antipatterns: "इन्फिनिटी सीमा होइन!", वा पुनरावृत्तिको बारेमा थोरै

पुनरावृत्ति - एक धेरै शक्तिशाली र सुविधाजनक संयन्त्र यदि समान "गहिरो" कार्यहरू सम्बन्धित डेटामा प्रदर्शन गरिन्छ। तर अनियन्त्रित पुनरावृत्ति एक दुष्ट हो जसले कुनै पनि निम्त्याउन सक्छ अन्तहीन कार्यान्वयन प्रक्रिया, वा (जो धेरै पटक हुन्छ) मा "खाने" सबै उपलब्ध मेमोरी.

यस सम्बन्धमा DBMS ले समान सिद्धान्तहरूमा काम गर्दछ - "तिनीहरूले मलाई खन्न भने, त्यसैले मैले खन्ने"। तपाईंको अनुरोधले छिमेकी प्रक्रियाहरू मात्र ढिलो गर्न सक्दैन, निरन्तर प्रोसेसर स्रोतहरू लिन्छ, तर सम्पूर्ण डाटाबेसलाई "ड्रप" गर्न सक्छ, सबै उपलब्ध मेमोरी "खाने"। अनन्त पुनरावृत्ति विरुद्ध सुरक्षा - विकासकर्ता आफैंको जिम्मेवारी।

PostgreSQL मा, मार्फत पुनरावर्ती प्रश्नहरू प्रयोग गर्ने क्षमता WITH RECURSIVE संस्करण 8.4 को अनादिकालमा देखा पर्‍यो, तर तपाईले अझै पनि सम्भावित रूपमा कमजोर "रक्षाविहीन" प्रश्नहरूको सामना गर्न सक्नुहुन्छ। यस्तो समस्याबाट कसरी छुटकारा पाउने ?

पुनरावर्ती प्रश्नहरू नलेख्नुहोस्

र गैर-पुनरावर्ती लेख्नुहोस्। भवदीय, तपाईको K.O.

वास्तवमा, PostgreSQL ले तपाईले प्रयोग गर्न सक्ने धेरै प्रकार्यता प्रदान गर्दछ छैन पुनरावृत्ति लागू गर्नुहोस्।

समस्याको लागि मौलिक रूपमा फरक दृष्टिकोण प्रयोग गर्नुहोस्

कहिलेकाहीँ तपाईले समस्यालाई "भिन्न पक्ष" बाट हेर्न सक्नुहुन्छ। मैले लेखमा यस्तो अवस्थाको उदाहरण दिएँ "SQL HowTo: 1000 and one way of aggregation" - अनुकूलन समग्र प्रकार्यहरू प्रयोग नगरी संख्याहरूको सेटको गुणन:

WITH RECURSIVE src AS (
  SELECT '{2,3,5,7,11,13,17,19}'::integer[] arr
)
, T(i, val) AS (
  SELECT
    1::bigint
  , 1
UNION ALL
  SELECT
    i + 1
  , val * arr[i]
  FROM
    T
  , src
  WHERE
    i <= array_length(arr, 1)
)
SELECT
  val
FROM
  T
ORDER BY -- отбор финального результата
  i DESC
LIMIT 1;

यो अनुरोध गणित विशेषज्ञहरु को एक विकल्प संग प्रतिस्थापित गर्न सकिन्छ:

WITH src AS (
  SELECT unnest('{2,3,5,7,11,13,17,19}'::integer[]) prime
)
SELECT
  exp(sum(ln(prime)))::integer val
FROM
  src;

loops को सट्टा generate_series प्रयोग गर्नुहोस्

मानौं हामी स्ट्रिङका लागि सबै सम्भावित उपसर्गहरू उत्पन्न गर्ने कार्यको सामना गरिरहेका छौं 'abcdefgh':

WITH RECURSIVE T AS (
  SELECT 'abcdefgh' str
UNION ALL
  SELECT
    substr(str, 1, length(str) - 1)
  FROM
    T
  WHERE
    length(str) > 1
)
TABLE T;

के तपाइँ निश्चित हुनुहुन्छ कि तपाइँ यहाँ पुनरावृत्ति चाहिन्छ?... यदि तपाइँ प्रयोग गर्नुहुन्छ भने LATERAL и generate_series, तब तपाईलाई CTE को आवश्यकता पर्दैन:

SELECT
  substr(str, 1, ln) str
FROM
  (VALUES('abcdefgh')) T(str)
, LATERAL(
    SELECT generate_series(length(str), 1, -1) ln
  ) X;

डाटाबेस संरचना परिवर्तन गर्नुहोस्

उदाहरणका लागि, तपाईंसँग कसले कसलाई जवाफ दियो, वा थ्रेडमा जडान भएको फोरम सन्देशहरूको तालिका छ। सामाजिक संजाल:

CREATE TABLE message(
  message_id
    uuid
      PRIMARY KEY
, reply_to
    uuid
      REFERENCES message
, body
    text
);
CREATE INDEX ON message(reply_to);

ठिक छ, एउटा शीर्षकमा सबै सन्देशहरू डाउनलोड गर्नको लागि सामान्य अनुरोध यस्तो देखिन्छ:

WITH RECURSIVE T AS (
  SELECT
    *
  FROM
    message
  WHERE
    message_id = $1
UNION ALL
  SELECT
    m.*
  FROM
    T
  JOIN
    message m
      ON m.reply_to = T.message_id
)
TABLE T;

तर हामीलाई जहिले पनि मूल सन्देशबाट सम्पूर्ण विषय चाहिन्छ, त्यसोभए हामी किन गर्दैनौं प्रत्येक प्रविष्टिमा यसको आईडी थप्नुहोस् स्वचालित?

-- добавим поле с общим идентификатором темы и индекс на него
ALTER TABLE message
  ADD COLUMN theme_id uuid;
CREATE INDEX ON message(theme_id);

-- инициализируем идентификатор темы в триггере при вставке
CREATE OR REPLACE FUNCTION ins() RETURNS TRIGGER AS $$
BEGIN
  NEW.theme_id = CASE
    WHEN NEW.reply_to IS NULL THEN NEW.message_id -- берем из стартового события
    ELSE ( -- или из сообщения, на которое отвечаем
      SELECT
        theme_id
      FROM
        message
      WHERE
        message_id = NEW.reply_to
    )
  END;
  RETURN NEW;
END;
$$ LANGUAGE plpgsql;

CREATE TRIGGER ins BEFORE INSERT
  ON message
    FOR EACH ROW
      EXECUTE PROCEDURE ins();

अब हाम्रो सम्पूर्ण पुनरावर्ती क्वेरीलाई यो मात्रमा कम गर्न सकिन्छ:

SELECT
  *
FROM
  message
WHERE
  theme_id = $1;

लागू "सीमाहरू" प्रयोग गर्नुहोस्

यदि हामी कुनै कारणले डाटाबेसको संरचना परिवर्तन गर्न असमर्थ छौं भने, हामी केमा भर पर्न सक्छौं भनेर हेरौं ताकि डाटामा त्रुटिको उपस्थितिले पनि अनन्त पुनरावृत्तिको नेतृत्व गर्दैन।

पुनरावृत्ति गहिराई काउन्टर

हामी प्रत्येक पुनरावृत्ति चरणमा एकले काउन्टर बढाउँछौं जबसम्म हामी स्पष्ट रूपमा अपर्याप्त मान्ने सीमामा पुग्दैनौं:

WITH RECURSIVE T AS (
  SELECT
    0 i
  ...
UNION ALL
  SELECT
    i + 1
  ...
  WHERE
    T.i < 64 -- предел
)

प्रो: जब हामी लुप गर्ने प्रयास गर्छौं, हामी अझै पनि "गहिराइमा" पुनरावृत्तिको निर्दिष्ट सीमा भन्दा बढी गर्दैनौं।
विपक्ष: त्यहाँ कुनै ग्यारेन्टी छैन कि हामीले उही रेकर्डलाई फेरि प्रशोधन गर्ने छैनौं - उदाहरणका लागि, 15 र 25 को गहिराइमा, र त्यसपछि प्रत्येक +10। र कसैले पनि "चौडाई" को बारे मा केहि प्रतिज्ञा गरेन।

औपचारिक रूपमा, यस्तो पुनरावृत्ति असीम हुनेछैन, तर यदि प्रत्येक चरणमा रेकर्डहरूको संख्या द्रुत रूपमा बढ्छ, हामी सबैलाई राम्ररी थाहा छ कि यो कसरी समाप्त हुन्छ ...

"चेसबोर्डमा अनाजको समस्या" हेर्नुहोस्

"मार्ग" को संरक्षक

हामी वैकल्पिक रूपमा एरेमा पुनरावृत्ति मार्गमा सामना गरेका सबै वस्तु पहिचानकर्ताहरू थप्छौं, जुन यसको लागि एक अद्वितीय "मार्ग" हो:

WITH RECURSIVE T AS (
  SELECT
    ARRAY[id] path
  ...
UNION ALL
  SELECT
    path || id
  ...
  WHERE
    id <> ALL(T.path) -- не совпадает ни с одним из
)

प्रो: यदि डेटामा एक चक्र छ भने, हामी बिल्कुल एउटै रेकर्डलाई एउटै मार्ग भित्र बारम्बार प्रक्रिया गर्दैनौं।
विपक्ष: तर एकै समयमा, हामी शाब्दिक रूपमा आफैलाई दोहोर्याउन बिना सबै रेकर्डहरू बाइपास गर्न सक्छौं।

"नाइटको चाल समस्या" हेर्नुहोस्

पथ लम्बाइ सीमा

बुझ्न नसकिने गहिराइमा पुनरावृत्ति "भटक" को स्थितिबाट बच्न, हामी दुई अघिल्लो विधिहरू संयोजन गर्न सक्छौं। वा, यदि हामी अनावश्यक क्षेत्रहरूलाई समर्थन गर्न चाहँदैनौं भने, पथ लम्बाइको अनुमानको साथ पुनरावृत्ति जारी राख्नको लागि सर्तको पूर्ति गर्नुहोस्:

WITH RECURSIVE T AS (
  SELECT
    ARRAY[id] path
  ...
UNION ALL
  SELECT
    path || id
  ...
  WHERE
    id <> ALL(T.path) AND
    array_length(T.path, 1) < 10
)

आफ्नो स्वाद को लागी एक विधि छान्नुहोस्!

स्रोत: www.habr.com