Titlebook: Logic Programming and Databases; Stefano Ceri,Georg Gottlob,Letizia Tanca Textbook 1990 Springer-Verlag Berlin Heidelberg 1990 Anfrage-Opt

逃避系列單詞

津貼

Classification of Optimization Methods for Datalogntify various classes of methods; then, each class will be dealt with in a separate section. A systematic overview of methods is required, since optimization can be achieved using a variety of techniques, and understanding their relationships is not obvious.

Cardioplegia

Evaluation Methodset of . rules. We deal with . and . evaluation methods in two separate sections. Evaluation methods are expressed using either of the logic and algebraic formalisms introduced in the previous chapter, and in fact we do not stress the choice of formalism very much, given the equivalence between them.

不規(guī)則

Accommodation

遺忘

機(jī)警

男生戴手銬

Overview of Systems for Coupling Prolog to Relational DatabasesThis chapter presents an overview of some of the CPR systems and prototypes which have been developed for coupling . to relational databases. We present:

開花期女

Syntax and Semantics of DatalogIn this chapter we give an exact syntactic and semantic definition of the . query language.

MENT

Extensions of Pure DatalogThe . syntax we have been considering so far corresponds to a very restricted subset of first order logic and is often referred to as .. Several extensions of pure . have been proposed in the literature or are currently under investigation.