Memoing evaluation for constraint extensions of datalog

DOI10.1023/A:1009799613661zbMath0889.68046OpenAlexW1555173530MaRDI QIDQ1378383

David Toman

Publication date: 2 June 1998

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009799613661

zbMATH Keywords

constraint databasesdeductive queries

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Related Items (3)

TCHR: a framework for tabled CLP ⋮ Description, Implementation, and Evaluation of a Generic Design for Tabled CLP ⋮ Constraint-generating dependencies

Uses Software

• XSB
• Datalog

This page was built for publication: Memoing evaluation for constraint extensions of datalog