Document (#19478)

Author
Minker, J.
Title
Logic and databases : past, present, and future
Source
AI magazine. 18(1997) no.3, S.21-41
Year
1997
Abstract
Assesses the progress of the field of logic in databases over the past 20 years. covers the intellectual contributions of deductive databases, considers the status of implementations of deductive databases and discusses future work needed in deductive databases

Similar documents (content)

  1. Chen, P.S.: On inference rules of logic-based information retrieval systems (1994) 0.21
    0.2056477 = sum of:
      0.2056477 = product of:
        1.0282385 = sum of:
          0.041047096 = weight(abstract_txt:needed in 6730) [ClassicSimilarity], result of:
            0.041047096 = score(doc=6730,freq=1.0), product of:
              0.09975521 = queryWeight, product of:
                1.389905 = boost
                5.266921 = idf(docFreq=622, maxDocs=44421)
                0.013626793 = queryNorm
              0.41147822 = fieldWeight in 6730, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.266921 = idf(docFreq=622, maxDocs=44421)
                0.078125 = fieldNorm(doc=6730)
          0.19284883 = weight(abstract_txt:logic in 6730) [ClassicSimilarity], result of:
            0.19284883 = score(doc=6730,freq=2.0), product of:
              0.27982852 = queryWeight, product of:
                3.29214 = boost
                6.2376356 = idf(docFreq=235, maxDocs=44421)
                0.013626793 = queryNorm
              0.6891679 = fieldWeight in 6730, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.2376356 = idf(docFreq=235, maxDocs=44421)
                0.078125 = fieldNorm(doc=6730)
          0.120795704 = weight(abstract_txt:databases in 6730) [ClassicSimilarity], result of:
            0.120795704 = score(doc=6730,freq=1.0), product of:
              0.35029852 = queryWeight, product of:
                5.8240013 = boost
                4.413907 = idf(docFreq=1461, maxDocs=44421)
                0.013626793 = queryNorm
              0.34483647 = fieldWeight in 6730, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.413907 = idf(docFreq=1461, maxDocs=44421)
                0.078125 = fieldNorm(doc=6730)
          0.67354685 = weight(abstract_txt:deductive in 6730) [ClassicSimilarity], result of:
            0.67354685 = score(doc=6730,freq=2.0), product of:
              0.73737705 = queryWeight, product of:
                6.5451975 = boost
                8.267481 = idf(docFreq=30, maxDocs=44421)
                0.013626793 = queryNorm
              0.9134362 = fieldWeight in 6730, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                8.267481 = idf(docFreq=30, maxDocs=44421)
                0.078125 = fieldNorm(doc=6730)
        0.2 = coord(4/20)
    
  2. Moore, M.J.: Update '92. (1992) 0.16
    0.16265623 = sum of:
      0.16265623 = product of:
        0.46473208 = sum of:
          0.018344603 = weight(abstract_txt:work in 3850) [ClassicSimilarity], result of:
            0.018344603 = score(doc=3850,freq=1.0), product of:
              0.05163752 = queryWeight, product of:
                3.7894108 = idf(docFreq=2729, maxDocs=44421)
                0.013626793 = queryNorm
              0.35525727 = fieldWeight in 3850, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.7894108 = idf(docFreq=2729, maxDocs=44421)
                0.09375 = fieldNorm(doc=3850)
          0.020770175 = weight(abstract_txt:discusses in 3850) [ClassicSimilarity], result of:
            0.020770175 = score(doc=3850,freq=1.0), product of:
              0.056094453 = queryWeight, product of:
                1.0422629 = boost
                3.9495623 = idf(docFreq=2325, maxDocs=44421)
                0.013626793 = queryNorm
              0.37027147 = fieldWeight in 3850, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.9495623 = idf(docFreq=2325, maxDocs=44421)
                0.09375 = fieldNorm(doc=3850)
          0.04483399 = weight(abstract_txt:considers in 3850) [ClassicSimilarity], result of:
            0.04483399 = score(doc=3850,freq=1.0), product of:
              0.09369104 = queryWeight, product of:
                1.3469962 = boost
                5.104322 = idf(docFreq=732, maxDocs=44421)
                0.013626793 = queryNorm
              0.47853017 = fieldWeight in 3850, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.104322 = idf(docFreq=732, maxDocs=44421)
                0.09375 = fieldNorm(doc=3850)
          0.068481855 = weight(abstract_txt:covers in 3850) [ClassicSimilarity], result of:
            0.068481855 = score(doc=3850,freq=1.0), product of:
              0.12426347 = queryWeight, product of:
                1.551276 = boost
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.013626793 = queryNorm
              0.55110204 = fieldWeight in 3850, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.09375 = fieldNorm(doc=3850)
          0.05122209 = weight(abstract_txt:future in 3850) [ClassicSimilarity], result of:
            0.05122209 = score(doc=3850,freq=1.0), product of:
              0.12900543 = queryWeight, product of:
                2.2353027 = boost
                4.23524 = idf(docFreq=1747, maxDocs=44421)
                0.013626793 = queryNorm
              0.39705375 = fieldWeight in 3850, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.23524 = idf(docFreq=1747, maxDocs=44421)
                0.09375 = fieldNorm(doc=3850)
          0.11612452 = weight(abstract_txt:past in 3850) [ClassicSimilarity], result of:
            0.11612452 = score(doc=3850,freq=1.0), product of:
              0.22263105 = queryWeight, product of:
                2.9364674 = boost
                5.5637407 = idf(docFreq=462, maxDocs=44421)
                0.013626793 = queryNorm
              0.5216007 = fieldWeight in 3850, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5637407 = idf(docFreq=462, maxDocs=44421)
                0.09375 = fieldNorm(doc=3850)
          0.14495486 = weight(abstract_txt:databases in 3850) [ClassicSimilarity], result of:
            0.14495486 = score(doc=3850,freq=1.0), product of:
              0.35029852 = queryWeight, product of:
                5.8240013 = boost
                4.413907 = idf(docFreq=1461, maxDocs=44421)
                0.013626793 = queryNorm
              0.4138038 = fieldWeight in 3850, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.413907 = idf(docFreq=1461, maxDocs=44421)
                0.09375 = fieldNorm(doc=3850)
        0.35 = coord(7/20)
    
  3. Pritchard-Schoch, T.: Natural language comes of age (1993) 0.16
    0.16251187 = sum of:
      0.16251187 = product of:
        0.5417062 = sum of:
          0.020770175 = weight(abstract_txt:discusses in 3570) [ClassicSimilarity], result of:
            0.020770175 = score(doc=3570,freq=1.0), product of:
              0.056094453 = queryWeight, product of:
                1.0422629 = boost
                3.9495623 = idf(docFreq=2325, maxDocs=44421)
                0.013626793 = queryNorm
              0.37027147 = fieldWeight in 3570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.9495623 = idf(docFreq=2325, maxDocs=44421)
                0.09375 = fieldNorm(doc=3570)
          0.049256515 = weight(abstract_txt:needed in 3570) [ClassicSimilarity], result of:
            0.049256515 = score(doc=3570,freq=1.0), product of:
              0.09975521 = queryWeight, product of:
                1.389905 = boost
                5.266921 = idf(docFreq=622, maxDocs=44421)
                0.013626793 = queryNorm
              0.49377385 = fieldWeight in 3570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.266921 = idf(docFreq=622, maxDocs=44421)
                0.09375 = fieldNorm(doc=3570)
          0.068481855 = weight(abstract_txt:covers in 3570) [ClassicSimilarity], result of:
            0.068481855 = score(doc=3570,freq=1.0), product of:
              0.12426347 = queryWeight, product of:
                1.551276 = boost
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.013626793 = queryNorm
              0.55110204 = fieldWeight in 3570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.878422 = idf(docFreq=337, maxDocs=44421)
                0.09375 = fieldNorm(doc=3570)
          0.11752935 = weight(abstract_txt:assesses in 3570) [ClassicSimilarity], result of:
            0.11752935 = score(doc=3570,freq=1.0), product of:
              0.17812465 = queryWeight, product of:
                1.8572884 = boost
                7.0380287 = idf(docFreq=105, maxDocs=44421)
                0.013626793 = queryNorm
              0.6598152 = fieldWeight in 3570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.0380287 = idf(docFreq=105, maxDocs=44421)
                0.09375 = fieldNorm(doc=3570)
          0.12203069 = weight(abstract_txt:implementations in 3570) [ClassicSimilarity], result of:
            0.12203069 = score(doc=3570,freq=1.0), product of:
              0.18264419 = queryWeight, product of:
                1.8807031 = boost
                7.1267567 = idf(docFreq=96, maxDocs=44421)
                0.013626793 = queryNorm
              0.66813344 = fieldWeight in 3570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.1267567 = idf(docFreq=96, maxDocs=44421)
                0.09375 = fieldNorm(doc=3570)
          0.16363765 = weight(abstract_txt:logic in 3570) [ClassicSimilarity], result of:
            0.16363765 = score(doc=3570,freq=1.0), product of:
              0.27982852 = queryWeight, product of:
                3.29214 = boost
                6.2376356 = idf(docFreq=235, maxDocs=44421)
                0.013626793 = queryNorm
              0.5847783 = fieldWeight in 3570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2376356 = idf(docFreq=235, maxDocs=44421)
                0.09375 = fieldNorm(doc=3570)
        0.3 = coord(6/20)
    
  4. Preston, C.M.; Lynch, C.A.: Report of the first international conference on information and knowledge management (1993) 0.15
    0.15402031 = sum of:
      0.15402031 = product of:
        1.0268021 = sum of:
          0.1909106 = weight(abstract_txt:logic in 6498) [ClassicSimilarity], result of:
            0.1909106 = score(doc=6498,freq=1.0), product of:
              0.27982852 = queryWeight, product of:
                3.29214 = boost
                6.2376356 = idf(docFreq=235, maxDocs=44421)
                0.013626793 = queryNorm
              0.6822414 = fieldWeight in 6498, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.2376356 = idf(docFreq=235, maxDocs=44421)
                0.109375 = fieldNorm(doc=6498)
          0.16911401 = weight(abstract_txt:databases in 6498) [ClassicSimilarity], result of:
            0.16911401 = score(doc=6498,freq=1.0), product of:
              0.35029852 = queryWeight, product of:
                5.8240013 = boost
                4.413907 = idf(docFreq=1461, maxDocs=44421)
                0.013626793 = queryNorm
              0.4827711 = fieldWeight in 6498, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.413907 = idf(docFreq=1461, maxDocs=44421)
                0.109375 = fieldNorm(doc=6498)
          0.66677743 = weight(abstract_txt:deductive in 6498) [ClassicSimilarity], result of:
            0.66677743 = score(doc=6498,freq=1.0), product of:
              0.73737705 = queryWeight, product of:
                6.5451975 = boost
                8.267481 = idf(docFreq=30, maxDocs=44421)
                0.013626793 = queryNorm
              0.90425575 = fieldWeight in 6498, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.267481 = idf(docFreq=30, maxDocs=44421)
                0.109375 = fieldNorm(doc=6498)
        0.15 = coord(3/20)
    
  5. Paskin, N.: DOI: current status and outlook (1999) 0.13
    0.13467507 = sum of:
      0.13467507 = product of:
        0.33668768 = sum of:
          0.010701018 = weight(abstract_txt:work in 2245) [ClassicSimilarity], result of:
            0.010701018 = score(doc=2245,freq=1.0), product of:
              0.05163752 = queryWeight, product of:
                3.7894108 = idf(docFreq=2729, maxDocs=44421)
                0.013626793 = queryNorm
              0.2072334 = fieldWeight in 2245, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.7894108 = idf(docFreq=2729, maxDocs=44421)
                0.0546875 = fieldNorm(doc=2245)
          0.015018914 = weight(abstract_txt:over in 2245) [ClassicSimilarity], result of:
            0.015018914 = score(doc=2245,freq=1.0), product of:
              0.0647303 = queryWeight, product of:
                1.1196213 = boost
                4.242705 = idf(docFreq=1734, maxDocs=44421)
                0.013626793 = queryNorm
              0.23202293 = fieldWeight in 2245, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.242705 = idf(docFreq=1734, maxDocs=44421)
                0.0546875 = fieldNorm(doc=2245)
          0.016140882 = weight(abstract_txt:present in 2245) [ClassicSimilarity], result of:
            0.016140882 = score(doc=2245,freq=1.0), product of:
              0.06791517 = queryWeight, product of:
                1.1468344 = boost
                4.3458266 = idf(docFreq=1564, maxDocs=44421)
                0.013626793 = queryNorm
              0.23766239 = fieldWeight in 2245, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.3458266 = idf(docFreq=1564, maxDocs=44421)
                0.0546875 = fieldNorm(doc=2245)
          0.03410842 = weight(abstract_txt:intellectual in 2245) [ClassicSimilarity], result of:
            0.03410842 = score(doc=2245,freq=1.0), product of:
              0.111838065 = queryWeight, product of:
                1.4716758 = boost
                5.576784 = idf(docFreq=456, maxDocs=44421)
                0.013626793 = queryNorm
              0.3049804 = fieldWeight in 2245, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.576784 = idf(docFreq=456, maxDocs=44421)
                0.0546875 = fieldNorm(doc=2245)
          0.062429413 = weight(abstract_txt:progress in 2245) [ClassicSimilarity], result of:
            0.062429413 = score(doc=2245,freq=2.0), product of:
              0.1328204 = queryWeight, product of:
                1.6037982 = boost
                6.0774503 = idf(docFreq=276, maxDocs=44421)
                0.013626793 = queryNorm
              0.47002882 = fieldWeight in 2245, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.0774503 = idf(docFreq=276, maxDocs=44421)
                0.0546875 = fieldNorm(doc=2245)
          0.100670174 = weight(abstract_txt:implementations in 2245) [ClassicSimilarity], result of:
            0.100670174 = score(doc=2245,freq=2.0), product of:
              0.18264419 = queryWeight, product of:
                1.8807031 = boost
                7.1267567 = idf(docFreq=96, maxDocs=44421)
                0.013626793 = queryNorm
              0.5511819 = fieldWeight in 2245, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.1267567 = idf(docFreq=96, maxDocs=44421)
                0.0546875 = fieldNorm(doc=2245)
          0.029879551 = weight(abstract_txt:future in 2245) [ClassicSimilarity], result of:
            0.029879551 = score(doc=2245,freq=1.0), product of:
              0.12900543 = queryWeight, product of:
                2.2353027 = boost
                4.23524 = idf(docFreq=1747, maxDocs=44421)
                0.013626793 = queryNorm
              0.23161468 = fieldWeight in 2245, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.23524 = idf(docFreq=1747, maxDocs=44421)
                0.0546875 = fieldNorm(doc=2245)
          0.0677393 = weight(abstract_txt:past in 2245) [ClassicSimilarity], result of:
            0.0677393 = score(doc=2245,freq=1.0), product of:
              0.22263105 = queryWeight, product of:
                2.9364674 = boost
                5.5637407 = idf(docFreq=462, maxDocs=44421)
                0.013626793 = queryNorm
              0.30426708 = fieldWeight in 2245, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5637407 = idf(docFreq=462, maxDocs=44421)
                0.0546875 = fieldNorm(doc=2245)
        0.4 = coord(8/20)