Titlebook: ICDT ‘88; 2nd International Co Marc Gyssens,Jan Paredaens,Dirk Gucht Conference proceedings 1988 Springer-Verlag Berlin Heidelberg 1988 alg

残暴

P. Asirelli,P. Inverardi,A. Mustaros). RBDEs use knowledge about the specific development process of a software project in order to provide automated assistance to developers working on the project. The knowledge is in the form of rules, where each rule models a development activity. The rules operate on the project components which

Isolate

Neutral-Spine

Anthony J. Bonnerd neither population nor environment is exposed to risks during operation or afterwards. This requires the development and application of methods to monitor groundwater, vadose zone and atmosphere. Therefore, extensive investigations of the near-surface aquifers were performed to characterize the ge

MINT

甜得发腻

Carminative

Data models and languages for databases, is concerned with so called "advanced systems for new types of applications". In this activity, much emphasis is placed on the development of new data models and languages. The data models include complex objects, which are in essence hierarchical structures, and various flavors of object oriented

果核

同音

On the composition and decomposition of datalog program mappings,braic axiom system. Also considered are (i) the decomposability of a subclass of linear recursive programs into single-rule programs; (ii) the structure of the class of prime programs; and the factorizability of bounded recursive programs into single-rule primes.

RAG

On the semantics of rule-based expert systems with uncertainty,revious works, our framework is general enough to accommodate most of the known schemes of reasoning with uncertainty found in the existing expert systems. We provide a rigorous treatment of the issue of evidential independence, and study its impact on the semantics. To the best of our knowledge, th

仇恨

Efficient consistency control in deductive databases, is based on focussing on the relevant parts of the database by reasoning forwards from the updates of a transaction, and using this knowledge about real or just possible implicit updates for simplifying the consistency constraints in question. Opposite to the algorithms by Kowalski/Sadri and Lloyd/