Foundations of deductive databases and logic programming

Book · Thu Jan 01 00:00:00 EST 1987

OSTI ID:5090928

Minker, J

This seminal volume presents original work at the intersection of research in deductive databases, logic programming and AI. The articles present fundamental results on stratified databases that deal with correct treatment of negative information, on handling the consistency of integrity constraints and using integrity constraints to optimize the database search. The volume also includes foundational papers on unification in logic programming and two major survey articles on negation and on logic programming and parallel complexity. The contents are drawn from articles originally presented at a gathering of prestigious researchers in deductive databases and logic programming.

• OSTI ID: 5090928
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
ARTIFICIAL INTELLIGENCE
DATA BASE MANAGEMENT
DATA PROCESSING
PARALLEL PROCESSING
MATHEMATICAL LOGIC
LEADING ABSTRACT
OPTIMIZATION
REVIEWS
ABSTRACTS
DOCUMENT TYPES
MANAGEMENT
PROCESSING
PROGRAMMING
990210* - Supercomputers- (1987-1989)