View in EDS PDF Full Text

AN IMPLEMENTATION OF A THEOREM PROVER USED IN DEDUCTIVE OBJECT-ORIENTED DATABASES.

Saved in:
Bibliographic Details
Title: AN IMPLEMENTATION OF A THEOREM PROVER USED IN DEDUCTIVE OBJECT-ORIENTED DATABASES.
Authors: Marinov, Milko1
Source: Proceedings of the International Conference on Systems for Automation of Engineering & Research. 2003, p1. 5p.
Subjects: Deductive databases, Databases, Electronic information resources, Management of information storage & retrieval systems, Artificial intelligence, Linear control systems
Abstract: Deductive database systems provide the merging of the capabilities of database systems, including the efficient handling of large amounts of data, concurrency, security, and recovery, with logic-based reasoning systems in terms of deductive rules. In this paper an attempt is made to incorporate the artificial intelligence techniques into an object-oriented database. The classes hierarchy and implementation of an ordered linear resolution theorem prover are discussed. [ABSTRACT FROM AUTHOR]
Copyright of Proceedings of the International Conference on Systems for Automation of Engineering & Research is the property of SAER Forum Group and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 21559359
AccessLevel: 6
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: AN IMPLEMENTATION OF A THEOREM PROVER USED IN DEDUCTIVE OBJECT-ORIENTED DATABASES.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Marinov%2C+Milko%22">Marinov, Milko</searchLink><relatesTo>1</relatesTo>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Proceedings+of+the+International+Conference+on+Systems+for+Automation+of+Engineering+%26+Research%22">Proceedings of the International Conference on Systems for Automation of Engineering & Research</searchLink>. 2003, p1. 5p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Deductive+databases%22">Deductive databases</searchLink><br /><searchLink fieldCode="DE" term="%22Databases%22">Databases</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+information+resources%22">Electronic information resources</searchLink><br /><searchLink fieldCode="DE" term="%22Management+of+information+storage+%26+retrieval+systems%22">Management of information storage & retrieval systems</searchLink><br /><searchLink fieldCode="DE" term="%22Artificial+intelligence%22">Artificial intelligence</searchLink><br /><searchLink fieldCode="DE" term="%22Linear+control+systems%22">Linear control systems</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Deductive database systems provide the merging of the capabilities of database systems, including the efficient handling of large amounts of data, concurrency, security, and recovery, with logic-based reasoning systems in terms of deductive rules. In this paper an attempt is made to incorporate the artificial intelligence techniques into an object-oriented database. The classes hierarchy and implementation of an ordered linear resolution theorem prover are discussed. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Proceedings of the International Conference on Systems for Automation of Engineering & Research is the property of SAER Forum Group and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=21559359
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 5
        StartPage: 1
    Subjects:
      – SubjectFull: Deductive databases
        Type: general
      – SubjectFull: Databases
        Type: general
      – SubjectFull: Electronic information resources
        Type: general
      – SubjectFull: Management of information storage & retrieval systems
        Type: general
      – SubjectFull: Artificial intelligence
        Type: general
      – SubjectFull: Linear control systems
        Type: general
    Titles:
      – TitleFull: AN IMPLEMENTATION OF A THEOREM PROVER USED IN DEDUCTIVE OBJECT-ORIENTED DATABASES.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Marinov, Milko
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Text: 2003
              Type: published
              Y: 2003
          Titles:
            – TitleFull: Proceedings of the International Conference on Systems for Automation of Engineering & Research
              Type: main
ResultId 1