scientific article; zbMATH DE number 545140

MaRDI QIDQ4286742zbMATH OpenFDO

Authors Armin B. Cremers, Ulrike Griefahn, Ralf Hinze

Publication date 7 April 1994

zbMATH Keywords

deductive databasesintegrity checkinglogic programmingpredicate logicprogram transformationquery processingSLDNF resolutionupdate procedures

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic programming (68N17) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 4199653
• scientific article; zbMATH DE number 4147465
• scientific article; zbMATH DE number 3874667
• scientific article; zbMATH DE number 4199656
• The deevolution of concurrent logic programming languages
• A basis for deductive database systems
• Deductive Databases: Implementation, Parallelism and Applications
• Deductive databases

Cited in

(24)

• Designing deductive databases
• Partial evaluation of queries in deductive databases
• Conceptual schemas applied to deductive databases
• Meta-level control for deductive database systems
• A transformation system for deductive database modules with perfect model semantics
• A reasoning mechanism for deductive object-oriented databases
• Applying restriction constraints to deductive databases
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 4205970 (Why is no real title available?)
• scientific article; zbMATH DE number 4147465 (Why is no real title available?)
• A basis for deductive database systems II
• scientific article; zbMATH DE number 4074544 (Why is no real title available?)
• scientific article; zbMATH DE number 48837 (Why is no real title available?)
• scientific article; zbMATH DE number 49786 (Why is no real title available?)
• scientific article; zbMATH DE number 52489 (Why is no real title available?)
• scientific article; zbMATH DE number 53282 (Why is no real title available?)
• scientific article; zbMATH DE number 53778 (Why is no real title available?)
• Intuitionistic deductive databases and the polynomial time hierarchy
• The deductive database system [Lscr ][Dscr ][Lscr ]++
• scientific article; zbMATH DE number 2085287 (Why is no real title available?)
• scientific article; zbMATH DE number 792053 (Why is no real title available?)
• Efficient and Scalable Induction of Logic Programs Using a Deductive Database System
• Deductive Databases: Implementation, Parallelism and Applications
• The deevolution of concurrent logic programming languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4286742)