The branching-time transformation technique for chain datalog programs

DOI10.1023/A:1012502800961MaRDI QIDQ5952811zbMATH OpenFDO

Authors Panos Rondogiannis, Manolis Gergatsoulis

Publication date 22 January 2002

Published in Journal of Intelligent Information Systems (Search for Journal in Brave)

zbMATH Keywords

Branching Datalogbranching-time logic programmingbranching-time transformationChain Datalog

Mathematics Subject Classification ID

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

Recommendations

• A value-propagating transformation technique for Datalog programs based on non-deterministic constructs
• scientific article; zbMATH DE number 2090114
• Branching-time logic programming: the language Cactus and its applications
• The transformational approach to program development
• Linear time Datalog and branching time logic

Cited in

(3)

• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING
• A value-propagating transformation technique for Datalog programs based on non-deterministic constructs
• Temporal stratification tests for linear and branching-time deductive databases

Describes a project that uses

Uses Software

• CACTUS
• Datalog

This page was built for publication: The branching-time transformation technique for chain datalog programs

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