Foundations of deductive databases and logic programming

Book · Wed Dec 31 23:00:00 EST 1986

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
990210* -- Supercomputers-- (1987-1989)
ABSTRACTS
ARTIFICIAL INTELLIGENCE
DATA BASE MANAGEMENT
DATA PROCESSING
DOCUMENT TYPES
LEADING ABSTRACT
MANAGEMENT
MATHEMATICAL LOGIC
OPTIMIZATION
PARALLEL PROCESSING
PROCESSING
PROGRAMMING
REVIEWS