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.20698838 = sum of:
      0.20698838 = product of:
        1.0349419 = sum of:
          0.040683664 = weight(abstract_txt:needed in 6731) [ClassicSimilarity], result of:
            0.040683664 = score(doc=6731,freq=1.0), product of:
              0.098897606 = queryWeight, product of:
                1.3877178 = boost
                5.2655563 = idf(docFreq=620, maxDocs=44218)
                0.013534442 = queryNorm
              0.4113716 = fieldWeight in 6731, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.2655563 = idf(docFreq=620, maxDocs=44218)
                0.078125 = fieldNorm(doc=6731)
          0.19125931 = weight(abstract_txt:logic in 6731) [ClassicSimilarity], result of:
            0.19125931 = score(doc=6731,freq=2.0), product of:
              0.27753693 = queryWeight, product of:
                3.2876356 = boost
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.013534442 = queryNorm
              0.689131 = fieldWeight in 6731, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.078125 = fieldNorm(doc=6731)
          0.11972533 = weight(abstract_txt:databases in 6731) [ClassicSimilarity], result of:
            0.11972533 = score(doc=6731,freq=1.0), product of:
              0.34728533 = queryWeight, product of:
                5.814823 = boost
                4.4127526 = idf(docFreq=1456, maxDocs=44218)
                0.013534442 = queryNorm
              0.3447463 = fieldWeight in 6731, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4127526 = idf(docFreq=1456, maxDocs=44218)
                0.078125 = fieldNorm(doc=6731)
          0.6832737 = weight(abstract_txt:deductive in 6731) [ClassicSimilarity], result of:
            0.6832737 = score(doc=6731,freq=2.0), product of:
              0.74244785 = queryWeight, product of:
                6.585699 = boost
                8.329592 = idf(docFreq=28, maxDocs=44218)
                0.013534442 = queryNorm
              0.9202986 = fieldWeight in 6731, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                8.329592 = idf(docFreq=28, maxDocs=44218)
                0.078125 = fieldNorm(doc=6731)
        0.2 = coord(4/20)
    
  2. Moore, M.J.: Update '92. (1992) 0.16
    0.16137233 = sum of:
      0.16137233 = product of:
        0.46106383 = sum of:
          0.018268285 = weight(abstract_txt:work in 3851) [ClassicSimilarity], result of:
            0.018268285 = score(doc=3851,freq=1.0), product of:
              0.051355083 = queryWeight, product of:
                3.7943997 = idf(docFreq=2703, maxDocs=44218)
                0.013534442 = queryNorm
              0.355725 = fieldWeight in 3851, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.7943997 = idf(docFreq=2703, maxDocs=44218)
                0.09375 = fieldNorm(doc=3851)
          0.020577783 = weight(abstract_txt:discusses in 3851) [ClassicSimilarity], result of:
            0.020577783 = score(doc=3851,freq=1.0), product of:
              0.055596907 = queryWeight, product of:
                1.0404797 = boost
                3.947996 = idf(docFreq=2318, maxDocs=44218)
                0.013534442 = queryNorm
              0.3701246 = fieldWeight in 3851, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.947996 = idf(docFreq=2318, maxDocs=44218)
                0.09375 = fieldNorm(doc=3851)
          0.044351984 = weight(abstract_txt:considers in 3851) [ClassicSimilarity], result of:
            0.044351984 = score(doc=3851,freq=1.0), product of:
              0.092767015 = queryWeight, product of:
                1.344018 = boost
                5.0997415 = idf(docFreq=732, maxDocs=44218)
                0.013534442 = queryNorm
              0.47810078 = fieldWeight in 3851, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.0997415 = idf(docFreq=732, maxDocs=44218)
                0.09375 = fieldNorm(doc=3851)
          0.06776964 = weight(abstract_txt:covers in 3851) [ClassicSimilarity], result of:
            0.06776964 = score(doc=3851,freq=1.0), product of:
              0.12306702 = queryWeight, product of:
                1.5480291 = boost
                5.8738413 = idf(docFreq=337, maxDocs=44218)
                0.013534442 = queryNorm
              0.55067265 = fieldWeight in 3851, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8738413 = idf(docFreq=337, maxDocs=44218)
                0.09375 = fieldNorm(doc=3851)
          0.051120546 = weight(abstract_txt:future in 3851) [ClassicSimilarity], result of:
            0.051120546 = score(doc=3851,freq=1.0), product of:
              0.12848681 = queryWeight, product of:
                2.2369308 = boost
                4.243905 = idf(docFreq=1724, maxDocs=44218)
                0.013534442 = queryNorm
              0.3978661 = fieldWeight in 3851, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.243905 = idf(docFreq=1724, maxDocs=44218)
                0.09375 = fieldNorm(doc=3851)
          0.11530518 = weight(abstract_txt:past in 3851) [ClassicSimilarity], result of:
            0.11530518 = score(doc=3851,freq=1.0), product of:
              0.22098397 = queryWeight, product of:
                2.9336188 = boost
                5.565661 = idf(docFreq=459, maxDocs=44218)
                0.013534442 = queryNorm
              0.5217807 = fieldWeight in 3851, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.565661 = idf(docFreq=459, maxDocs=44218)
                0.09375 = fieldNorm(doc=3851)
          0.14367041 = weight(abstract_txt:databases in 3851) [ClassicSimilarity], result of:
            0.14367041 = score(doc=3851,freq=1.0), product of:
              0.34728533 = queryWeight, product of:
                5.814823 = boost
                4.4127526 = idf(docFreq=1456, maxDocs=44218)
                0.013534442 = queryNorm
              0.41369557 = fieldWeight in 3851, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4127526 = idf(docFreq=1456, maxDocs=44218)
                0.09375 = fieldNorm(doc=3851)
        0.35 = coord(7/20)
    
  3. Pritchard-Schoch, T.: Natural language comes of age (1993) 0.16
    0.1609859 = sum of:
      0.1609859 = product of:
        0.53661966 = sum of:
          0.020577783 = weight(abstract_txt:discusses in 2570) [ClassicSimilarity], result of:
            0.020577783 = score(doc=2570,freq=1.0), product of:
              0.055596907 = queryWeight, product of:
                1.0404797 = boost
                3.947996 = idf(docFreq=2318, maxDocs=44218)
                0.013534442 = queryNorm
              0.3701246 = fieldWeight in 2570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.947996 = idf(docFreq=2318, maxDocs=44218)
                0.09375 = fieldNorm(doc=2570)
          0.0488204 = weight(abstract_txt:needed in 2570) [ClassicSimilarity], result of:
            0.0488204 = score(doc=2570,freq=1.0), product of:
              0.098897606 = queryWeight, product of:
                1.3877178 = boost
                5.2655563 = idf(docFreq=620, maxDocs=44218)
                0.013534442 = queryNorm
              0.4936459 = fieldWeight in 2570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.2655563 = idf(docFreq=620, maxDocs=44218)
                0.09375 = fieldNorm(doc=2570)
          0.06776964 = weight(abstract_txt:covers in 2570) [ClassicSimilarity], result of:
            0.06776964 = score(doc=2570,freq=1.0), product of:
              0.12306702 = queryWeight, product of:
                1.5480291 = boost
                5.8738413 = idf(docFreq=337, maxDocs=44218)
                0.013534442 = queryNorm
              0.55067265 = fieldWeight in 2570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.8738413 = idf(docFreq=337, maxDocs=44218)
                0.09375 = fieldNorm(doc=2570)
          0.11635189 = weight(abstract_txt:assesses in 2570) [ClassicSimilarity], result of:
            0.11635189 = score(doc=2570,freq=1.0), product of:
              0.17645495 = queryWeight, product of:
                1.8536392 = boost
                7.033448 = idf(docFreq=105, maxDocs=44218)
                0.013534442 = queryNorm
              0.6593858 = fieldWeight in 2570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.033448 = idf(docFreq=105, maxDocs=44218)
                0.09375 = fieldNorm(doc=2570)
          0.120811045 = weight(abstract_txt:implementations in 2570) [ClassicSimilarity], result of:
            0.120811045 = score(doc=2570,freq=1.0), product of:
              0.18093504 = queryWeight, product of:
                1.8770231 = boost
                7.122176 = idf(docFreq=96, maxDocs=44218)
                0.013534442 = queryNorm
              0.667704 = fieldWeight in 2570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.122176 = idf(docFreq=96, maxDocs=44218)
                0.09375 = fieldNorm(doc=2570)
          0.1622889 = weight(abstract_txt:logic in 2570) [ClassicSimilarity], result of:
            0.1622889 = score(doc=2570,freq=1.0), product of:
              0.27753693 = queryWeight, product of:
                3.2876356 = boost
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.013534442 = queryNorm
              0.5847471 = fieldWeight in 2570, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.09375 = fieldNorm(doc=2570)
        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.16
    0.15500386 = sum of:
      0.15500386 = product of:
        1.033359 = sum of:
          0.18933706 = weight(abstract_txt:logic in 6499) [ClassicSimilarity], result of:
            0.18933706 = score(doc=6499,freq=1.0), product of:
              0.27753693 = queryWeight, product of:
                3.2876356 = boost
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.013534442 = queryNorm
              0.6822049 = fieldWeight in 6499, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.109375 = fieldNorm(doc=6499)
          0.16761547 = weight(abstract_txt:databases in 6499) [ClassicSimilarity], result of:
            0.16761547 = score(doc=6499,freq=1.0), product of:
              0.34728533 = queryWeight, product of:
                5.814823 = boost
                4.4127526 = idf(docFreq=1456, maxDocs=44218)
                0.013534442 = queryNorm
              0.48264483 = fieldWeight in 6499, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.4127526 = idf(docFreq=1456, maxDocs=44218)
                0.109375 = fieldNorm(doc=6499)
          0.67640644 = weight(abstract_txt:deductive in 6499) [ClassicSimilarity], result of:
            0.67640644 = score(doc=6499,freq=1.0), product of:
              0.74244785 = queryWeight, product of:
                6.585699 = boost
                8.329592 = idf(docFreq=28, maxDocs=44218)
                0.013534442 = queryNorm
              0.9110491 = fieldWeight in 6499, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                8.329592 = idf(docFreq=28, maxDocs=44218)
                0.109375 = fieldNorm(doc=6499)
        0.15 = coord(3/20)
    
  5. Paskin, N.: DOI: current status and outlook (1999) 0.13
    0.13367954 = sum of:
      0.13367954 = product of:
        0.33419883 = sum of:
          0.0106565 = weight(abstract_txt:work in 1245) [ClassicSimilarity], result of:
            0.0106565 = score(doc=1245,freq=1.0), product of:
              0.051355083 = queryWeight, product of:
                3.7943997 = idf(docFreq=2703, maxDocs=44218)
                0.013534442 = queryNorm
              0.20750624 = fieldWeight in 1245, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.7943997 = idf(docFreq=2703, maxDocs=44218)
                0.0546875 = fieldNorm(doc=1245)
          0.014916272 = weight(abstract_txt:over in 1245) [ClassicSimilarity], result of:
            0.014916272 = score(doc=1245,freq=1.0), product of:
              0.06426096 = queryWeight, product of:
                1.1186182 = boost
                4.244485 = idf(docFreq=1723, maxDocs=44218)
                0.013534442 = queryNorm
              0.23212028 = fieldWeight in 1245, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.244485 = idf(docFreq=1723, maxDocs=44218)
                0.0546875 = fieldNorm(doc=1245)
          0.016044881 = weight(abstract_txt:present in 1245) [ClassicSimilarity], result of:
            0.016044881 = score(doc=1245,freq=1.0), product of:
              0.067462854 = queryWeight, product of:
                1.1461478 = boost
                4.348943 = idf(docFreq=1552, maxDocs=44218)
                0.013534442 = queryNorm
              0.23783283 = fieldWeight in 1245, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.348943 = idf(docFreq=1552, maxDocs=44218)
                0.0546875 = fieldNorm(doc=1245)
          0.03382917 = weight(abstract_txt:intellectual in 1245) [ClassicSimilarity], result of:
            0.03382917 = score(doc=1245,freq=1.0), product of:
              0.11092632 = queryWeight, product of:
                1.4696895 = boost
                5.5765896 = idf(docFreq=454, maxDocs=44218)
                0.013534442 = queryNorm
              0.30496973 = fieldWeight in 1245, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5765896 = idf(docFreq=454, maxDocs=44218)
                0.0546875 = fieldNorm(doc=1245)
          0.062006325 = weight(abstract_txt:progress in 1245) [ClassicSimilarity], result of:
            0.062006325 = score(doc=1245,freq=2.0), product of:
              0.13186242 = queryWeight, product of:
                1.6023921 = boost
                6.0801163 = idf(docFreq=274, maxDocs=44218)
                0.013534442 = queryNorm
              0.47023502 = fieldWeight in 1245, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.0801163 = idf(docFreq=274, maxDocs=44218)
                0.0546875 = fieldNorm(doc=1245)
          0.09966403 = weight(abstract_txt:implementations in 1245) [ClassicSimilarity], result of:
            0.09966403 = score(doc=1245,freq=2.0), product of:
              0.18093504 = queryWeight, product of:
                1.8770231 = boost
                7.122176 = idf(docFreq=96, maxDocs=44218)
                0.013534442 = queryNorm
              0.5508277 = fieldWeight in 1245, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.122176 = idf(docFreq=96, maxDocs=44218)
                0.0546875 = fieldNorm(doc=1245)
          0.02982032 = weight(abstract_txt:future in 1245) [ClassicSimilarity], result of:
            0.02982032 = score(doc=1245,freq=1.0), product of:
              0.12848681 = queryWeight, product of:
                2.2369308 = boost
                4.243905 = idf(docFreq=1724, maxDocs=44218)
                0.013534442 = queryNorm
              0.23208857 = fieldWeight in 1245, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.243905 = idf(docFreq=1724, maxDocs=44218)
                0.0546875 = fieldNorm(doc=1245)
          0.067261346 = weight(abstract_txt:past in 1245) [ClassicSimilarity], result of:
            0.067261346 = score(doc=1245,freq=1.0), product of:
              0.22098397 = queryWeight, product of:
                2.9336188 = boost
                5.565661 = idf(docFreq=459, maxDocs=44218)
                0.013534442 = queryNorm
              0.30437207 = fieldWeight in 1245, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.565661 = idf(docFreq=459, maxDocs=44218)
                0.0546875 = fieldNorm(doc=1245)
        0.4 = coord(8/20)