scientific article; zbMATH DE number 1515860

zbMATH Open0962.68047MaRDI QIDQ4508941FDOQ4508941

Authors: P. Z. Revesz 

Publication date: 13 June 2001

Title of this publication is not available (Why is that?)

Recommendations

• Datalog and logic databases
• Datalog: A self-contained tutorial. II
• scientific article; zbMATH DE number 839556
• Datalog and recursive query processing
• scientific article; zbMATH DE number 219205

zbMATH Keywords

constraintsDATALOG

Mathematics Subject Classification ID

Database theory (68P15)

Cited In (9)

• Datalog with Negation and Monotonicity.
• Reachability and connectivity queries in constraint databases
• A single recursive predicate is sufficient for pure datalog
• Datalog vs first-order logic
• Logic Programming and Nonmonotonic Reasoning
• Datalog and logic databases
• Title not available (Why is that?)
• Bottom-up evaluation of Datalog programs with arithmetic constraints
• Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation

Uses Software

• Datalog

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 Q4508941)