Titlebook: Logic in Databases; International Worksh Dino Pedreschi,Carlo Zaniolo Conference proceedings 1996 Springer-Verlag Berlin Heidelberg 1996 Ak

CLOWN

0302-9743 papers are organized in sections on uncertainty, temporal and spatial reasoning, updates, active databases, semantics, advanced applications, query evaluation, language extensions, and logic constructs and expressive power.978-3-540-61814-0978-3-540-70683-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

服從

A parametric approach to deductive databases with uncertainty,t of conjunctive queries in this framework, and establish necessary and sufficient conditions for containment for classes of parametric conjunctive queries. Our results yield tools for use in the query optimization for large classes of query programs in IB deductive databases with uncertainty.

搏斗

Learning query rules for optimizing databases with update rules,pdate rules)..In order to cope with these difficulties, we study storage optimization, and then, we propose to use Machine Learning techniques in order to compute new query rules, so that the semantics of the resulting database contains the semantics of the original one and satisfies our optimization criterion.

Palate

The , system: A deductive database Information Lens for reasoning about textual information,s”). The system takes extensive advantage of the World-Wide Web and enlists the capabilities of JAVA for information display. We discuss some of the performance issues that were experienced and conclude with a description of future R&D ideas along the lines started here.

Employee

Conference proceedings 1996, Italy, in July 1996, as the final meeting of an EC-US cooperative activity..The volume presents 21 revised full papers selected from 49 submissions as well as 3 invited contributions and a summary of a panel discussion on deductive databases: challenges, opportunities and future directions. The re

潛移默化

漂亮

Self-Help-Group

R-stable models for logic programs,We propose a new semantics for general logic programs which stems from first principles of logic-programming semantics. Our theory-unifies previous approaches and is applicable to some useful programs which are not properly handled by existing semantics.

Modify

鞏固