The branching-time transformation technique for chain datalog programs

DOI10.1023/A:1012502800961zbMATH Open0985.68020MaRDI QIDQ5952811FDOQ5952811

Authors: Panos Rondogiannis, Manolis Gergatsoulis 

Publication date: 22 January 2002

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

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

zbMATH Keywords

Branching Datalogbranching-time logic programmingbranching-time transformationChain Datalog

Mathematics Subject Classification ID

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

Cited In (3)

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

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)