Datalog with integer periodicity constraints

DOI10.1016/S0743-1066(97)10008-5MaRDI QIDQ4208862zbMATH OpenFDO

Authors David Toman, Jan Chomicki

Publication date 4 October 1998

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(97)10008-5

zbMATH Keywords

Datalogperiodicity constraints

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A closed-form evaluation for Datalog queries with integer (gap)-order constraints
• scientific article; zbMATH DE number 219205
• The Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint Databases

Cited in

(6)

• Constraint-generating dependencies
• The delay and window size problems in rule-based stream reasoning
• First-order rewritability of ontology-mediated queries in linear temporal logic
• LTL over integer periodicity constraints
• Linear-time temporal logics with Presburger constraints: an overview
• scientific article; zbMATH DE number 219205 (Why is no real title available?)

Describes a project that uses

Uses Software

• Datalog

This page was built for publication: Datalog with integer periodicity constraints

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