Partial evaluation of queries in deductive databases (Q1108821)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Partial evaluation of queries in deductive databases
scientific article

    Statements

    Partial evaluation of queries in deductive databases (English)
    0 references
    0 references
    0 references
    0 references
    1988
    0 references
    This paper presents some applications of the partial evaluation method to a query optimization in deductive databases. A Horn clause transformation is used for the partial evaluation of a query in an intensional database, and its application to multiple query processing is discussed. Three strategies are presented for the compatible case, ordered case and crossed case. In each case, partial evaluation is used to preprocess the intensional database in order to obtain subqueries which direct access to an extensional database.
    0 references
    0 references
    partial evaluation
    0 references
    query optimization
    0 references
    deductive databases
    0 references
    Horn clause transformation
    0 references
    multiple query processing
    0 references