View in EDS PDF Full Text

DEDUCTIVE DATABASES.

Saved in:
Bibliographic Details
Title: DEDUCTIVE DATABASES.
Authors: Minker, Jack1
Source: Encyclopedia of Electrical & Electronics Engineering. 1999 1st Edition, Vol. 5, p97-107. 11p.
Subjects: Deductive databases, Information storage & retrieval systems, First-order logic, Databases, Modern logic, Mathematical functions
Abstract: This article presents information on deductive databases (DDBs). The field of deductive databases is based on logic. The computational paradigm of deductive databases is to use rules that are provided with the database to derive new data from facts in the database. DDBs restrict arguments of atomic formulas to constants and variables, whereas in first-order logic, atomic formulas may also contain function symbols as arguments. This assures that answers to queries in DDBs return a finite set of answers.
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 17510848
AccessLevel: 6
PubType: Book
PubTypeId: book
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: DEDUCTIVE DATABASES.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Minker%2C+Jack%22">Minker, Jack</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Encyclopedia+of+Electrical+%26+Electronics+Engineering%22">Encyclopedia of Electrical & Electronics Engineering</searchLink>. 1999 1st Edition, Vol. 5, p97-107. 11p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Deductive+databases%22">Deductive databases</searchLink><br /><searchLink fieldCode="DE" term="%22Information+storage+%26+retrieval+systems%22">Information storage & retrieval systems</searchLink><br /><searchLink fieldCode="DE" term="%22First-order+logic%22">First-order logic</searchLink><br /><searchLink fieldCode="DE" term="%22Databases%22">Databases</searchLink><br /><searchLink fieldCode="DE" term="%22Modern+logic%22">Modern logic</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+functions%22">Mathematical functions</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: This article presents information on deductive databases (DDBs). The field of deductive databases is based on logic. The computational paradigm of deductive databases is to use rules that are provided with the database to derive new data from facts in the database. DDBs restrict arguments of atomic formulas to constants and variables, whereas in first-order logic, atomic formulas may also contain function symbols as arguments. This assures that answers to queries in DDBs return a finite set of answers.
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=17510848
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 11
        StartPage: 97
    Subjects:
      – SubjectFull: Deductive databases
        Type: general
      – SubjectFull: Information storage & retrieval systems
        Type: general
      – SubjectFull: First-order logic
        Type: general
      – SubjectFull: Databases
        Type: general
      – SubjectFull: Modern logic
        Type: general
      – SubjectFull: Mathematical functions
        Type: general
    Titles:
      – TitleFull: DEDUCTIVE DATABASES.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Minker, Jack
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 05
              M: 01
              Text: 1999 1st Edition
              Type: published
              Y: 1999
          Numbering:
            – Type: volume
              Value: 5
          Titles:
            – TitleFull: Encyclopedia of Electrical & Electronics Engineering
              Type: main
ResultId 1