scientific article; zbMATH DE number 1515860

MaRDI QIDQ4508941zbMATH OpenFDO

Authors P. Z. Revesz

Publication date 13 June 2001

zbMATH Keywords

constraintsDATALOG

Mathematics Subject Classification ID

Database theory (68P15)

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

Cited in

(9)

• Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation
• 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
• scientific article; zbMATH DE number 219205 (Why is no real title available?)
• Bottom-up evaluation of Datalog programs with arithmetic constraints

Describes a project that uses

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)