Titlebook: MFDBS 91; 3rd Symposium on Mat Bernhard Thalheim,János Demetrovics,H. -D. Gerhard Conference proceedings 1991 Springer-Verlag Berlin Heidel

培養(yǎng)

花費(fèi)

The Nested Interpolation Based Grid File,a new structure for physically organizing a set of multidimensional points. This structure called the Nested Interpolation-Based Grid File (NIBGF) represents a synthesis and an improvement of results obtained in Interpolation-Based Grid Files (IBGF), BANG files, and K-D-B-trees. The data search spac

FORGO

Complexity of recursive production rules execution,nt an approach based on graph modelling. We show on some elementary recursive rules the power of this method. We assume a realistic probabilistic model, i.e. the data distributions of the relations involved may be dependent and non-uniform. Under smooth hypotheses, we introduce a notion of “maximum

Pseudoephedrine

簡(jiǎn)略

Digest

范例

北極人

Monadic databases with equality,t domain elements are represented by unary predicate symbols and not as constant symbols. We provide a formal system for ME-databases and we prove its soundness and completeness. We give also polynomial algorithms for evaluating elementary queries corresponding to the implication problem on ME-databases.

惹人反感

分解

0302-9743 ock, FRG, May 6-9, 1991. This is the third in a series of biannual MFDBS conferences, which in future will be held together with ICDT, the International Conference on Database Theory. .MFDBS 91. covers new developments in theoretical aspects of database and knowledge base systems and the design of d