• DocumentCode
    2327681
  • Title

    A framework for deductive database systems

  • Author

    Lee, Dik L. ; Lu, Wenyu

  • Author_Institution
    Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
  • fYear
    1990
  • fDate
    24-27 Sep 1990
  • Firstpage
    801
  • Abstract
    The authors investigate various aspects of the development of deductive database systems, which integrate logic into traditional relational database systems. The authors review the database language Datalog, a version of a logic programming language for deductive database systems. The efficiency issues of query processing in the context of two popular query processing methods, the magic-set method and the structural-analysis method, are discussed. SARP (structural approach to rule processing), a framework of deductive database systems based on structural analysis, is described
  • Keywords
    deductive databases; logic programming; query languages; SARP; database language Datalog; deductive database systems; efficiency issues; logic; logic programming language; magic-set method; query processing; relational database; structural approach to rule processing; structural-analysis method; Data engineering; Database languages; Database systems; Deductive databases; Humans; Information science; Logic programming; Power engineering and energy; Query processing; Relational databases;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer and Communication Systems, 1990. IEEE TENCON'90., 1990 IEEE Region 10 Conference on
  • Print_ISBN
    0-87942-556-3
  • Type

    conf

  • DOI
    10.1109/TENCON.1990.152723
  • Filename
    152723
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2327681