Sökning: "Deductive databases"

Hittade 2 avhandlingar innehållade orden Deductive databases.

  1. 1. Tabulation-based Logic Programming : A Multi-level View of Query Answering

    Författare :Lars Degerstedt; Teodor C. Przymusinski; Ulf Nilsson; University of California at Riverside; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Deductive databases; Partial deduction procedure; Tabulated resolution; Programmering; Databashanteringssystem Programspråk;

    Sammanfattning : .... LÄS MER

  3. 2. Abstract interpretations and abstract machines : contributions to a methodology for the implementation of logic programs

    Författare :Ulf Nilsson; Jan Maluszynski; Samya Debray; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : Because of the conceptual gap between high-level logic programming languages and existing hardware, the problem of compilation is hard. This thesis addresses two ways of narrowing this gap – program analysis through abstract interpretation and the introduction of intermediate languages and abstract machines. LÄS MER